UCSD Programming Systems

Recent Publications

• Automatic Inference of Optimizer Flow Functions from Semantic Meanings (PLDI 2007)
      Erika Rice, Sorin Lerner, and Craig Chambers
• Automatically Classifying Benign and Harmful Data Races Using Replay Analysis (PLDI 2007)
      Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards and Brad Calder
• MACE: Language Support for Building Distributed Systems (PLDI 2007)
      Charles Killian, James Anderson, Ryan Braud, Ranjit Jhala, and Amin Vahdat
• Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (NSDI 2007)
      Charles Killian, James Anderson, Ranjit Jhala, and Amin Vahdat
• OPIUM: Optimal Package Intall/Uninstall Management (ICSE 2007)
      Chris Tucker, David Shuffelton, Ranjit Jhala, and Sorin Lerner
• State of the Union: Type Inference via Craig Interpolation (TACAS 2007)
      Ru-Gang Xu, Ranjit Jhala and Rupak Majumdar
• Interprocedural Analysis of Asynchronous Programs (POPL 2007)
      Ranjit Jhala and Rupak Majumdar
• Lock Allocation (POPL 2007)
      Michael Emmi, Jeff Fischer, Ranjit Jhala and Rupak Majumdar
• Verification of communicating data-driven web services (PODS 2006)
      Alin Deutsch, Liying Sui, Victor Vianu and Dayou Zhou
• A system for specification and verification of interactive, data-driven web applications (SIGMOD 2006)
      Alin Deutsch, Liying Sui, Victor Vianu and Dayou Zhou
• Experiences with Place Lab: an Open Source Toolkit for Location-Aware Computing (ICSE 2006)
      T. Sohn, W. G. Griswold, J. Scott, A. LaMarca, Y. Chawathe, I. Smith and M. Y. Chen.
• Structural Invariants (SAS 2006)
      Ru-Gang Xu, Ranjit Jhala and Rupak Majumdar
• Bit-level Types for High-Level Reasoning (FSE 2006)
      Ranjit Jhala and Rupak Majumdar
• Online Performance Auditing: Using Hot Optimizations Without Getting Burned (PLDI 2006)
      Jeremy Lau, Matthew Arnold, Michael Hind, and Brad Calder
• Profile-guided Proactive Garbage Collection for Locality Optimization (PLDI 2006)
      Wen-ke Chen, Sanjay Bhansali, Trishul Chilimbi, Xiaofeng Gao, Weihaw Chuang
• A Practical and Complete Approach to Predicate Refinement (TACAS 2006)
      Ranjit Jhala and Kenneth L. McMillan
• Permissive Interfaces (FSE 2005)
      Thomas A. Henzinger, Ranjit Jhala and Rupak Majumdar
• Joining Dataflow with Predicates (FSE 2005)
      Jeffrey Fischer, Ranjit Jhala and Rupak Majumdar
• Information Hiding Interfaces for Aspect-Oriented Design (FSE 2005)
      K. Sullivan, W. G. Griswold, Y. Song, Y. Cai, M. Shonle, N. Tewari, and H. Rajan
• AspectBrowser for Eclipse: A Case Study in Plugin Retargeting (Eclipse 2004 Workship on Ecplipse Technology)
      M. Shonle, J. Neddenriep, and W. Griswold
• Counterexample-Guided Planning (UAI 2005)
      Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar
• Interpolant-based Transition Relation Approximation (CAV 2005)
      Ranjit Jhala and Kenneth L. McMillan
• An Event-Driven Multithreaded Dynamic Optimization Framework (PACT 2005)
      Weifeng Zhang, Brad Calder, and Dean Tullsen
• The Entropia Virtual Machine for Desktop Grids (VEE 2005)
      Brad Calder, Andrew Chien, Ju Wang and Don Yang
• Path Slicing (PLDI 2005)
      Ranjit Jhala and Rupak Majumdar
• Mitosis Compiler: An Infrastructure for Speculative Threading Based on Pre-Computation Slices (PLDI 2005)
      Carlos García Quiñones, Carlos Madriles, Jesús Sánchez, Pedro Marcuello, Antonio González and Dean M. Tullsen
• Automatically Inferring Sound Dataflow Functions from Dataflow Fact Schemas (COCV 2005)
      Erika Rice, Sorin Lerner, and Craig Chambers
• Automated Soundness Proofs for Dataflow Analyses and Transformations via Local Rules (POPL 2005)
      Sorin Lerner, Todd Millstein, Erika Rice, and Craig Chambers
• A Verifier for Interactive, Data-Driven Web Applications (SIGMOD 2005)
      Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou
• Race Checking by Context Inference (PLDI 2004)
      Thomas A. Henzinger, Ranjit Jhala and Rupak Majumdar
• Generating Tests from Counterexamples (ICSE 2004)
      Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar
• MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks (NSDI 2004)
      Killian, Sooraj Bhat, Dejan Kostic, and Amin Vahda
• Abstractions from Proofs (POPL 2004)
      Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar and Kenneth L. McMillan
• Specification and Verification of Data-driven Web Services (PODS 2004)
      Alin Deutsch, Liying Sui and Victor Vianu
• Sparse Tiling for Stationary Iterative Methods
      International Journal of High Performance Computing Applications, Vol. 18, No. 1, 95-114, February, 2004
      Michelle Mills Strout, Larry Carter, Jeanne Ferrante, and Barbara Kreaseck
• On the Interference of Communication on Computation in Java
      Third International IEEE Workshop on Performance Modeling, Evaluation and Optimization of Parallel and Distributed Systems, April, 2004.
      B. Kreaseck, L. Carter, H. Casanova, J. Ferrante
• Automatically Proving the Correctness of Compiler Optimizations (PLDI 2003)
      Sorin Lerner, Todd Millstein, and Craig Chambers
• Compile-time Composition of Run-time Data and Iteration Reorderings (PLDI 2003)
      Michelle Mills Strout, Larry Carter, and Jeanne Ferrante
• Folklore Confirmed: Reducible Flow Graphs are Exponentially Larger (POPL 2003)
      L. Carter, J. Ferrante, and C. Thomborson
• Lazy Abstraction (POPL 2002)
      Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre
• Composing Dataflow Analyses and Transformations (POPL 2002)
      Sorin Lerner, David Grove and Craig Chambers