|
Corneliu Popeea
|
Research
I am a postdoctoral researcher working with
Andrey Rybalchenko. I did my PhD at the National University of Singapore
under the supervision of Chin Wei Ngan.
My research focused
on methods to ensure safety properties for programs.
Before this, I obtained a bachelor's degree in Computer Science from
University Politechnica of Bucharest.
More details of my research are published in the following papers:
-
Analysing Memory Resource Bounds for Low-Level Programs
Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin
ISMM 2008:
International Symposium on Memory Management 2008.
(abstract) (pdf)
(slides)
-
A Practical and Precise Inference and Specializer for Array Bound Checks Elimination
Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin
PEPM 2008:
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 2008.
(abstract) (pdf)
(slides)
(demo)
-
Inferring Disjunctive Postconditions
Corneliu Popeea and Wei-Ngan Chin.
ASIAN 2006:
11th Asian Computing Science Conference 2006.
(abstract) (pdf)
(slides)
-
A Flow-Based Approach for Variant Parametric Types
Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea.
OOPSLA 2006:
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications 2006.
(abstract) (pdf)
-
Verifying Safety Policies with Size Properties and Alias Controls
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu-Hai Nguyen.
ICSE 2005:
27th International Conference on Software Engineering 2005.
(abstract) (pdf)
(slides)
-
A Type System for Resource Protocol Verification and its Correctness Proof
Corneliu Popeea and Wei-Ngan Chin.
PEPM 2004:
ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation 2004.
(abstract) (pdf)
Coauthors:
prof. Khoo Siau-Cheng,
dr. Shengchao Qin,
Dana N. Xu,
Florin Craciun,
Huu-Hai Nguyen
Personal corner
