Jeff Vaughan…
… is a software engineer at Google, working primarily on gcloud.
Background
Previously, I was a computer scientist at LogicBlox. I led the compiler team, building tools and evolving the LoqiQL programming language.
In the distant past, I was postdoctoral researcher at University of California, Los Angeles, working with Todd Millstein. And before UCLA, I was a postdoctoral fellow at Harvard's Center for Research on Computation and Society, working with Steve Chong and Greg Morrisett.
I received my PhD in Computer and Information Science from the University of Pennsylvania. My thesis advisor was Steve Zdancewic and I enjoyed working with the Penn PL Club.
Before Penn I studied computer science and applied physics at Cornell.
Recent drafts and tech reports
Enforcing language semantics using proof-carrying data. Stephen Chong, Eran Tromer, and Jeffrey A. Vaughan. Cryptology ePrint Archive, 2014. [eprint pdf]
Selected publications
Secure Information Flow for Concurrent
Programs under Total Store Order.
Jeffrey A. Vaughan and Todd Millstein.
CSF, 2012.
[pdf]
(Proofs: UCLA Technical Report 120007
[pdf])
Inference of Expressive Declassification Policies. Jeffrey A. Vaughan and Stephen Chong. IEEE Security and Privacy (Oakland), 2011. [pdf | bib | slides]
Self-Identifying Sensor Data.
Stephen Chong, Christian Skalka, and
Jeffrey A. Vaughan. IPSN, 2010.
[pdf |
bib |
slides]
Journal Version JDIQ, 2015.
[pdf |
bib]
Aura: A Programming Language for
Authorization and Audit. Limin Jia, Jeffrey A. Vaughan,
Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, and
Steve Zdancewic. ICFP, 2008.
[pdf |
bib |
slides]
(Long version
U. Pennsylvania Technical Report MS-CIS-08-10
[pdf])
Evidence-based Audit. Jeffrey A. Vaughan,
Limin Jia, Karl Mazurak, and Steve Zdancewic. CSF, 2008.
[pdf |
bib |
slides]
(Long version U. Pennsylvania
Technical Report MS-CIS-08-09
[pdf])
A Cryptographic Decentralized Label Model. Jeffrey A. Vaughan and Steve Zdancewic. IEEE Security and Privacy (Oakland), 2007. [pdf | bib | slides]
Teaching
CIS 399-005: C# Programming (Instructor, Spring '09 and Spring '08)
CIS 551: Computer and Network Security (Teaching Assistant, Spring '07)
CSE 121: Data Structures with Java (Teaching Assistant, Spring '06)
CSE 380: Operating Systems (Teaching Assistant, Fall '05)
CS 312: Data Structures and Functional Programming (At Cornell University; Consultant: Fall '02; Teaching Assistant: Spring '03, Fall '03, Spring '04)
Miscellanea
I posted a (very) short page with infrequently asked questions about languages and logic.
Personal
I’m married to Jenn Wortman Vaughan.
Contact Information
Brooklyn, New York
jeffv.public+website@gmail.com