Jeff Vaughan…
… is a University of Pennsylvania Computer and Information Science doctoral candidate and a wanna-be rock star.
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.
Publications
Aura: A programming language for
authorization and audit. Limin Jia, Jeffrey A. Vaughan,
Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, and
Steve Zdancewic. To appear in ICFP 2008.
[pdf]
(Long version
U. Pennsylvania Technical Report MS-CIS-08-10
[pdf])
Evidence-based Audit. Jeffrey A. Vaughan,
Limin Jia, Karl Mazurak, and Steve Zdancewic. To appear in 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, Dec. 2005.
[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
Relational Lenses: A language for defining updateable views. Aaron Bohannon, Jeffrey A. Vaughan, Benjamin C. Pierce. For DB/IR Day, Fall 2005. [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 '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. I am also a co-organizer of the Proof Theory Reading Group and a maintainer of the Cocorico Coq Wiki.
Personal
I am engaged to Jenn Wortman.
Contact Information
Department of CIS
Levine Hall
3330 Walnut Street
Philadelphia, PA 19104-6389
Levine Hall 514
vaughan2@seas.upenn.edu