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

2018.07.03:

CUPLV authors Benno Stein and Bor-Yuh Evan Chang with collaborators have had a paper "Safe Stream-Based Programming with Refinement Types" accepted for presentation at ASE 2018 in September.

2018.06.19:

CUPLV authors Souradeep Dutta Taisa Kushner, and Sriram Sankaranarayanan have had a paper "Robust Data-Driven Control of Artificial Pancreas Systems using Neural Networks" accepted for presentation at CMSB 2018 in September.

2018.05.07:

CUPLV PhD Student Jedidiah McClurg accepts a position as an assistant professor of comptuer science at the University of New Mexico.

2018.04.06:

CUPLV PhD Student Saeid Tizpaz Niari wins the 2018 Gold Research Award from ECEE.

2018.03.23:

CUPLV authors Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, and Bor-Yuh Evan Chang win the IEEE TCSE Distinguished Paper Award at SANER 2018 for "Mining Framework Usage Graphs from App Corpora."

2018.03.22:

CUPLV researchers Shawn Meier and Bor-Yuh Evan Chang with collaborators came in 3rd in the R&D track of New Venture Challenge 10, earning $1,000 for the venture.

2018.02.14:

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

2017.12.20:

CUPLV authors Fabio Somenzi and Ashutosh Trivedi with collaborators have had a paper "Almost-Sure Reachability in Stochastic Multi-Mode System" accepted for presentation at HSCC 2018 in April.

2017.12.19:

CUPLV authors Taisa Kushner and Sriram Sankaranarayanan with collaborators have had a paper "A Data-Driven Approach to Artificial Pancreas Verification and Synthesis" accepted for presentation at ICCPS 2018 in April.

2017.12.17:

CUPLV authors Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, and Bor-Yuh Evan Chang have had a paper "Mining Framework Usage Graphs from App Corpora" accepted for presentation at SANER 2018 in March.

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 "DroidStar: Callback Typestates for Android Classes" accepted for presentation at ICSE 2018 in May.

2017.12.11:

CUPLV authors Xin Chen, Sergio Mover, and Sriram Sankaranarayanan nominated for an ACM SIGBED EMSOFT Best Paper Award for "Compositional Relational Abstraction for Nonlinear Hybrid Systems."

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.30:

CUPLV authors Xin Chen, Sergio Mover, and Sriram Sankaranarayanan have had a paper "Compositional Relational Abstraction for Nonlinear Hybrid Systems" accepted for presentation at EMSOFT 2017 in October.

2018.07.03: Paper by Stein et al. accepted to ASE 2018.

2018.06.19: Paper by Dutta et al. accepted to CMSB 2018.

2018.05.07: CUPLV PhD Student Jedidiah McClurg accepts a faculty position at UNM.

2018.04.06: CUPLV PhD Student Saeid Tizpaz Niari wins the 2018 Gold Research Award from ECEE.

2018.03.23: Paper by Mover et al. wins the IEEE TCSE Distinguished Paper Award at SANER 2018.

2018.03.22: CUPLV team came in 3rd in the R&D track of NVC10.

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

2017.12.20: Paper by Somenzi et al. accepted to HSCC 2018.

2017.12.19: Paper by Kushner et al. accepted to ICCPS 2018.

2017.12.17: Paper by Mover et al. accepted to SANER 2018.

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

2017.12.11: Paper by Chen et al. nominated for an ACM SIGBED EMSOFT Best Paper Award.

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.30: Paper by Chen et al. accepted to EMSOFT 2017.

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.