CUPLV Programming Languages and Verification at the University of Colorado Boulder
Expressivity, Performance, Dependability, and Understanding of Computational Systems
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.12.18:CUPLV authors Aleksandar Chakarov, Yuen-Lam Voronin, and Sriram Sankaranarayanan with collaborators have had papers accepted for presentation at TACAS 2016 in April (Bouissou et al. and Chakarov et al.).
2015.11.01: Please consider applying or encourage your students and postdocs to apply for a tenure-track position in the Department of Computer Science (CS) and Department of Electrical, Computer, and Energy Engineering (ECEE) at the University of Colorado Boulder. We have multiple openings with one particular interest area in Computer Science being secure and reliable software systems. Applications will be evaluated beginning on November 9, 2015 with priority given to applications received by December 7, 2015, although applications will continue to be evaluated until the position is filled. Apply at http://www.jobsatcu.com/postings/109940 for CS and at https://www.jobsatcu.com/postings/107808 for ECEE.
2015.11.01:There is a postdoctoral research associate position open with the opportunity to work with Profs. Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Pavol Černý on program analysis and program synthesis.
2015.11.01: Call for Ph.D. applicants for Fall 2016. Application deadline is December 15, 2015. Check out our latest recruiting talk from February 20, 2015.
2015.10.15:Thomas Ball from Microsoft Research is visiting us on October 19-20, 2015. He is giving a CUPLV Seminar entitled "Recent Results in Automated Verification from Microsoft Research" at 9:30am in ECCR 150 on Tuesday, October 20, 2015.
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.
2015.11.01: Call for postdoc applicants for Spring or Summer 2016.
2015.11.01: Call for Ph.D. applicants for Fall 2016. Application deadline is December 15, 2015.
2015.10.15: Thomas Ball visits October 19-20.
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.
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
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