Benjamin Delaware
|
-
305 N. University Street
-
West Lafayette, IN 47907
-
bendy at purdue.edu
|
|
|
Education
|
|
Employment
|
|
Papers
refereed conference publications
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Yuyan Bao,
Kirshanthan Sundararajah,
Raghav Malik,
Qianchuan Ye,
Christopher Wagner,
Nouraldin Jaber,
Fei Wang,
Mohammad Hassan Ameri,
Donghang Lu,
Alexander Seto,
Benjamin Delaware,
Roopsha Samanta,
Aniket Kate,
Christina Garman,
Jeremiah Blocki,
Pierre-David Letourneau,
Benoit Meister,
Jonathan Springer,
Tiark Rompf,
Milind Kulkarni
-
Proceedings of the 20th ACM SIGPLAN
International Conference on Generative
Programming: Concepts & Experiences
(GPCE'21).
-
-
-
-
-
-
-
-
-
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
-
Proceedings of the
2019 ACM SIGPLAN Conference on Object-Oriented
Programming, Systems, Languages, and Applications (OOPSLA'19).
-
-
-
Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel, Qianchuan Ye, Adam Chlipala
-
Proceedings of the
24th ACM SIGPLAN International Conference on Functional Programming
(ICFP'19).
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Benjamin Delaware,
William R. Cook,
Don Batory
-
Proceedings of the 7th joint meeting of the
European Software Engineering Conference (ESEC) and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering
(FSE'09).
-
Preliminary version presented at Foundations of Aspect-Oriented Languages
2009 (FOAL'09).
drafts + manuscripts
technical reports + theses
-
-
-
William R. Cook, Benjamin Delaware, Thomas Finsterbusch,
Ali Ibrahim, Ben Wiedermann
-
Technical Report TR-09-09, UT Austin Department of Computer Sciences.
-
-
-
Benjamin Delaware
-
PhD Dissertation, University of Texas at
Austin, December 2013.
-
-
-
Benjamin Delaware
-
Master's Thesis, Washington University in St. Louis. August 2007.
|
|
Academic Service
-
Organization
-
-
Committee Member
-
-
Reviewing
-
|
Certified Programs and Proofs (CPP)
|
2023
|
|
Programming Language Design and Implementation (PLDI)
|
2022
|
|
European Symposium on Programming (ESOP)
|
2022
|
|
ACM Transactions on Programming Languages
and Systems (TOPLAS) |
2014
|
|
Symposium On Applied Computing (SAC) |
2014
|
|
Object-Oriented Programming Systems
Languages and Application (OOPSLA) |
2013, 2012
|
|
European Conference on Object-Oriented
Programming (ECOOP)
|
2013, 2008
|
|
Journal of Functional Programming (JFP) |
2013
|
|
Acta Informatica |
2011
|
|
International Conference on Functional
Programming (ICFP)
|
2011
|
|
International Conference on Objects, Models,
Components and Patterns (TOOLS)
|
2011, 2010
|
|
ACM Transactions on So ware Engineering and
Methodology (TOSEM) |
2010
|
|
|
Grants
|
PI, SHF: Small: Automated Verification and Synthesis of Input Generators in Property-Based Testing Frameworks
|
2023-2025
|
|
National Science Foundation
|
|
PI, Language Support for Precise Privacy-Preserving Computation
|
2022-2023
|
|
Cisco
|
|
co-PI, BISON: The Zen of Cyber-Secure Serialization and Deserialization Code (STTR Phase II)
|
2021-2022
|
|
Department of the Air Force - Small Business Innovation Research Program
|
|
co-PI, BISON: The Zen of Cyber-Secure Serialization and Deserialization Code (STTR Phase I)
|
2021-2021
|
|
Department of the Air Force - Small Business Innovation Research Program
|
|
PI, Automatic Verification of k-Liveness Properties
|
2019-2020
|
|
Purdue Research Foundation
|
|
co-PI, HACCLE: High-Assurance Compositional Cryptography: Languages and Environments
|
2019-2024
|
|
IARPA
|
|
PI, CRII: SHF: Bespoke Data Representation Synthesis via Contextual Data
Refinement
|
2018-2020
|
|
National Science Foundation (CCF-1755880)
|
|
Key Personnel, BRASS RINGS: Adaptability is the Prize
|
2015-2020
|
|
DARPA
|
|
Key Personnel, Fiat: Correct-by-Construction and Mostly Automated Derivation of Programs with an Interactive Theorem Prover
|
2015-2019
|
|
NSF, CCF-1512611
|
|
|
Teaching
instructor
assistant instructor
teaching assistant
|
|
Advising
|
Qianchuan Ye, PhD
|
2017--current
|
|
Rob Dickerson, PhD
|
2018--current
|
|
Pedro da Costa Abreu, PhD
|
2018--current
|
|
Kia Rahmani (Co-supervised with Suresh Jagannathan), PhD
|
2017--2022
|
|
Eric Bond, MSc
|
2019--2020
|
|
Ammar Askar, B.S.
|
2018--2019
|
|
Paul Krogmeier, MSc
|
2017--2018
|
|
|
Honors + Awards
|
|
Presentations
-
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant
-
|
University of California, Los Angeles, Seminar
|
January 2016
|
|
42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Conference Talk
|
January 2015
|
|
University of California, Berkeley (Chaperone Group), Seminar
|
October 2014
|
|
Stanford University (Software Research Group), Seminar
|
October 2014
|
-
Modular Monadic Meta-Theory
-
|
18th ACM SIGPLAN International Conference on Functional Programming (ICFP), Conference Talk
|
September 2013
|
-
Meta-Theory à la Carte
-
|
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages (POPL), Conference Talk
|
January 2013
|
|
University of Ghent, Seminar
|
December 2012
|
-
Product Lines of Theorems
-
|
26th ACM SIGPLAN International Conference on Object-Oriented
Programming, Systems, Languages and Applications (OOPSLA), Conference Talk
|
October 2011
|
|
2nd Conference on Interactive Theorem Proving (ITP), Joint Keynote with Don Batory
|
August 2011
|
-
Engineering Modular Mechanized Metatheory
-
|
Dagstuhl Seminar on Feature-Oriented So ware Development, Invited Talk
|
January 2011
|
-
Fitting the Pieces Together: A Machine-Checked Model of Safe Composition
-
|
The 7th Joint European So ware Engineering Conference and Foundations of
So ware Engineering (ESEC/FSE), Conference Talk
|
August 2009
|
|
Foundations of Aspect-Oriented Languages (FOAL), Workshop Talk
|
March 2009
|
|
|
|
Recognized as a Distinguished Paper.