conf.researchr.org / Jonathan DiLorenzo
Registered user since Sun 7 Aug 2016
Name:Jonathan DiLorenzo
Country:United States
Affiliation:Google
Personal website: http://www.dilorenzo.science/
Research interests:Programming Languages, Systems
Contributions
2025
RPLS
- Speaker of P4-Based Automated Reasoning (P4-BAR) using Symbolic Execution at Google within the RPLS 2025: Real-World Programming Language Specification-track
- Panelist of Panel: Mechanized Specifications for Real-World Programming Languages within the RPLS 2025: Real-World Programming Language Specification-track