Andrew Bedford - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Registered user since Mon 13 Nov 2017

Name:Andrew Bedford

Country:Canada

Affiliation:Laval University

Personal website: http://andrew-bedford.ca

Research interests:Security, Programming Languages, Formal Methods

Contributions

2018

CoqPL

Coqatoo: Generating Natural Language Versions of Coq Proofs

POPL

Generating Information-Flow Control Mechanisms from Programming Language Specifications

Show activities from other conferences

POPL 2018-profile
View general profile