| 2014 | FMCAD | Reduction for compositional verification of multi-threaded programs. | Corneliu Popeea, Andrey Rybalchenko, Andreas Wilhelm |
| 2014 | POPL | A constraint-based approach to solving games on infinite graphs. | Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko |
| 2013 | CAV | Solving Existentially Quantified Horn Clauses. | Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko |
| 2013 | TACAS | Threader: A Verifier for Multi-threaded Programs - (Competition Contribution). | Corneliu Popeea, Andrey Rybalchenko |
| 2012 | PLDI | Synthesizing software verifiers from proof rules. | Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko |
| 2012 | TACAS | HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). | Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko |
| 2012 | TACAS | Compositional Termination Proofs for Multi-threaded Programs. | Corneliu Popeea, Andrey Rybalchenko |
| 2011 | APLAS | Solving Recursion-Free Horn Clauses over LI+UIF. | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
| 2011 | CAV | Threader: A Constraint-Based Verifier for Multi-threaded Programs. | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
| 2011 | POPL | Predicate abstraction and refinement for verifying multi-threaded programs. | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
| 2010 | ATVA | Non-monotonic Refinement of Control Abstraction for Concurrent Programs. | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
| 2010 | SAC | Dual analysis for proving safety and finding bugs. | Corneliu Popeea, Wei-Ngan Chin |
| 2008 | PEPM | A practical and precise inference and specializer for array bound checks elimination. | Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin |
| 2006 | OOPSLA | A flow-based approach for variant parametric types. | Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea |
| 2006 | OOPSLA | Core-java: an expression-oriented java. | Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin |
| 2005 | ICSE | Verifying safety policies with size properties and alias controls. | Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen |
| 2004 | PEPM | A type system for resource protocol verification and its correctness proof. | Corneliu Popeea, Wei-Ngan Chin |
| 2001 | ICASSP | An efficient algorithm for FIR filter bank completion. | Corneliu Popeea, Bogdan Dumitrescu, Boris Jora |
| 2000 | ICASSP | A low complexity SDP method for designing optimum compaction filters. | Bogdan Dumitrescu, Corneliu Popeea |
| 1999 | ISCAS | Optimizing the compaction gain in a class of IIR filters. | Ioan Tabus, Corneliu Popeea, Jaakko Astola |