Programming-by-example (PBE) is a synthesis paradigm that allows users to generate functions by simply providing input- output examples. While a promising interaction...
Ruzica Piskac, recently appointed as the Donna L. Dubinsky Associate Professor of Computer Science , focuses her research on programming languages, software verification,...
Functional Reactive Programming (FRP) is a paradigm that has simplified the construction of reactive programs. There are many libraries that implement incarnations of FRP...
Reactive systems that operate in environments with complex data, such as mobile apps or embedded controllers with many sensors, are difficult to synthesize. Synthesis tools...
We present counterfactual symbolic execution, a new approach that produces counterexamples that localize the causes of failure of static verification. First, we develop a...
Congratulations to Professor Ruzica Piskac as the recipient of the 2019 Ackerman Teaching and Mentoring Award. This award, sponsored by SEAS alum Robert Ackerman (‘60),...
