| 2014 | CAV | Shape Analysis via Second-Order Bi-Abduction. | Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin |
| 2014 | ICFEM | A Resource-Based Logic for Termination and Non-termination Proofs. | Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin |
| 2013 | ICFEM | A Proof Slicing Framework for Program Verification. | Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin |
| 2012 | APLAS | Decision Procedures over Sophisticated Fractional Permissions. | Xuan Bach Le, Cristian Gherghina, Aquinas Hobor |
| 2011 | CAV | A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. | Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin |
| 2011 | ESOP | Barriers in Concurrent Separation Logic. | Aquinas Hobor, Cristian Gherghina |
| 2011 | FM | Structured Specifications for Better Verification of Heap-Manipulating Programs. | Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin |
| 2011 | OOPSLA | A HIP and SLEEK verification system. | Wei-Ngan Chin, Cristina David, Cristian Gherghina |
| 2010 | ATVA | A Specification Logic for Exceptions and Beyond. | Cristian Gherghina, Cristina David |
| 2009 | PEPM | Translation and optimization for a core calculus with exceptions. | Cristina David, Cristian Gherghina, Wei-Ngan Chin |
| 2009 | TASE | Automated Verification Using Unified Control Flows. | Cristian Gherghina, Cristina David |