| Verifying Optimizations of Concurrent Programs in the Promising Semantics | 0 | 0.34 | 2022 |
| Hierarchical and non-monotonic key-policy attribute-based encryption and its application | 0 | 0.34 | 2022 |
| Abstraction for conflict-free replicated data types | 0 | 0.34 | 2021 |
| Large Universe CCA2 CP-ABE With Equality and Validity Test in the Standard Model | 1 | 0.35 | 2021 |
| AutoGR: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics. | 0 | 0.34 | 2021 |
| AUTOGR: automated geo-replication with fast system performance and preserved application semantics | 0 | 0.34 | 2021 |
| Progress of Concurrent Objects. | 0 | 0.34 | 2020 |
| Formalizing SPARCv8 instruction set architecture in Coq | 0 | 0.34 | 2020 |
| A Lightweight Dynamic Enforcement of Privacy Protection for Android. | 0 | 0.34 | 2019 |
| Towards certified separate compilation for concurrent programs | 0 | 0.34 | 2019 |
| POMP: Protocol Oblivious SDN Programming with Automatic Multi-Table Pipelining. | 0 | 0.34 | 2018 |
| Modular Verification Of Sparcv8 Code | 0 | 0.34 | 2018 |
| Progress of concurrent objects with partial methods | 0 | 0.34 | 2018 |
| Mechanized verification of preemptive OS kernels (invited talk). | 0 | 0.34 | 2017 |
| AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications. | 0 | 0.34 | 2017 |
| The Achievable Capacity Scaling Laws Of 3d Cognitive Radio Networks | 1 | 0.38 | 2016 |
| An operational happens-before memory model | 2 | 0.39 | 2016 |
| A program logic for concurrent objects under fair scheduling | 9 | 0.50 | 2016 |
| A Practical Verification Framework For Preemptive Os Kernels | 7 | 0.72 | 2016 |
| Disjunctive Information Flow for Communicating Processes. | 3 | 0.39 | 2015 |
| Practical Tactics for Verifying C Programs in Coq | 2 | 0.41 | 2015 |
| Compositional verification of termination-preserving refinement of concurrent programs | 13 | 0.64 | 2014 |
| Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations | 8 | 0.43 | 2014 |
| A temporal programming model with atomic blocks based on projection temporal logic | 1 | 0.35 | 2014 |
| Characterizing progress properties of concurrent objects via contextual refinements | 10 | 0.53 | 2013 |
| An Operational Approach to Happens-Before Memory Model | 3 | 0.42 | 2013 |
| Modular verification of linearizability with non-fixed linearization points | 18 | 0.70 | 2013 |
| Modular Verification of Concurrent Thread Management. | 5 | 0.42 | 2012 |
| A concurrent temporal programming model with atomic blocks | 2 | 0.37 | 2012 |
| A rely-guarantee-based simulation for verifying concurrent program transformations | 29 | 1.05 | 2012 |
| A structural approach to prophecy variables | 3 | 0.38 | 2012 |
| Weak Updates and Separation Logic | 2 | 0.40 | 2011 |
| Reasoning about optimistic concurrency using a program logic for history | 24 | 0.86 | 2010 |
| Parameterized memory models and concurrent separation logic | 15 | 0.72 | 2010 |
| Local rely-guarantee reasoning | 7 | 0.61 | 2009 |
| Local rely-guarantee reasoning | 36 | 1.44 | 2009 |
| Certifying low-level programs with hardware interrupts and preemptive threads | 52 | 2.26 | 2008 |
| Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems | 14 | 0.80 | 2008 |
| On the relationship between concurrent separation logic and assume-guarantee reasoning | 58 | 2.53 | 2007 |
| An open framework for foundational proof-carrying code | 17 | 1.09 | 2007 |
| Modular verification of assembly code with stack-based control abstractions | 40 | 1.71 | 2006 |
| Path Pruning in Mailbox-based Mobile Agent Communications | 7 | 0.47 | 2004 |
| Path compression in forwarding-based reliable mobile agent communications | 2 | 0.41 | 2003 |
| Adaptive and reliable message delivery for mobile objects | 0 | 0.34 | 2003 |
| Design of adaptive and reliable mobile agent communication protocols | 10 | 0.83 | 2002 |
| Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols | 14 | 0.82 | 2002 |
| Reliable message delivery for mobile agents: push or pull? | 12 | 0.85 | 2002 |
| An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems | 16 | 1.21 | 2001 |
