• Publications
  • Influence
The Landscape of Parallel Computing Research: A View from Berkeley
TLDR
The Landscape of Parallel Computing Research: A View From Berkeley.Author(s): Asanovic, K; Bodik, R; Catanzaro, B; Gebis, J; Husbands, P; Keutzer,K; Patterson, D; Plishker, W; Shalf,J; Williams, SW | Abstract: The recent switch to parallel microprocessors is a milestone in the history of computing. Expand
  • 2,259
  • 140
  • PDF
Combinatorial sketching for finite programs
TLDR
We develop SKETCH, a language for finite programs with linguistic support for sketching. Expand
  • 621
  • 70
  • PDF
Syntax-guided synthesis
  • R. Alur, R. Bodík, +7 authors A. Udupa
  • Computer Science, Engineering
  • Formal Methods in Computer-Aided Design
  • 1 October 2013
TLDR
The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Expand
  • 465
  • 56
  • PDF
Program synthesis by sketching
TLDR
The goal of software synthesis is to generate programs automatically from high-level specifications. Expand
  • 324
  • 48
  • PDF
Mining specifications
TLDR
This paper describes specification mining, a machine learning approach to discovering formal specifications of the protocols that code must obey when interacting with an application program interface or abstract data type. Expand
  • 698
  • 42
  • PDF
A "flight data recorder" for enabling full-system multiprocessor deterministic replay
TLDR
We develop a practical low-overhead hardware recorder for cachecoherent multiprocessors, called Flight Data Recorder (FDR). Expand
  • 395
  • 39
  • PDF
ABCD: eliminating array bounds checks on demand
TLDR
ABCD is a light-weight algorithm for elimination of Array Bounds Checks on Demand. Expand
  • 259
  • 38
  • PDF
Refinement-based context-sensitive points-to analysis for Java
TLDR
We present a scalable and precise context-sensitive points-to analysis with three key properties: (1) filtering out of unrealizable paths, (2) acontext-sensitive heap abstraction, and (3) a context- sensitive call graph. Expand
  • 284
  • 37
  • PDF
Jungloid mining: helping to navigate the API jungle
TLDR
In order to help programmers write API client code more easily, we developed techniques for synthesizing jungloid code fragments automatically given a simple query that describes that desired code in terms of input and output types. Expand
  • 454
  • 35
  • PDF
A view of the parallel computing landscape
TLDR
Writing programs that scale with increasing numbers of cores should be as easy as writing programs for sequential computers. Expand
  • 603
  • 27
  • PDF
...
1
2
3
4
5
...