Andrew W. Appel - PLDI 2018

Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States

Registered user since Fri 12 Jun 2020

Name:Andrew W. Appel

Affiliation:Princeton

Personal website: http://www.cs.Princeton.EDU/~appel

Contributions

2018

FMS

Modular Verification of Deep Specifications of Security-Critical Components

DeepSpec

The Science of Deep Specification

Show activities from other conferences

PLDI 2018-profile
View general profile