ISMM 2023
Sun 18 Jun 2023 Orlando, Florida, United States
co-located with PLDI 2023
  • Attending
    • Venue: Orlando World Center Marriott
    • PLDI 2023
    • PLDI'23 Attendee's Guide
    • Registration
    • Code of Conduct
    • Sponsorship
    • Visa
    • Volunteers
    • Childcare
  • Program
    • ISMM Program
    • Your Program
    • Sun 18 Jun
  • Track/Call
  • Organization
      • ISMM 2023 Committees
      • Track Committees
      • Organizing Committee
      • Program Committee
      • Contributors
      • People Index
  • Search
  • Series
    • Series
    • ISMM 2025
    • ISMM 2024
    • ISMM 2023
    • ISMM 2022
    • ISMM 2021
    • ISMM 2020
    • ISMM 2019
    • ISMM 2018
    • ISMM 2017
    • ISMM 2016
    • ISMM 2015
  • Sign in
  • Sign up
PLDI 2023 (series) / ISMM 2023 (series) / Benjamin Delaware
  • conf.research.org general profile
  • APLAS 2020 profile
  • ASE 2024 profile
  • ICFP 2017 profile
  • ICFP 2019 profile
  • ICFP/SPLASH 2025 profile
  • Modularity 2016 profile
  • PLDI 2021 profile
  • PLDI 2024 profile
  • PLDI 2025 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • POPL 2025 profile
  • SPLASH 2011 profile
  • SPLASH 2013 profile
  • SPLASH 2017 profile
  • SPLASH 2019 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
  • SPLASH 2024 profile
Benjamin Delaware

Registered user since Wed 25 Nov 2015

Name:Benjamin Delaware
Country:United States
Affiliation:Purdue University
Personal website: https://www.cs.purdue.edu/homes/bendy/
Research interests:Programming Languages and Verification

Contributions

2023

PLDI

  • Session Chair of PLDI: Types (part of PLDI Research Papers)
  • Distinguished Reviewer in PLDI Review Committee within the PLDI Research Papers-track
  • Covering All the Bases: Type-Based Verification of Test Input Generators
  • Taype: A Policy-Agnostic Language for Oblivious Computation

EGRAPHS

  • KestRel: Relational Verification using E-Graphs for Program Alignment

Show activities from other conferences

Share
PLDI 2023-profile
View general profile
xSat 21 Jun 17:02

ISMM 2023


using conf.researchr.org (v1.69.0)
Support page

Tracks

ISMM 2023

Attending

Venue: Orlando World Center Marriott
PLDI'23 Attendee's Guide
Registration
Code of Conduct
Sponsorship
Visa
Volunteers
Childcare
Sign Up