
Registered user since Sun 14 May 2017
Name:Jerome Simeon
Country:United States
Affiliation:IBM Research
Personal website:http://blog.ashortdistanceahead.org/
Research interests:Compilers, Databases, Query Compilers, Formal Verification
Contributions
ICFP 2017 | Prototyping a Query Compiler using Coq (Experience Report) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2017-profile
View general profile
View general profile