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. [draft-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]
Other Presentations
A Debugger for Standard ML. For Penn PL Club, Fall 2005. [pdf]
QuickCheck: Automated Random Testing for Haskell. For Penn PL Club Spring 2005. [pdf]
The No Longer Foreign Function Interface. For Penn PL Club, Fall 2004. [pdf]
Whidbey Enhancements to C#. Presented to the Microsoft MS Build Team, Summer 2005. [pdf]
Reports
A proof of correctness for the Hindley-Milner type inference algorithm. Independent study with Stephanie Weirich, [pdf | ps]
Plasma Formation Mechanisms in Exploding Wire Experiments. Independent study with Bruce Kusse and Peter Duselis at Cornell's Institute for Plasma Studies. [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.
Contact Information
Department of CIS
Levine Hall
3330 Walnut Street
Philadelphia, PA 19104-6389
Levine Hall 514
215-898-8630 (office)
vaughan2@seas.upenn.edu