DeepSpec 2019 Contributors -

Sat 22 - Fri 28 June 2019 Phoenix, Arizona, United States

co-located with PLDI 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (21)

A Andrew W. AppelAppel, Andrew W. Princeton Session Chair of Interaction Trees and Algebraic Effects I (part of DeepSpec) Closure Conversion is Safe for Space Project Updates from Participating Sites Abstraction, Subsumption, and Linking in VST
B Lennart BeringerBeringer, Lennart Princeton UniversityUnited States Session Chair of Coinduction and Testing (part of DeepSpec) Session Chair of Deep Specifications (part of DeepSpec) Abstraction, Subsumption, and Linking in VST Committee Member in Organizing Committee within the DeepSpec-track
C Adam ChlipalaChlipala, Adam Massachusetts Institute of Technology, USAUnited States Session Chair of HW/SW Interface Specifications (part of DeepSpec) Fast, Verified Partial Evaluation Project Updates from Participating Sites
Joonwon ChoiChoi, Joonwon Massachusetts Institute of Technology, USA Modular Correctness Proofs at the Hardware-Software Interface
H Wolf HonoreHonore, Wolf Connecting Separation Logic with First-Order Reasoning on Memory
Chung-Kil HurHur, Chung-Kil Seoul National UniversityKorea, South Coinductive Reasoning about Interaction Trees
K Jérémie KoenigKoenig, Jérémie Yale UniversityUnited States Refinement-Based Game Semantics for CompCert
L Leonidas LampropoulosLampropoulos, Leonidas University of PennsylvaniaGreece Coverage Guided, Property Based Testing
Ben LaurieLaurie, Ben Google Research Project Oak: Control Data in Distributed Systems, Verify All The Things
Daan LeijenLeijen, Daan Microsoft Research, USAUnited States Typed Programming with Algebraic Effects (in terms of ambient values, functions, and control)
Mengqi LiuLiu, Mengqi Yale University Compositional Verification of Preemptive OS Kernels with Temporal and Spatial Isolation
M Yatin ManerkarManerkar, Yatin Princeton UniversityUnited States Automated Formal Memory Consistency Verification of Hardware
William ManskyMansky, William University of Illinois at ChicagoUnited States Connecting Separation Logic with First-Order Reasoning on Memory
James McKinnaMcKinna, James University of Edinburgh Names, Places, and Things: Generic Traversals over Generic Syntax with Binding
N Rishiyur NikhilNikhil, Rishiyur Development of the RISC-V ISA Formal Specification
P Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton UniversityUnited States Closure Conversion is Safe for Space
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Session Chair of Modular Reasoning (part of DeepSpec) Overview of the DeepSpec Expedition and its Capstone Application
R Yann Régis-GianasRégis-Gianas, Yann IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France Implementation and Verification of Modular Effectful Systems in Coq using FreeSpec
S Zhong ShaoShao, Zhong Yale UniversityUnited States Session Chair of Verifying All the Things (part of DeepSpec) Session Chair of Compiler Verification (part of DeepSpec) Project Updates from Participating Sites Committee Member in Organizing Committee within the DeepSpec-track
W Yuting WangWang, Yuting Yale University Stack-Aware CompCert
Z Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Session Chair of Interaction Trees and Algebraic Effects II (part of DeepSpec) Interaction Trees: Representing Recursive and Impure Programs in Coq