Follow
Corneliu Popeea
Title
Cited by
Cited by
Year
Synthesizing Software Verifiers from Proof Rules
S Grebenshchikov, NP Lopes, C Popeea, A Rybalchenko
Proc. of the 33rd ACM SIGPLAN Conference on Programming Language Design and …, 2012
3012012
Predicate abstraction and refinement for verifying multi-threaded programs
A Gupta, C Popeea, A Rybalchenko
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1192011
Solving existentially quantified horn clauses
TA Beyene, C Popeea, A Rybalchenko
International Conference on Computer Aided Verification, 869-882, 2013
1182013
A constraint-based approach to solving games on infinite graphs
T Beyene, S Chaudhuri, C Popeea, A Rybalchenko
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
912014
HSF (C): A Software Verifier based on Horn Clauses
S Grebenshchikov, A Gupta, NP Lopes, C Popeea, A Rybalchenko
902012
Inferring disjunctive postconditions
C Popeea, WN Chin
Annual Asian Computing Science Conference, 331-345, 2006
892006
Threader: A constraint-based verifier for multi-threaded programs
A Gupta, C Popeea, A Rybalchenko
International Conference on Computer Aided Verification, 412-417, 2011
732011
Analysing memory resource bounds for low-level programs
WN Chin, HH Nguyen, C Popeea, S Qin
Proceedings of the 7th international symposium on Memory management, 151-160, 2008
722008
Verifying safety policies with size properties and alias controls
WN Chin, SC Khoo, S Qin, C Popeea, HH Nguyen
Proceedings of the 27th international conference on Software engineering …, 2005
482005
Solving Recursion-Free Horn Clauses over LI+ UIF
A Gupta, C Popeea, A Rybalchenko
472011
Compositional Termination Proofs for Multi-Threaded Programs
C Popeea, A Rybalchenko
422012
A practical and precise inference and specializer for array bound checks elimination
C Popeea, DN Xu, WN Chin
Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008
26*2008
Dual analysis for proving safety and finding bugs
C Popeea, WN Chin
Proceedings of the 2010 ACM Symposium on Applied Computing, 2137-2143, 2010
222010
A flow-based approach for variant parametric types
WN Chin, F Craciun, SC Khoo, C Popeea
ACM SIGPLAN Notices 41 (10), 273-290, 2006
202006
A type system for resource protocol verification and its correctness proof
C Popeea, WN Chin
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
152004
Threader: a verifier for multi-threaded programs
C Popeea, A Rybalchenko
International Conference on Tools and Algorithms for the Construction and …, 2013
142013
Reduction for compositional verification of multi-threaded programs
C Popeea, A Rybalchenko, A Wilhelm
2014 Formal Methods in Computer-Aided Design (FMCAD), 187-194, 2014
112014
Towards a quantitative estimation of abstract interpretations
F Logozzo, C Popeea, V Laviron
Workshop on Quantitative Analysis of Software, 2009
92009
Recursive games for compositional program synthesis
TA Beyene, S Chaudhuri, C Popeea, A Rybalchenko
VSSTE, 19-39, 2015
72015
Efficient CTL verification via horn constraints solving
TA Beyene, C Popeea, A Rybalchenko
arXiv preprint arXiv:1607.04456, 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20