Benjamin Delaware

Purdue University

Assistant Professor

Department of Computer Science

Which program are you applying for ?

View Bookmark

Research Area

#Computer science#Programming language#Code (cryptography)#Correctness#Proof assistant#Abstract data type#Mathematical proof#Theoretical computer science#Nondeterministic algorithm#Data structure

conference information

Papers relevant to ‘Data structure’: 1

Research performance of Top-tier Conference matching with ‘Data structure’

Citations of Top-tier Conference Top-tier Conference paper(s) 03006009001.2k1.5k012345678

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant

    2015/01 POPL Top-tier Conference 101 citations

    Benjamin Delaware, Clément Pit-Claudel, Jason Gross, Adam Chlipala

    DOI : 10.1145/2676726.2677006

How can I correct errors in PhD.GO?


Papers for author ‘Benjamin Delaware’: 1

Number of published Top-tier Conference by year

012342015
Top-tier Conference 1

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant

    2015/01 POPL Top-tier Conference 101 citations

    Benjamin Delaware, Clément Pit-Claudel, Jason Gross, Adam Chlipala

    DOI : 10.1145/2676726.2677006

How can I correct errors in PhD.GO?