Computer-Aided Programming @ Rice
The vision of Computer-Aided Programming is to
All this may sound too good to be true, as
Collaborators at Rice
Srinivas Nedunuri (postdoc
2012-14, now at
Roberto Lublinerman (Ph.D. 2012, now at Google);
Edwin Westbrook (postdoc
2011-13, now a researcher at Kestrel Institute)
We are hiring! Funding is now available for Ph.D.
advisees as well as postdocs).
Prof. Chaudhuri email (swarat at rice edu) if you are interested.
Reasoning about uncertain computation.
Program smoothing and probabilistic reasoning about
See [PLDI10], [CAV11],
Statistical reasoning about program
Computer-aided mechanism design; synthesis for
Constraint-based program synthesis.
See [PLDI11] and
Logical methods for real computation.
Procedure-modular reasoning about programs.
Declarative isolation in
Look no further than here!