2008 |
10 | EE | Wei-Ngan Chin,
Huu Hai Nguyen,
Corneliu Popeea,
Shengchao Qin:
Analysing memory resource bounds for low-level programs.
ISMM 2008: 151-160 |
9 | EE | Corneliu Popeea,
Dana N. Xu,
Wei-Ngan Chin:
A practical and precise inference and specializer for array bound checks elimination.
PEPM 2008: 177-187 |
2006 |
8 | EE | Corneliu Popeea,
Wei-Ngan Chin:
Inferring Disjunctive Postconditions.
ASIAN 2006: 331-345 |
7 | EE | Wei-Ngan Chin,
Florin Craciun,
Siau-Cheng Khoo,
Corneliu Popeea:
A flow-based approach for variant parametric types.
OOPSLA 2006: 273-290 |
6 | EE | Florin Craciun,
Hong Yaw Goh,
Corneliu Popeea,
Wei-Ngan Chin:
Core-java: an expression-oriented java.
OOPSLA Companion 2006: 639-640 |
2005 |
5 | EE | Wei-Ngan Chin,
Siau-Cheng Khoo,
Shengchao Qin,
Corneliu Popeea,
Huu Hai Nguyen:
Verifying safety policies with size properties and alias controls.
ICSE 2005: 186-195 |
2004 |
4 | EE | Corneliu Popeea,
Wei-Ngan Chin:
A type system for resource protocol verification and its correctness proof.
PEPM 2004: 135-146 |
2003 |
3 | EE | Corneliu Popeea,
Bogdan Dumitrescu,
Boris Jora:
Efficient state-space approach for FIR filter bank completion.
Signal Processing 83(9): 1973-1983 (2003) |
2001 |
2 | EE | Corneliu Popeea,
Bogdan Dumitrescu:
Optimal compaction gain by eigenvalue minimization.
Signal Processing 81(5): 1113-1116 (2001) |
1999 |
1 | EE | Ioan Tabus,
Corneliu Popeea,
Jaakko Astola:
Optimizing the compaction gain in a class of IIR filters.
ISCAS (3) 1999: 528-531 |