• Publications
  • Influence
SoftBound: highly compatible and complete spatial memory safety for c
TLDR
This paper proposes SoftBound, a compile-time transformation for enforcing spatial safety of C. Expand
  • 413
  • 71
  • PDF
A randomized scheduler with probabilistic guarantees of finding bugs
TLDR
This paper presents a randomized scheduler for finding concurrency bugs. Expand
  • 199
  • 34
  • PDF
CETS: compiler enforced temporal safety for C
TLDR
We present CETS, a compile-time transformation for detecting all violations of temporal safety in C programs. Expand
  • 268
  • 33
  • PDF
ApproxHadoop: Bringing Approximations to MapReduce Frameworks
TLDR
We propose and evaluate a framework for creating and running approximation-enabled MapReduce programs when the user is willing to tolerate small errors. Expand
  • 148
  • 19
  • PDF
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking
TLDR
We propose WatchdogLite, an ISA extension that provides hardware acceleration for a compiler implementation of pointer-based checking without adding any hardware structures for tracking metadata. Expand
  • 74
  • 15
  • PDF
Provably correct peephole optimizations with alive
TLDR
This paper presents Alive, a domain-specific language for writing optimizations and for automatically either proving them correct or else generating counterexamples. Expand
  • 84
  • 12
  • PDF
Watchdog: Hardware for safe and secure manual memory management and full memory safety
TLDR
This paper proposes Watchdog, a hardware-based approach for ensuring safe and secure manual memory management. Expand
  • 85
  • 11
  • PDF
Formalizing the LLVM intermediate representation for verified program transformations
TLDR
This paper presents Vellvm (verified LLVM), a framework for reasoning about programs expressed in LLVM's intermediate representation and transformations that operate on it. Expand
  • 169
  • 8
  • PDF
Multicore acceleration of priority-based schedulers for concurrency bug detection
TLDR
We propose a parallel version of the priority-based probabilistic concurrency testing algorithm that outperforms the original by a factor of 5x when testing parallel programs on an eight-core machine. Expand
  • 55
  • 4
  • PDF
Everything You Want to Know About Pointer-Based Checking
TLDR
This paper highlights the challenges in enforcing memory safety for C/C++ programs and progress made as part of the SoftBoundCETS project. Expand
  • 45
  • 4
  • PDF