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

2019.11.01:

Please consider applying or encourage your students and postdocs to apply for positions in the Department of Computer Science. We have multiple openings with one particular interest area being trustworthy software. Applications will be evaluated beginning on December 1, 2019, although applications will continue to be evaluated until the position is filled.

2019.11.01:

Call for Ph.D. applicants for Fall 2019. Application deadline is December 15, 2019.

2019.08.30:

CUPLV authors Benno Stein and Bor-Yuh Evan Chang with collaborators have had a paper "Static Analysis with Demand-Driven Value Refinement" accepted for presentation at OOPSLA 2019 in October.

2019.07.01:

CUPLV authors Saeid Tizpaz Niari, Hansol Yoon, Chou Yi, Pavol Černý, Sriram Sankaranarayanan, and Ashutosh Trivedi with collaborators have had papers accepted for presentation at RV 2019 in October (Niari et al., Yoon et al., and Fainekos et al.).

2019.06.24:

CUPLV researchers Sergio Mover and Sriram Sankaranarayanan represents the Fixr Team at GitHub in San Francisco.

2019.06.14:

CUPLV authors Nicholas V. Lewchenko, Akash Gaonkar, and Pavol Černý with collaborators have had a paper "Sequential Programming for Replicated Data Stores" accepted for presentation at ICFP 2019 in August.

2019.04.17:

CUPLV authors Saeid Tizpaz Niari, Pavol Černý, and Ashutosh Trivedi have had a paper "Quantitative Mitigation of Timing Side Channels" accepted for presentation at CAV 2019 in July.

2019.03.31:

CUPLV authors Shawn Meier, Sergio Mover, and Bor-Yuh Evan Chang have had a paper "Lifestate: Event-Driven Protocols and Callback Control Flow" accepted for presentation at ECOOP 2019 in July.

2018.11.23:

CUPLV authors Tianhan Lu Pavol Černý, Bor-Yuh Evan Chang, and 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.

2019.11.01: Tenure-track and instructor openings in CS.

2019.11.01: Call for Ph.D. applicants for Fall 2019. Application deadline is December 15, 2019.

2019.08.30: Paper by Stein et al. accepted to OOPSLA 2019.

2019.07.01: Three papers with CUPLV authors accepted to RV 2019 [1, 2, 3].

2019.06.24: Fixr Team presents at GitHub.

2019.06.14: Paper by Lewchenko et al. accepted to ICFP 2019.

2019.04.17: Paper by Niari et al. accepted to CAV 2019.

2019.03.31: Paper by Meier et al. accepted to ECOOP 2019.

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.

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, 2019 (or November 15, 2019 to potentially waive application fees).

Faculty Positions. We are hiring for a tenure-track position in trustworthy software, as well as for instructor positions. Application deadline for the tenure-track position is December 1, 2019.