CUPLV
Programming Languages and Verification
at the University of Colorado Boulder
Expressivity, Performance, Dependability, and Understanding
of Computational Systems
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, 2011.
Faculty
Positions. Two tenure-track position openings
targeted at the Assistant Professor level. Evaluation starts
December 6, 2011.
2011.11.04:
Best paper at FMCAD 2011 goes to
"An Incremental Approach to Model Checking Progress Properties".
2011.11.04:
Two tenure-track positions open. Evaluation begins December 6, 2011.
2011.11.04:
Call for Ph.D. applicants for Fall 2012. Application deadline
is December 15, 2011. Check out our latest recruiting
talk from February 25, 2011.
2011.09.09:
Sam Blackshear is presenting
the paper "The Flow-Insensitive Precision of Andersen's Analysis in Practice" at
SAS 2011 on September 14.
2011.07.11:
We will have a workshop with visitors
Swarat Chaudhuri (Rice University, USA),
Eric Goubault (CEA, France),
Sylvie Putot (CEA, France), and
César Sánchez (IMDEA, Spain)
in ECOT 832 on July 12 10:00am-6:00pm.
2011.07.07:
Eric Goubault and
Sylvie Putot
visit July 11-12.
2011.07.07:
Swarat Chaudhuri visits July 11-15.
2011.07.01:
César Sánchez visits July 5-August 12.
2011.06.02:
Franjo Ivančić visits June 4.
2011.04.25:
Christoph Reichenbach from U of Massachusetts,
Amherst and alumnus of this group is visiting us on Monday,
April 25, 2011. He is giving a talk at 10:00am in ECOT 832.
2011.11.04:
Best paper at FMCAD 2011 goes to
"An Incremental Approach to Model Checking Progress Properties".
2011.11.04:
Two tenure-track positions open. Evaluation begins December 6, 2011.
2011.11.04:
Call for Ph.D. applicants for Fall 2012. Application deadline
is December 15, 2011.
2011.09.09:
Sam Blackshear presenting at
SAS 2011 September 14.
2011.07.11:
Summer workshop July 12.
2011.07.07:
Eric Goubault and
Sylvie Putot
visit July 11-12.
2011.07.07:
Swarat Chaudhuri visits July 11-15.
2011.07.01:
César Sánchez visits July 5-August 12.
2011.06.02:
Franjo Ivančić visits June 4.
2011.04.25:
Christoph Reichenbach visits April 25.
TACAS 2012Tallinn, EstoniaMarch 2012
2012
A Bit Too Precise? Bounded Verification of Quantized Digital Filters
TACAS 2012:
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
FMCAD 2011Austin, Texas, USAOctober 2011
2011
An Incremental Approach to Model Checking Progress Properties
FMCAD 2011:
International Conference on Formal Methods in Computer Aided Design
SAS 2011Venice, ItalySeptember 2011
2011
The Flow-Insensitive Precision of Andersen's Analysis in Practice
SAS 2011:
International Static Analysis Symposium
Extended Version:
Technical Report
CU-CS-1083-11
CAV 2011Snowbird, Utah, USAJuly 2011
2011
Relational Abstractions for Continuous and Hybrid Systems
CAV 2011:
International Conference on Computer Aided Verification
HSCC 2011Chicago, Illinois, USAApril 2011
2011
Automatic Abstraction of Non-Linear Systems Using Change of Variables Transformations
HSCC 2011:
International Conference on Hybrid Systems: Computation and Control
TACAS 2011Saarbrücken, GermanyMarch 2011
2011
S-Taliro: A Tool for Temporal Logic Falsification for Hybrid Systems
Yashwant Annapureddy, Che Liu, Georgios Fainekos, and Sriram Sankaranarayanan
TACAS 2011:
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ESOP 2011 Saarbrücken, Germany March 2011
2011
Generalizing the Template Polyhedral Domain
Michael Colon and Sriram Sankaranarayanan
ESOP 2011:
European Symposium on Programming
POPL 2011Austin, Texas, USAJanuary 2011
2011
Calling Context Abstraction with Shapes
POPL 2011:
ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
VMCAI 2011Austin, Texas, USAJanuary 2011
2011
Access Nets: Modeling Access to Physical Spaces
VMCAI 2011:
International Conference on Verification, Model Checking, and Abstract Interpretation
Extended Version:
Technical Report
CU-CS-1076-10






Geoffrey Belter

Aleksandar Chakarov
Devin Coughlin

Weiyu Miao
Thomas Nelson
Yi-Fan Tsai
Jonathan Turner
Michael Vitousek
Aditya Zutshi

Shashank Bharadwaj

