CUPLV: Programming Languages and Verification at the University of Colorado Boulder

2015.02.14:

Prospective Ph.D. students visit February 16. Welcome!

2017.12.13:

CUPLV authors Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang, and Pavol Černý with collaborators have had a paper "Starling: Callback Typestates for Android Classes" accepted for presentation at ICSE 2018 in May.

2017.11.28:

CUPLV authors Saeid Tizpaz Niari, Pavol Černý, Bor-Yuh Evan Chang, and Ashutosh Trivedi have had a paper "Differential Performance Debugging with Discriminant Regression Trees" accepted for presentation at AAAI 2018 in February.

2017.08.02:

CUPLV authors Edmund S.L. Lam, Peilun Zhang, and Bor-Yuh Evan Chang have had a paper "ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps" officially accepted for presentation at ONWARD! 2017 in October.

2017.06.22:

Bor-Yuh Evan Chang promoted to Associate Professor and granted tenure.

2017.06.21:

Congratulations to Kyle Headley for being awarded second place in the graduate student category at the PLDI Student Research Competition (SRC) for his project, "Tuning Data and Control Structures for Incremental Computation."

2017.06.21:

Congratulations to Peilun Zhang for being awarded first place in the undergraduate student category at the PLDI Student Research Competition (SRC) for his project, "Property-based Randomized Test Generation for Android Applications."

2017.05.23:

There is a postdoctoral research associate position open with the opportunity to work with Profs. Pavol Černý, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Ashutosh Trivedi on program analysis.

2017.04.28:

CUPLV authors Hadi Ravanbakhsh and Sriram Sankaranarayanan have had a paper "Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations" accepted for presentation at RSS 2017 in October.

2016.12.22:

CUPLV authors Saeid Tizpaz Niari Pavol Černý, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Ashutosh Trivedi have had a paper "Discriminating Traces with Time" accepted for presentation at TACAS 2017 in April.

2016.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.

2015.02.14: Prospective Ph.D. students visit February 16. Welcome!

2017.12.13: Paper by Radhakrishna et al. accepted to ICSE 2018.

2017.11.28: Paper by Niari et al. accepted to AAAI 2018.

2017.08.02: Paper by Lam et al. accepted to ONWARD! 2017.

2017.06.22: Bor-Yuh Evan Chang promoted to Associate Professor and granted tenure.

2017.06.21: Kyle Headley awarded second place at the PLDI Student Research Competition (SRC).

2017.06.21: Peilun Zhang awarded first place at the PLDI Student Research Competition (SRC).

2017.05.23: Call for postdoc applicants for Summer or Fall 2017.

2017.04.28: Paper by Ravanbakhsh and Sankaranarayanan accepted to RSS 2017.

2016.12.22: Paper by Niari et al. accepted to TACAS 2017.

2016.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.10.13: Two papers with CUPLV authors accepted to POPL 2017! [1, 2]

2016.08.26: Paper by Hammer et al. accepted to GPCE 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, 2017.

Postdoc Position. There is a postdoctoral research associate position open with the opportunity to work with Profs. Pavol Černý, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Ashutosh Trivedi.