Pavol Cerny

Name (TeX style): Pavol {\v C}ern\'y

Assistant Professor
Department of Electrical, Computer, and Energy Engineering,
University of Colorado Boulder
e-mail: first.lastname@colorado.edu

Ph.D. University of Pennsylvania, 2009.

Research

Computer-aided verification and programming languages.
Program synthesis.
Algorithmic and logical foundations for reliable software.
Member of CUPLV.

Students

  • Youngsung Kim (PhD, since August 2013)
  • Jedidiah McClurg (PhD, since August 2013)
  • Parker Evans (BS, since August 2013). Discovery Learning Apprenticeship.

Selected Publications (complete list, DBLP, Google Scholar)

  • Regression-free Synthesis for Concurrency   New!
        Pavol Cerny, Thomas Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
        CAV 2014 (to appear)
        [pdf] [bib]
  • Efficient Synthesis for Concurrency using Semantics-Preserving Transformations
        Pavol Cerny, Thomas Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
        25th International Conference on Computer Aided Verification
        CAV 2013
        [pdf] [bib]
  • Quantitative Abstraction Refinement
        Pavol Cerny, Thomas Henzinger and Arjun Radhakrishna
        40th Annual Symposium on Principles of Programming Languages
        POPL 2013
        [pdf] [bib]
  • Quantitative Synthesis for Concurrent Programs
        Pavol Cerny, Krishnendu Chatterjee, Thomas Henzinger, Arjun Radhakrishna and Rohit Singh
        23rd International Conference on Computer Aided Verification
        CAV 2011
        [pdf] [bib]
  • Streaming transducers for algorithmic verification of single-pass list processing programs.
        Rajeev Alur and Pavol Cerny
        38th Annual Symposium on Principles of Programming Languages
        POPL 2011
        [pdf] [bib]
  • Model Checking of Linearizability of Concurrent List Implementations.
        Pavol Cerny, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri and Rajeev Alur
        22nd International Conference on Computer Aided Verification
        CAV 2010
        [pdf] [bib] [project page]
  • Automated Analysis of Java Methods for Confidentiality.
        Pavol Cerny and Rajeev Alur.
        21st International Conference on Computer Aided Verification
        CAV 2009
        [pdf] [bib]
  • Synthesis of Interface Specifications for Java Classes
        Rajeev Alur, Pavol Cerny, P. Madhusudan, and Wonhong Nam.
        32nd Annual Symposium on Principles of Programming Languages
        POPL 2005
        [pdf] [bib]

Teaching

Previous Courses

  • Programming Paradigms for Concurrency. Co-instructor, Fall 2010, IST Austria and TU Wien.
  • CIS 399: C++ programming. Instructor, Spring 2009, University of Pennsylvania.
  • CSE 399: C/C++ programming. Co-instructor, Spring 2006, University of Pennsylvania.
  • CIS 511: Theory of Computation. TA, Spring 2005, University of Pennsylvania.
  • CSE 482: Logic in Computer Science. TA, Fall 2004, University of Pennsylvania.

Professional Service

  • CAV 2014, PC member
  • EMSOFT 2014, PC member
  • SYNT 2014, PC member
  • MEMICS 2011, PC member