Loris D'Antoni's repositories
symbolicautomata
Library for symbolic automata and symbolic visibly pushdown automata
automatark
Benchmark problems for different models of automata, transducers, and related logics
cs703-program-synthesis
Program synthesis class taught by Loris D'Antoni
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
cse291-program-synthesis
Program Synthesis Course
000
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
error-prone
Catch common Java mistakes as compile-time errors