Personal information

No personal information available

Activities

Collapse all

Employment (1)

University of California, Santa Barbara: Santa Barbara, California, US

Professor (Computer Science)
Employment
Source: Self-asserted source
Ben Hardekopf

Works (37)

Loop Rerolling for Hardware Decompilation

Proceedings of the ACM on Programming Languages
2023-06-06 | Journal article
DOI: 10.1145/3591237
Contributors: Zachary D. Sisco; Jonathan Balkind; Timothy Sherwood; Ben Hardekopf
Source: check_circle
Crossref

Aliasing Limits on Translating C to Safe Rust

Proceedings of the ACM on Programming Languages
2023-04-06 | Journal article
DOI: 10.1145/3586046
Contributors: Mehmet Emre; Peter Boyland; Aesha Parekh; Ryan Schroeder; Kyle Dewey; Ben Hardekopf
Source: check_circle
Crossref

PyLSE: a pulse-transfer level language for superconductor electronics

Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
2022-06-09 | Conference paper
DOI: 10.1145/3519939.3523438
Contributors: Michael Christensen; Georgios Tzimpragos; Harlan Kringen; Jennifer Volk; Timothy Sherwood; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Safe functional systems through integrity types and verified assembly

Theoretical Computer Science
2021 | Journal article
DOI: https://doi.org/10.1016/j.tcs.2020.09.039
Part of ISSN: 0304-3975
Contributors: Michael Christensen; Joseph McMahan; Lawton Nichols; Jared Roesch; Timothy Sherwood; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Translating C to safer Rust

Proceedings of the ACM on Programming Languages
2021-10-20 | Journal article
DOI: 10.1145/3485498
Part of ISSN: 2475-1421
Contributors: Mehmet Emre; Ryan Schroeder; Kyle Dewey; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Wire sorts: a language abstraction for safe hardware composition

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
2021-06-19 | Conference paper
DOI: 10.1145/3453483.3454037
Contributors: Michael Christensen; Timothy Sherwood; Jonathan Balkind; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS)
2020 | Conference paper
DOI: 10.1109/QRS51102.2020.00071
Contributors: Gavrilov, Miroslav; Dewey, Kyle; Groce, Alex; Zamanzadeh, Davina; Hardekopf, Ben
Source: Self-asserted source
Ben Hardekopf

Structural and Nominal Cross-Language Clone Detection

Fundamental Approaches to Software Engineering
2019 | Conference paper
DOI: 10.1007/978-3-030-16722-6_14
Part of ISBN: 9783030167219
Part of ISBN: 9783030167226
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Lawton Nichols; Mehmet Emre; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Syntax-based Improvements to Plagiarism Detectors and their Evaluations

Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education
2019-07-02 | Conference paper
DOI: 10.1145/3304221.3319789
Contributors: Lawton Nichols; Kyle Dewey; Mehmet Emre; Sitao Chen; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Bouncer

Proceedings of the 46th International Symposium on Computer Architecture
2019-06-22 | Conference paper
DOI: 10.1145/3307650.3322256
Contributors: Joseph McMahan; Michael Christensen; Kyle Dewey; Ben Hardekopf; Timothy Sherwood
Source: Self-asserted source
Ben Hardekopf

Fixpoint reuse for incremental JavaScript analysis

Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
2019-06-22 | Conference paper
DOI: 10.1145/3315568.3329964
Contributors: Lawton Nichols; Mehmet Emre; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

An Architecture for Analysis

IEEE Micro
2018 | Journal article
DOI: 10.1109/MM.2018.032271067
Contributors: McMahan, Joseph; Christensen, Michael; Nichols, Lawton; Roesch, Jared; Guo, Sung-Yee; Hardekopf, Ben; Sherwood, Timothy
Source: Self-asserted source
Ben Hardekopf

An Architecture Supporting Formal and Compositional Binary Analysis

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems
2017-04-04 | Conference paper
DOI: 10.1145/3037697.3037733
Contributors: Joseph McMahan; Michael Christensen; Lawton Nichols; Jared Roesch; Sung-Yee Guo; Ben Hardekopf; Timothy Sherwood
Source: Self-asserted source
Ben Hardekopf

A parallel abstract interpreter for JavaScript

Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization
2015 | Conference paper
Part of ISBN: 9781479981618
Contributors: Dewey, Kyle; Kashyap, Vineeth; Hardekopf, Ben
Source: Self-asserted source
Ben Hardekopf

Automated data structure generation: refuting common wisdom

Proceedings of the 37th International Conference on Software Engineering - Volume 1
2015 | Conference paper
Part of ISBN: 9781479919345
Contributors: Dewey, Kyle; Nichols, Lawton; Hardekopf, Ben
Source: Self-asserted source
Ben Hardekopf

Fuzzing the Rust Typechecker Using CLP (T)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2015-11 | Conference paper
DOI: 10.1109/ase.2015.65
Contributors: Kyle Dewey; Jared Roesch; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Server-side type profiling for optimizing client-side JavaScript engines

Proceedings of the 11th Symposium on Dynamic Languages
2015-10-21 | Conference paper
DOI: 10.1145/2816707.2816719
Contributors: Madhukar N. Kedlaya; Behnam Robatmili; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Widening for Control-Flow

Lecture Notes in Computer Science
2014 | Conference paper
DOI: 10.1007/978-3-642-54013-4_26
Part of ISBN: 9783642540127
Part of ISBN: 9783642540134
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Ben Hardekopf; Ben Wiedermann; Berkeley Churchill; Vineeth Kashyap
Source: Self-asserted source
Ben Hardekopf

JSAI: a static analysis platform for JavaScript

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering
2014-11-11 | Conference paper
DOI: 10.1145/2635868.2635904
Contributors: Vineeth Kashyap; Kyle Dewey; Ethan A. Kuefner; John Wagner; Kevin Gibbons; John Sarracino; Ben Wiedermann; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Language fuzzing using constraint logic programming

Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
2014-09-15 | Conference paper
DOI: 10.1145/2642937.2642963
Contributors: Kyle Dewey; Jared Roesch; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Deoptimization for dynamic language JITs on typed, stack-based virtual machines

Proceedings of the 10th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
2014-03 | Conference paper
DOI: 10.1145/2576195.2576209
Contributors: Madhukar N. Kedlaya; Behnam Robatmili; Cġlin Caşcaval; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

MuscalietJS

Proceedings of the 10th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
2014-03 | Conference paper
DOI: 10.1145/2576195.2576211
Contributors: Behnam Robatmili; Calin Cascaval; Mehrdad Reshadi; Madhukar N. Kedlaya; Seth Fowler; Vrajesh Bhavsar; Michael Weber; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Sapper

Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
2014-02-24 | Conference paper
DOI: 10.1145/2541940.2541947
Contributors: Xun Li; Vineeth Kashyap; Jason K. Oberg; Mohit Tiwari; Vasanth Ram Rajarathinam; Ryan Kastner; Timothy Sherwood; Ben Hardekopf; Frederic T. Chong
Source: Self-asserted source
Ben Hardekopf

Security Signature Inference for JavaScript-based Browser Addons

Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization
2014-02-15 | Conference paper
DOI: 10.1145/2581122.2544149
Contributors: Vineeth Kashyap; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Security Signature Inference for JavaScript-based Browser Addons

Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization
2014-02-15 | Conference paper
DOI: 10.1145/2544137.2544149
Contributors: Vineeth Kashyap; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Improved type specialization for dynamic scripting languages

Proceedings of the 9th symposium on Dynamic languages
2013-10-28 | Conference paper
DOI: 10.1145/2508168.2508177
Contributors: Madhukar N. Kedlaya; Jared Roesch; Behnam Robatmili; Mehrdad Reshadi; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Type refinement for static analysis of JavaScript

Proceedings of the 9th symposium on Dynamic languages
2013-10-28 | Conference paper
DOI: 10.1145/2508168.2508175
Contributors: Vineeth Kashyap; John Sarracino; John Wagner; Ben Wiedermann; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Position paper

Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security
2013-06-20 | Conference paper
DOI: 10.1145/2465106.2465214
Contributors: Xun Li; Vineeth Kashyap; Jason K. Oberg; Mohit Tiwari; Vasanth Ram Rajarathinam; Ryan Kastner; Timothy Sherwood; Ben Hardekopf; Frederic T. Chong
Source: Self-asserted source
Ben Hardekopf

Flow-sensitive pointer analysis for millions of lines of code

Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization
2011 | Conference paper
Part of ISBN: 9781612843568
Contributors: Hardekopf, Ben; Lin, Calvin
Source: Self-asserted source
Ben Hardekopf

String abstractions for string verification

Proceedings of the 18th International SPIN Conference on Model Checking Software
2011 | Conference paper
Part of ISBN: 9783642223051
Contributors: Yu, Fang; Bultan, Tevfik; Hardekopf, Ben
Source: Self-asserted source
Ben Hardekopf

Caisson

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation
2011-06-04 | Conference paper
DOI: 10.1145/1993498.1993512
Contributors: Xun Li; Mohit Tiwari; Jason K. Oberg; Vineeth Kashyap; Frederic T. Chong; Timothy Sherwood; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security

Proceedings of the 38th annual international symposium on Computer architecture
2011-06-04 | Conference paper
DOI: 10.1145/2000064.2000087
Contributors: Mohit Tiwari; Jason K. Oberg; Xun Li; Jonathan Valamehr; Timothy Levin; Ben Hardekopf; Ryan Kastner; Frederic T. Chong; Timothy Sherwood
Source: Self-asserted source
Ben Hardekopf

Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach

2011 IEEE Symposium on Security and Privacy
2011-05 | Conference paper
DOI: 10.1109/sp.2011.19
Contributors: Vineeth Kashyap; Ben Wiedermann; Ben Hardekopf
Source: Self-asserted source
Ben Hardekopf

Secure information flow analysis for hardware design

Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
2010-06-10 | Conference paper
DOI: 10.1145/1814217.1814225
Contributors: Xun Li; Mohit Tiwari; Ben Hardekopf; Timothy Sherwood; Frederic T. Chong
Source: Self-asserted source
Ben Hardekopf

Semi-sparse flow-sensitive pointer analysis

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
2009-01-21 | Conference paper
DOI: 10.1145/1480881.1480911
Contributors: Ben Hardekopf; Calvin Lin
Source: Self-asserted source
Ben Hardekopf

Exploiting pointer and location equivalence to optimize pointer analysis

Proceedings of the 14th International Conference on Static Analysis
2007 | Conference paper
Part of ISBN: 3540740600
Contributors: Hardekopf, Ben; Lin, Calvin
Source: Self-asserted source
Ben Hardekopf

The ant and the grasshopper

Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation
2007-06-10 | Conference paper
DOI: 10.1145/1250734.1250767
Contributors: Ben Hardekopf; Calvin Lin
Source: Self-asserted source
Ben Hardekopf
How many people are using ORCID?