Adam Chlipala - PLDI 2018

Registered user since Sun 23 Nov 2014

Name:Adam Chlipala

Country:United States

Affiliation:Massachusetts Institute of Technology, USA

Research interests:Programming Languages & Tools, Formal Methods, Proof Assistants

Contributions

DeepSpec 2018	Verification Around the Hardware-Software Interface: Instruction Set, Processors, and Side Channels
PLDI 2018	Session Chair of Verification (part of PLDI Research Papers) Committee Member in Program Committee
Show activities from other conferences