Corneliu Popeea Researcher: Chair for Foundations of Software Reliability and Theoretical Computer Science - Technische Universität München Email: popeea at model.in.tum.de Mail: Institut für Informatik (I7), Technische Universität München, Boltzmannstr. 3, 85748 München, Germany Office: 03.11.059 (third floor, block 11, room 059), Mathematics and Computer Science Building [How to find it] Phone: (+49)89-28917229

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.
Below is a list of my recent publications:

• Synthesizing Software Verifiers from Proof Rules
  Sergey Grebenshchikov, Nuno Lopes, Corneliu Popeea and Andrey Rybalchenko
  PLDI 2012 (pdf) (slides)
• Compositional Termination Proofs for Multi-Threaded Programs
  Corneliu Popeea and Andrey Rybalchenko
  TACAS 2012 (pdf) (slides)
• HSF(C): A Software Verifier based on Horn Clauses
  Sergey Grebenshchikov, Ashutosh Gupta, Nuno Lopes, Corneliu Popeea and Andrey Rybalchenko
  Competition on Software Verification, TACAS 2012 (pdf) (slides)
• Solving Recursion-Free Horn Clauses over LI+UIF
  Ashutosh Gupta, Corneliu Popeea and Andrey Rybalchenko
  APLAS 2011 (pdf) (pdf with proofs)
• Threader: A Constraint-based Verifier for Multi-Threaded Programs
  Ashutosh Gupta, Corneliu Popeea and Andrey Rybalchenko
  CAV 2011 (pdf) (slides) (project webpage)
• Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs
  Ashutosh Gupta, Corneliu Popeea and Andrey Rybalchenko
  POPL 2011 (pdf)
• Non-Monotonic Refinement of Control Abstraction for Concurrent Programs
  Ashutosh Gupta, Corneliu Popeea and Andrey Rybalchenko
  ATVA 2010 (pdf) (slides)
• Dual Analysis for Proving Safety and Finding Bugs
  Corneliu Popeea and Wei-Ngan Chin
  SAC 2010 (pdf) (slides) (project webpage)
• Towards a Quantitative Estimation of Abstract Interpretations
  Francesco Logozzo, Corneliu Popeea and Vincent Laviron
  QA 2009 (pdf)
• Disjunctive Invariants for Modular Static Analysis
  PhD thesis, National University of Singapore, 2008
  (pdf)

Slightly older papers can be found here.

Teaching

• Verification of Concurrent Programs
• Perlen der Informatik

Service

• Program committee member:
  Symposium on Theoretical Aspects of Software Enginneering, TASE 2012 (submission deadline 10-Feb-2012)
  ACM Symposium on Applied Computing, SAC 2012 (submission deadline 31-Aug-2011)
  ACM Symposium on Applied Computing, SAC 2011 (submission deadline 31-Aug-2010)
  Symposium on Theoretical Aspects of Software Enginneering, TASE 2009 (submission deadline 27-Feb-2009)
  

Personal corner

• Places I've been: Singapore • Malaysia: Perhentian - may'01, Kuala Lumpur - june'01, Sepang - mar'04, Aur - may'04 • Thailand: Bangkok - july'01, Phuket - dec'03 • China: Beijing - june'02 • Japan: Tokyo - sept'02 • Italy: Verona - aug'04 • Denmark: Copenhaga - aug'04 • Austria: sept'04 • Taiwan: nov'04
• Travelling through Romania: Biking around Sighisoara, 2010 • Brasov-Bran, 2001 • UNESCO heritage sites • Photogallery of Romania
• Webpages of friends: Alina Oprea • Ana Lucia Varbanescu • Ana-Maria Oprescu • Anca Molnos • Cristina David • Dana Xu • Mihai Lupu • Raluca Musaloiu • Razvan Musaloiu • Valentin Gheorghita
• Alternate style sheets: Default • Charcoal • Ocean • Text-only
• Webmail: TUM • MPI-inf • SoC
• Other links: My trips • Timeline

Last update: 27-Mar-2012