Eric Campbell

Registered user since Mon 15 Jul 2019

Name:Eric Campbell
Country:United States
Affiliation:Cornell University
Research interests:Programming Languages, Networking, Formal Methods, Domain Specific Languages, Logic

Contributions

POPL 2023 Session Chair of Wednesday Morning Break Session Preview (part of Session Previews)
Relational & Automated Verification: Session Preview
Session Chair of Thursday Breakfast Session Preview (part of Session Previews)
CPP 2023 P4Cub: A Little Language for Big Routers
Show activities from other conferences

POPL 2023-profile
View general profile