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

2023.11.01:

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

2023.07.01:

CUPLV authors Shawn Meier, Kirby Linvill, Sergio Mover, Gowtham Kaki, and Bor-Yuh Evan Chang have had papers accepted for presentation at OOPSLA 2023 in October (Meier et al. and Linvill et al.).

2023.06.29:

CUPLV author Bor-Yuh Evan Chang with collaborators has had a paper "Lifting On-Demand Analysis to Higher-Order Languages" accepted for presentation at SAS 2023 in October.

2022.11.01:

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

2022.02.25:

CUPLV authors Gowtham Kaki, Prasanth Prahladan, and Nicholas V. Lewchenko have had papers accepted for presentation at PLDI 2022 in June (Kaki et al. and Žikelić et al.).

2021.11.01:

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

2021.10.13:

Tianhan Lu wins the Radhia Cousot Young Researcher Best Paper Award at SAS 2021 for his paper "Selectively-Amortized Resource Bounding" co-authored with Bor-Yuh Evan Chang and Ashutosh Trivedi.

2021.09.29:

CUPLV student Benno Stein receives the 2021 Ralph J. Slutz Student Excellence Award.

2021.07.05:

CUPLV authors Tianhan Lu, Bor-Yuh Evan Chang, and Ashutosh Trivedi, have had a paper "Selectively-Amortized Resource Bounding" accepted for presentation at SAS 2021 in October.

2021.04.19:

CUPLV student Benno Stein receives the 2020-2021 CU CS Outstanding Research Award.

2021.04.18:

CUPLV authors Mateo Perez, Fabio Somenzi, and Ashutosh Trivedi with collaborators, have had a paper "Model-Free Reinforcement Learning for Branching Markov Decision Processes." accepted for presentation at CAV 2021 in July.

2021.02.25:

CUPLV authors Benno Stein and Bor-Yuh Evan Chang with collaborators have had a paper "Demanded Abstract Interpretation" accepted for presentation at PLDI 2021 in June.

2020.11.12:

CUPLV author Bor-Yuh Evan Chang with collaborators have had a survery paper "Shape Analysis" published in FNTPL.

2020.11.01:

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

2020.04.05:

CUPLV authors Sriram Sankaranarayanan and Majid Zamani with collaborators have had papers accepted for presentation at CAV 2020 in July (Sankaranarayanan et al., Feng et al., Devonport et al., and Lavaei et al.).

2023.11.01: Call for Ph.D. applicants for Fall 2024. Application deadline is December 15, 2023.

2023.07.01: Two papers with CUPLV authors accepted to OOPSLA 2023! [1, 2]

2023.06.29: Paper by Schoepe et al. accepted to SAS 2023.

2022.11.01: Call for Ph.D. applicants for Fall 2023. Application deadline is December 15, 2022.

2022.02.25: Two papers with CUPLV authors (conditionally) accepted to PLDI 2022! [1, 2]

2021.11.01: Call for Ph.D. applicants for Fall 2022. Application deadline is December 15, 2021.

2021.10.13: CUPLV student Tianhan Lu wins the Radhia Cousot Young Researcher Best Paper Award at SAS 2021.

2021.09.29: CUPLV student Benno Stein receives the 2021 Ralph J. Slutz Student Excellence Award.

2021.07.05: Paper by Lu et al. accepted to SAS 2021.

2021.04.19: CUPLV student Benno Stein receives the 2020-2021 CU CS Outstanding Research Award.

2021.04.18: Paper by Hahn et al. accepted to CAV 2021.

2021.02.25: Paper by Stein et al. accepted to PLDI 2021.

2020.11.12: Survey article "Shape Analysis" by Chang et al. published in FNTPL.

2020.11.01: Call for Ph.D. applicants for Fall 2021. Application deadline is December 15, 2020.

2020.04.05: Four papers with CUPLV authors accepted to CAV 2020 [1, 2, 3, 4].

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, 2023.