New

• Mining Jungloids: Helping to Navigate the API Jungle, PLDI '05
• Programming by Sketching for Bitstreaming Programs, PLDI '05
• Serializability Violation Detector for Shared-Memory Server Programs, PLDI '05
• The Prospector web demo is up and running. (Prospector is a jungloid-based programmer's search engine)

Courses

• CS164: Programming Languages and Compilers (fall 2004, fall 2003)
• CS264: Implementation of Programming Languages (spring 2005)

Research

• research interests: programming languages, compilers, computer architecture.
• [publications] [cv] [bio] [awards]
  
  
• Programming by sketching: bring automatic software synthesis to programmers' hands:
  • Prospector: a programmer's search engine/code synthesizer based on jungloid mining
    • web demo, paper
  • Implementation Sketching: sketch an outline of your implementation and the compiler will complete it for you
    • paper, download
      
      
• BAFL: Bottleneck Analysis of Fine-grain Parallelism
  • Focusing Processor Policies via Critical-Path Prediction [ISCA'01]
  • Slack: Maximizing Performance under Technological Constraints [ISCA'02]
  • Using Interaction Costs for Microarchitectural Bottleneck Analysis [MICRO'03]
  • Software release: Critical-path analysis and criticality prediction for simplescalar (for now, please ask for it).
    
    
• ALPHABET: Analyzing Large Programs with Help of Assertions (Before or during Execution Time)
  • ABCD: Eliminating Array-Bounds Checks on Demand [PLDI'00]
  • Rapid profiling via stratified sampling [ISCA'01]
  • An Efficient Profile-Analysis Framework for Data Layout Optimizations [POPL'02]
  • A "Flight Data Recorder" for Enabling Full-system Multiprocessor Deterministic Replay [ISCA’03]
    
    
• Specification Mining: Learning Specifications of Software Correctness
  • Mining Specifications [POPL'02]
  • Debugging Temporal Specifications with Concept Analysis  [PLDI'03]
  • this project has evolved into the jungloid mining project
    
    
• Pathfinder: path-sensitive value-flow optimizations (matured)
  • annotated bibliography

Current students

• Brian Fields
• David Mandelin
• AJ Shankar
• Armando Solar-Lezama
• Manu Sridharan
• Renju Thomas (postdoc)
• Min Xu (at Wisconsin)
• Lin Xu (undergraduate)

Past students

• Glenn Ammons, PhD, University of Wisconsin, 2002, now at IBM Watson
• Denis Gopan
• Shai Rubin
• Subbu Sastry, PhD, University of Wisconsin, 2003
• Lexin Shan, BS, 2005, now at Microsoft

Misc

• Berkeley PS Seminar
• 2005 OSQ Retreat: Schedule
• Wild and Crazy Ideas at ASPLOS 2002.
• OM 2001: ACM SIGPLAN Workshop on Optimizations of Middleware and Distributed Systems.