CUPLV Programming Languages and Verification at the University of Colorado Boulder
Expressivity, Performance, Dependability, and Understanding of Computational Systems
2015.10.26:Bo Wu from Colorado School of Mines is visiting us on October 28, 2016. He is giving a CUPLV Seminar entitled "Compiler and Runtime Optimizations for GPU Memory Systems" at 3:00pm in KOBL 230 on Friday, October 28, 2016.
2016.10.26:Georgios Fainekos from Arizona State University is visiting us on October 27, 2016. He is giving a Computer Science Colloquium entitled "Beyond Requirements Falsification : Semi-Formal Methods and Tools for the Analysis of Cyber-Physical Systems" at 3:30pm in ECCR 265 on Thursday, October 27, 2016.
2016.10.26: Call for Ph.D. applicants for Fall 2016. Application deadline is December 15, 2015. Check out our latest recruiting talk from February 20, 2015.
2016.10.13:CUPLV authors Bor-Yuh Evan Chang and Matthew A. Hammer with collaborators have had papers accepted for presentation at POPL 2017 in January (Li et al. and ).
2016.08.26:CUPLV authors Bor-Yuh Evan Chang and Matthew A. Hammer have had a paper "A Vision for Online Verification-Validation" accepted for presentation at GPCE 2016 in November.
2016.06.14:CUPLV authors Pierre Roux, Yuen-Lam Voronin, and Sriram Sankaranarayanan have had a paper "Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants" accepted for presentation at SAS 2016 in September.
2016.05.20:CUPLV authors Hadi Ravanbakhsh and Sriram Sankaranarayanan have had a paper "Robust Controller Synthesis of Switched Systems Using Counterexample Guided Framework" accepted for presentation at EMSOFT 2016 in October.
2016.05.13:CUPLV faculty Matthew A. Hammer and Bor-Yuh Evan Chang have been awarded an NSF grant "Online Verification-Validation" with collaborator David Van Horn at the University of Maryland.
2016.05.06:CUPLV authors Michael Dooley, Fabio Somenzi, and Sergio Mover have had papers accepted for presentation at CAV 2016 in July (Dooley and Somenzi and Daniel et al.).
2016.04.19:Saeid Tizpaz Niari wins Second Prize in the Microsoft Open Source Challenge for his entry "CONfidentiality CERTifier: a Modeling and Verification Framework for Program Confidentiality using Z3".
2016.04.17:CUPLV authors Jedidiah McClurg and Pavol Černý and collaborators at Cornell have had a paper accepted for presentation at PLDI 2016 in June (McClurg et al.).
2016.04.13:Aditya Zutshi wins the Best Student Paper Award at HSCC 2016 for his paper "Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software" co-authored with Sriram Sankaranarayanan and collaborators.
2015.12.20:CUPLV authors Aditya Zutshi, Sriram Sankaranarayanan, and with collaborators have had a paper "Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software" accepted for presentation at HSCC 2016 in April.
2015.10.26: Bo Wu visits October 28.
2016.10.26: Georgios Fainekos visits October 27.
2016.10.26: Call for Ph.D. applicants for Fall 2017. Application deadline is December 15, 2016.
2016.05.13: NSF grant "Online Verification-Validation" awarded to Matthew A. Hammer and Bor-Yuh Evan Chang.
2016.04.13: Aditya Zutshi wins the Best Student Paper Award at HSCC 2016.
Ph.D. Positions. We are looking for strong students to join our diverse and dynamic group in programming languages and verification. Application deadline is December 15, 2015.
Postdoc Position. There is a postdoctoral research associate position open with the opportunity to work with Profs. Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Pavol Černý. Highly-qualified candidates may be considered for a research assistant professor position.
FixrMining and Understanding Bug Fixes for App-Framework Protocol Defects
DroidelA Framework Model for Static Analysis of Android Applications
QUIC GraphsRelational Invariant Generation for Containers
ThresherPrecise Refutations for Heap Reachability
Fissile Type AnalysisModular Checking of Almost-Everywhere Invariants
POPL 2017Paris, FranceJanuary 2017
GPCE 2016Amsterdam, The NetherlandsOctober 2016
EMSOFT 2016Pittsburgh, Pennsylvania, USAOctober 2016
SAS 2016Edinburgh, UKSeptember 2016
CAV 2016Toronto, Ontario, CanadaJuly 2016
PLDI 2016Santa Barbara, California, USAJune 2016
HSCC 2016Vienna, AustriaApril 2016
TACAS 2016Eindhoven, The NetherlandsApril 2016
Uncertainty Propagation using Probabilistic Affine Forms and Concentration of Measure Inequalities
TACAS 2016: International Conference on Tools and Algorithms for the Construction and Analysis of Systems