Ben Hardekopf -

Registered user since Tue 2 Jun 2015

Name:Ben Hardekopf

Country:United States

Affiliation:University of California at Santa Barbara

Personal website: www.cs.ucsb.edu/~benh

Contributions

2025

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

2024

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2023

SPLASH

Author of Aliasing Limits on Translating C to Safe Rust within the OOPSLA-track

PLDI

Author of Loop Rerolling for Hardware Decompilation within the PLDI Research Papers-track

PLARCH

Author of Semi-Automated Translation of a Formal ISA Specification to Hardware within the PLARCH 2023-track

CGO

POPL

Author of Citrus: A Dependently Typed Framework for Pulse-Based Logic within the Student Research Competition-track

2022

PLDI

Author of PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics within the PLDI-track

CGO

Committee Member in Program Committee within the Main Conference-track

2021

SPLASH

Author of Translating C to Safer Rust within the OOPSLA-track

PLDI

2020

SPLASH

Committee Member in External Review Committee within the OOPSLA-track

2019

SOAP

Author of Fixpoint Reuse for Incremental JavaScript Analysis within the SOAP-track

FASE

Author of Structural and Nominal Cross-Language Clone Detection within the FASE 2019-track

2018

SOAP

Committee Member in Program Committee within the SOAP-track

2016

ECOOP

Committee Member in External Review Committee within the Research Track-track

PLDI

2015

DLS

Author of Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines within the DLS-track

PLDI

Committee Member in Program Committee within the Research Papers-track

SOAP

Invited Speaker of Static Analysis of JavaScript: Insights and Challenges within the SOAP-track

2013

DLS

Author of Type Refinement for Static Analysis of JavaScript within the Research Papers-track