Organizers

Visible to the public 

  P R O G R A M   C O - C H A I R S  

JUNE ANDRONICK leads the Trustworthy Systems group, world-leading in the area of verified operating systems software, known worldwide for the formal verification of the seL4 microkernel.  She is a Principal Research Scientist at CSIRO's Data61, and conjoint Associate Professor at UNSW Sydney, Australia. Her main research interest is in formal verification and certification of software systems, more precisely in formal proofs of correctness and security properties of programs using interactive theorem proving, as well as concurrency reasoning, targeting interruptible and multicore systems. She was recognised in 2011 by MIT's Technology Review as one of the world's top young innovators (TR35). She previously worked in industry for the smart-card manufacturer Gemalto in Formal Methods research, where she did my PhD in collaboration with University of Paris Sud. DR. ERIC W. SMITH is the CEO of Kestrel Institute, where he does research in formal methods. He co-leads Kestrel's APT (Automated Program Transformations) project, which is developing proof-emitting program transformations for the ACL2 theorem prover. Dr. Smith also works on the Axe tool originally written for his Stanford Ph.D. thesis. Axe can lift Java bytecode and x86 binary programs into a logical representation which is then verified using Axe's high-performance rewriter and equivalence checker. Dr. Smith currently leads Kestrel projects to synthesize network protocol implementations and high-assurance monitors for machine learning algorithms. He led Kestrel's DerivationMiner effort, which used program synthesis techniques (derivations, specifications, and refinements) to construct correctness proofs of code found in large online repositories. He also led Kestrel's DARPA APAC effort to find malware in Android apps and formally prove the correctness of apps without malware.

  C O M M I T T E E  

PERRY ALEXANDER, University of Kansas
KATHLEEN FISHER, Tufts University
JOHN HATCLIFF, Kansas State University
JOHN LAUNCHBURY, Galois, Inc.
STEPHEN MAGILL, MuseDev

BRAD MARTIN, National Security Agency
RAY RICHARDS, DARPA
WILLIAM SCHERLIS, DARPA
SEAN WEAVER, National Security Agency
MATT WILDING, Collins Aerospace

  O R G A N I Z E R S   

Publicity and Communications: KATIE DEY (Vanderbilt University)
Local Arrangements: REGAN WILLIAMS (Vanderbilt University)
Graphic Design: AMY KARNS (Vanderbilt University)