Published in ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity, OOPSLA Research Papers Track (SPLASH/OOPSLA), 1900

Aliasing Limits on Translating C to Safe Rust

Published in ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity, OOPSLA Research Papers Track (SPLASH/OOPSLA), 1900

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

Published in International Conference on Software Quality, Reliability, and Security (QRS), 1900

The Ant and the Grasshopper: Fast and Accurate Pointer Analysis for Millions of Lines of Code

Published in ACM Conference on Programming Language Design and Implementation (PLDI), 1900

Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis

Published in International Static Analysis Symposium (SAS), 1900

Semi-Sparse Flow-Sensitive Pointer Analysis

Published in Symposium on Principles of Programming Languages (POPL), 1900

Flow-Sensitive Pointer Analysis for Millions of Lines of Code

Published in Symposium on Code Generation and Optimization (CGO), 1900

Widening for Control-Flow

Published in Verification, Model Checking, and Abstract Interpretation (VMCAI), 1900

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

Published in IEEE Security and Privacy (S&P), 1900

Type Refinement for Static Analysis of JavaScript

Published in Dynamic Languages Symposium (DLS), 1900

JSAI: A Static Analysis Platform for JavaScript

Published in Symposium on Foundations of Software Engineering (FSE), 1900

Security Signature Inference for JavaScript-based Browser Addons

Published in Symposium on Code Generation and Optimization (CGO), 1900

Improved Type Specialization for Dynamic Scripting Languages

Published in Dynamic Languages Symposium (DLS), 1900

Deoptimization for Dynamic Language JITs on Typed, Stack-based Virtual Machines

Published in Conference on Virtual Execution Environments (VEE), 1900

Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines

Published in Dynamic Languages Symposium (DLS), 1900

Secure Information Flow Analysis for Hardware Design

Published in Workshop on Programming Languages and Analysis for Security (PLAS), 1900

Caisson: a Hardware Description Language for Secure Information Flow

Published in ACM Conference on Programming Language Design and Implementation (PLDI), 1900

Sapper: a Language for Provable Hardware Policy Enforcement

Published in Workshop on Programming Languages and Analysis for Security (PLAS), 1900

Sapper: A Language for Hardware-Level Security Policy Enforcement

Published in Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 1900

An Architecture Supporting Formal and Compositional Binary Analysis

Published in Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 1900

An Architecture for Analysis

Published in IEEE Micro Top Picks, 1900

Bouncer: Static Program Analysis in Hardware

Published in International Symposium of Computer Architecture (ISCA), 1900

Fixpoint Reuse for Incremental JavaScript Analysis

Published in International Workshop on the State Of the Art in Program Analysis (SOAP), 1900

Structural and Nominal Cross-Language Clone Detection

Published in International Conference on Fundamental Approaches to Software Engineering (FASE), 1900

Syntax-based Improvements to Plagiarism Detectors and their Evaluations

Published in Conference on Innovation and Technology in Computer Science Education (ITiCSE), 1900

MuscalietJS: Rethinking Layered Dynamic Web Runtimes

Published in Conference on Virtual Execution Environments (VEE), 1900

Loop Rerolling for Hardware Decompilation

Published in ACM Conference on Programming Language Design and Implementation (PLDI), 1900

Crafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Security

Published in International Symposium of Computer Architecture (ISCA), 1900

String Abstractions for String Verification

Published in International SPIN Workshop on Model Checking of Software (SPIN), 1900

Ben Hardekopf

Posts by Collection

publications