CUPLV
Programming Languages and Verification
at the University of Colorado Boulder
Expressivity, Performance, Dependability, and Understanding
of Computational Systems
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.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.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.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, 2020.
Projects
FixrMining and Understanding Bug Fixes for App-Framework Protocol Defects









DroidelA Framework Model for Static Analysis of Android Applications





QUIC GraphsRelational Invariant Generation for Containers





ThresherPrecise Refutations for Heap Reachability





Fissile Type AnalysisModular Checking of Almost-Everywhere Invariants



Recent Publications
OOPSLA 2019Athens, GreeceOctober 2019
2019
Static Analysis with Demand-Driven Value Refinement
OOPSLA 2019:
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
RV 2019Porto, PortugalOctober 2019
2019
Efficient Detection and Quantification of Timing Leaks with Neural Networks
RV 2019:
International Conference on Runtime Verification
2019
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
RV 2019:
International Conference on Runtime Verification
2019
Robustness of Specifications and its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo
RV 2019:
International Conference on Runtime Verification
ICFP 2019Berlin, GermanyAugust 2019
2019
Sequential Programming for Replicated Data Stores
ICFP 2019:
ACM SIGPLAN International Conference on Functional Programming
CAV 2019New York City, New York, USAJuly 2019
2019
Quantitative Mitigation of Timing Side Channels
CAV 2019:
International Conference on Computer Aided Verification
ECOOP 2019London, UKJuly 2019
2019
Lifestate: Event-Driven Protocols and Callback Control Flow
ECOOP 2019:
European Conference on Object-Oriented Programming
VMCAI 2019Cascais, PortugalJanuary 2019
2019
Type-directed Bounding of Collections in Reactive Programs
VMCAI 2019:
International Conference on Verification, Model Checking, and Abstract Interpretation