Author Info
Name
Affiliation
Papers
JOHN SARRACINO
Cornell University, USA
3
Collaborators
Citations 
PageRank 
11
0
1.01
Referers 
Referees 
References 
0
30
14
Title
Citations
PageRank
Year
Certified Parsing of Dependent Regular Grammars00.342022
Leapfrog: Certified Equivalence for Protocol Parsers00.342022
Synthesis of web layouts from examples00.342021