Eric Campbell - POPL 2023

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