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

2013.06.08:

Eight CUPLV papers are being presented this summer: PLDI 2013 June 16-22 [Blackshear et al., Sankaranarayanan et al., Blackshear and Lahiri], LICS 2013 June 25-28 [Chaudhuri et al.], ECOOP 2013 July 1-5 [Cox et al.], and CAV 2013 July 13-19 [Černý et al., Chakarov and Sankaranarayanan, Chen et al.].

2013.05.21:

Arlen Cox wins a Chateaubriand Fellowship in Science, Technology, Engineering, and Mathematics from the Embassy of France in the United States to study and conduct research in France.

2013.05.07:

The artifact supplementing "QUIC Graphs: Relational Invariant Generation for Containers" has been validated and has received the distinguished artifact award at ECOOP 2013!

2013.03.25:

Arlen Cox named a 2013-2014 Facebook Graduate Fellowship Finalist.

2013.03.06:

CUPLV authors Pavol Černý, Aleksandar Chakarov, and Sriram Sankaranarayanan with collaborators have had papers accepted for presentation at CAV 2013 in July (Černý et al., Chakarov and Sankaranarayanan, and Chen et al.).

2012.03.04:

CUPLV authors Arlen Cox, Bor-Yuh Evan Chang, and Sriram Sankaranarayanan have had a paper "QUIC Graphs: Relational Invariant Generation for Containers" accepted for presentation at ECOOP 2013 in July.

2013.03.04:

Submit Analyzer Pearls to TAPAS 2013!

2013.02.21:

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

2013.02.04:

CUPLV authors Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Aleksandar Chakarov with collaborators Manu Sridharan, Sumit Gulwani, and Shuvendu Lahiri have had papers accepted for presentation at PLDI 2013 in June (Blackshear et al., Sankaranarayanan et al., and Blackshear and Lahiri).

2013.01.31:

Nathan Lapinksi and Sriram Sankaranarayanan have had their poster accepted to the SIGCSE 2013 Student Research Competition.

2013.01.31:

Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, and Tom Yeh have had their paper accepted for presentation at ICSE 2013 (New and Emerging Results Track) in May.

2013.01.23:

Sumit K. Jha from University of Central Florida is visiting us on January 24, 2013. He is giving a Computer Science Colloquium entitled "Validation and Parameter Discovery for Stochastic Computational Models from Behavioral Specifications" at 3:30pm in ECCR 265 on Thursday, January 24, 2013.

2012.11.13:

Jeffrey Sarnat from Twitter is visiting us on November 13, 2012. He is giving a Computer Science Colloquium entitled "Getting Off the Monorail or: How Twitter Learned to Stop Worrying and Love Monads" at 3:30pm in ECCR 265 on Thursday, November 13, 2012.

2012.10.28:

Carl Friedrich Bolz visits October 29-November 2.

2012.10.02:

CUPLV author Pavol Černý has had a paper "Quantitative Abstraction Refinement" accepted for presentation at POPL 2013 in January.

2013.06.08: Check out CUPLV at PLDI 2013, LICS 2013, ECOOP 2013, and CAV 2013 this summer.

2013.05.21: Arlen Cox wins a Chateaubriand Fellowship!

2013.05.07: Cox et al. wins ECOOP 2013 distinguished artifact award!

2013.03.25: Arlen Cox named a 2013-2014 Facebook Graduate Fellowship Finalist.

2013.03.06: Three papers with CUPLV authors accepted to CAV 2013! [1, 2, 3]

2012.03.04: Paper by Cox et al. accepted to ECOOP 2013.

2013.03.04: Submit Analyzer Pearls to TAPAS 2013!

2013.02.21: Prospective Ph.D. students visit February 22. Welcome!

2013.02.04: Great showing for CUPLV authors at PLDI 2013: 3 papers accepted! [1, 2, 3]

2013.01.31: Poster accepted to SIGCSE 2013 Student Research Competition (by Nathan Lapinksi et al.).

2013.01.31: Paper accepted to ICSE 2013 (New and Emerging Results Track) (by Givens et al.).

2013.01.23: Sumit K. Jha visits January 24.

2012.11.13: Jeffrey Sarnat visits November 15.

2012.10.28: Carl Friedrich Bolz visits October 29-November 2.

2012.10.02: Paper by Černý et al. accepted to POPL 2013.

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