Jeff Vaughan…
… is a University of Pennsylvania Computer and Information Science doctoral candidate.
I am interested in the intersection of computer security, programming languages, and formal methods. My advisor is Steve Zdancewic and I am am member of the Penn PL Club.
Next year, I will be a CRCS fellow at Harvard.
Curriculum Vitae Research Statement Teaching Statement
Publications and Drafts
Paladin: Helping Programs Help Themselves with System Call Interposition Jeffrey A. Vaughan and Andrew D. Hilton. Draft, 2009. [pdf]
A logical interpretation of Java-style exceptions. Jeffrey A. Vaughan. Draft, 2008. [pdf]
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, 2007. [pdf | bib | slides]
A Review of Three Techniques for Formally Representing Variable Binding. Jeffrey A. Vaughan. Technical Report MS-CIS-06-19, UPenn CIS, Dec. 2006. [bib | ps | pdf]
Relational Lenses: A Language for Updateable Views.
Aaron Bohannon, Jeffrey A. Vaughan and Benjamin C. Pierce.
In Principles of Database Systems (PODS), 2006.
[bib |
pdf]
(Long version U. Pennsylvania
Technical Report MS-CIS-05-27.
[bib |
pdf])
SML2Java: A Source to Source Translator. Justin Koser, Haakon Larsen, and Jeffrey A. Vaughan. Declarative Programming in the Context of Object-Oriented Languages (DP-COOL), 2003. [pdf | slides-pdf | slides-ppt]
Factors affecting energy deposition and expansion in single wire low current experiments. Peter U. Duselis, Jeffrey A. Vaughan, and Bruce R. Kusse. Physics of Plasmas 11, 4025 (2004). [pdf]
Unpublished Work
Posters
Normalization in the Dual Calculus with Sigma Reductions. Jeffrey A. Vaughan, Stephanie Weirich, and Steve Zdancewic. For ICFP, Fall 2008. [pdf | abstract]
Relational Lenses: A language for defining updateable views. Aaron Bohannon, Jeffrey A. Vaughan, Benjamin C. Pierce. For DB/IR Day, Fall 2005. [pdf]
Other Presentations
Authorization, Audit, and Provenance in the Aura System For the Symposium on Provenance in Software Systems, Edinburgh, March 2009. [pdf]
Evidence-based Audit For NJPLS joint meeting with MAPLS and IBM PL Day, August 2008. [pdf]
Reports
A proof of correctness for the Hindley-Milner type inference algorithm. Independent study with Stephanie Weirich, 2005 (revised 2008). [pdf]
Plasma Formation Mechanisms in Exploding Wire Experiments. Independent study with Bruce Kusse and Peter Duselis at Cornell's Institute for Plasma Studies, 2003. [pdf]
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 coordinate the the departmental TGIF happy hours and maintain a planning guide and schedule. This semester, I am co-organizing the Penn Systems Seminar. I was also a co-organizer of the Proof Theory Reading Group and am a maintainer of the Cocorico Coq Wiki.
I posted a (very) short page with infrequently asked questions about languages and logic.
Personal
I just married Jenn Wortman Vaughan!
Contact Information
Department of CIS
Levine Hall
3330 Walnut Street
Philadelphia, PA 19104-6389
Levine Hall 514
vaughan2@seas.upenn.edu