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

2018.11.23:

CUPLV authors Tianhan Lu Pavol Černý, and Bor-Yuh Evan Chang Ashutosh Trivedi have had a paper "Type-directed Bounding of Collections in Reactive Programs" accepted for presentation at VMCAI 2019 in January.

2018.10.23:

CUPLV student Taisa Kushner receives the 2018 Ralph J. Slutz Award.

2018.08.01:

CUPLV student Shawn Meier pitched at Catalyze CU Demo Day 2018.

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

CUPLV Postdoctoral Scholar Sergio Mover accepts a position as a Gaspard Monge Assistant Professor in Computer Science at École Polytechnique.

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.

2018.11.23: Paper by Lu et al. accepted to VMCAI 2019.

2018.10.23: CUPLV student Taisa Kushner receives the 2018 Ralph J. Slutz Award.

2018.08.01: CUPLV student Shawn Meier pitched at Catalyze CU Demo Day 2018.

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.06.01: CUPLV Postdoctoral Scholar Sergio Mover accepts a faculty position at École Polytechnique.

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.

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.