- Entailment with Conditional Equality Constraints
- Sound, Complete and Scalable Path-Sensitive Analysis Isil Dillig Thomas Dillig Alex Aiken
- Public Deployment of Cooperative Bug Isolation Ben Liblit
- Programming the Memory Hierarchy Revisited: Supporting Irregular Parallelism in Sequoia
- Measuring Empirical Computational Complexity Simon F. Goldsmith
- The Set Constraint/CFL Reachability Connection in John Kodumal
- Decidability of Systems of Set Constraints with Negative Constraints \Lambda
- Building a Better Backtrace: Techniques for Postmortem Program Analysis
- Introduction to Set Constraint-Based Program Analysis Alexander Aiken
- Program Analysis Using Mixed Term and Set Constraints Manuel Fahndrich ? and Alexander Aiken ?
- Fluid Updates: Beyond Strong vs. Weak Isil Dillig Thomas Dillig Alex Aiken
- Statistical Debugging: Simultaneous Identification of Multiple Bugs Alice X. Zheng alicez@cs.cmu.edu
- Static Type Inference in a Dynamically Typed Language Alexander Aiken
- Dynamic Typing and Subtype Inference Alexander Aiken Manuel Fahndrich
- Reasoning About the Unknown in Static Analysis Isil Dillig Thomas Dillig Alex Aiken
- A Development Environment for Horizontal Microcode Programs Alexander Aiken Alexandru Nicolau y
- Solving Systems of Set Constraints (Extended Abstract)
- , , 1--48 () fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Data Representation Synthesis Peter Hawkins
- Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C y
- Witnessing Side Effects TACHIO TERAUCHI
- Better Static Memory Management: Improving RegionBased Analysis of HigherOrder Languages
- The Complexity of Set Constraints \Lambda Alexander Aiken 1 , Dexter Kozen 2 , Moshe Vardi 1 , Ed Wimmers 1
- Type Inclusion Constraints and Type Inference Alexander Aiken
- A Toolkit for Constructing Type and ConstraintBased Program Analyses
- Making SetConstraint Program Analyses Scale Manuel Fahndrich \Lambda Alexander Aiken \Lambda
- Secure Information Flow as a Safety Problem Tachio Terauchi1
- How is Aliasing Used in Systems Software? Brian Hackett Alex Aiken
- Relational Queries Over Program Traces Simon Goldsmith
- Safe---A Semantic Technique for Transforming Programs in the Presence of Errors
- Refined Type Inference for ML \Lambda Manuel F ahndrich y and Alexander Aiken y
- The First-Order Theory of Subtyping Constraints Zhendong Su Alexander Aiken
- Soft Typing with Conditional Types Alexander Aiken \Lambda and Edward L. Wimmers
- FlowSensitive Type Qualifiers # Jeffrey S. Foster Tachio Terauchi Alex Aiken
- Using the RunTime Sizes of Data Structures to Guide ParallelThread Creation
- Verifying the Safety of User Pointer Dereferences Suhabe Bugrara
- Context-and Path-sensitive Memory Leak Detection Yichen Xie Alex Aiken
- Barrier Inference Alexander Aiken \Lambda and David Gay \Lambda
- Partial Online Cycle Elimination in Inclusion Constraint Graphs Manuel Fahndrich \Lambda Jeffrey S. Foster \Lambda Zhendong Su \Lambda Alexander Aiken \Lambda
- Language Support for Regions David Gay and Alex Aiken #
- A Capability Calculus for Concurrency and Determinism
- Perfect Pipelining: A New Loop Parallelization Technique \Lambda
- Static Analysis Techniques for Predicting the Behavior of Database Production Rules
- Program Transformation in the Presence of Errors Alexander Aiken John H. Williams Edward L. Wimmers
- Sequoia: Programming the Memory Hierarchy Kayvon Fatahalian Timothy J. Knight Mike Houston Mattan Erez
- Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs \Lambda Zhendong Su y
- Navigation and Coordination Primitives for Multidimensional Visual Browsers *
- Detecting Races in Relay Ladder Logic Programs Alexander Aiken ? , Manuel Fahndrich ? , and Zhendong Su ?
- Alert Detection in System Logs Adam J. Oliner
- Banshee: A Scalable Constraint-Based Analysis John Kodumal1
- Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley
- Flow-Insensitive Type Qualifiers JEFFREY S. FOSTER
- Simplifying Loop Invariant Generation Using Splitter Predicates
- Precise Reasoning for Programs Using Containers Isil Dillig
- Data Structure Fusion Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, and Mooly Sagiv
- Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants
- Community Epidemic Detection using Time-Correlated Anomalies
- A Query Language for Understanding Component Interactions in Production Systems
- Using Correlated Surprise to Infer Shared Influence Adam J. Oliner, Ashutosh V. Kulkarni, and Alex Aiken
- Cuts from Proofs: A Complete and Practical Technique for Solving
- Binary Translation Using Peephole Superoptimizers Sorav Bansal
- An Overview of the Saturn Project Stanford University
- Static Error Detection using Semantic Inconsistency Inference Isil Dillig Thomas Dillig Alex Aiken
- Automatic Generation of Peephole Superoptimizers Sorav Bansal and Alex Aiken
- On Typability for Rank-2 Intersection Types with Polymorphic Recursion Tachio Terauchi
- Static Detection of Security Vulnerabilities in Scripting Languages
- Witnessing Side-Effects Tachio Terauchi
- Soundness and its Role in Bug Detection Systems Yichen Xie Mayur Naik Brian Hackett Alex Aiken
- Type Systems for Distributed Data Sharing Ben Liblit, Alex Aiken, and Katherine Yelick
- Sampling User Executions for Bug Isolation Ben Liblit Alex Aiken Alice X. Zheng Michael I. Jordan
- The FL Project: The Design of a Functional Language Alexander Aiken
- Type Systems for Distributed Data Structures liblit@cs.berkeley.edu
- Set Constraints: Results, Applications and Future Directions
- Tracking down Exceptions in Standard ML Programs Manuel Fahndrich Jeffrey S. Foster Alexander Aiken Jason Cu
- Optimal Representations of Polymorphic Types with Alexander Aiken Edward L. Wimmers Jens Palsberg
- A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities David Wagner Jeffrey S. Foster Eric A. Brewer Alexander Aiken
- Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs
- Proc. of 1992 ACMSIGMOD Conference, pages 59--68 Behavior of Database Production Rules
- Conditional Must Not Aliasing for Static Race Detection Mayur Naik Alex Aiken
- Bug Isolation via Remote Program Sampling Ben Liblit
- Attackresistant trust metrics for public key certification Raph Levien
- The Tioga2 Database Visualization Environment
- Directional Type Checking of Logic Programs Alexander Aiken
- Memory Management with Explicit Regions David Gay \Lambda and Alex Aiken \Lambda
- Compilation for Explicitly Managed Memory Hierarchies Timothy J. Knight Ji Young Park Manman Ren Mike Houston
- Scalable Error Detection using Boolean Satisfiability Computer Science Department
- Scalable Statistical Bug Isolation Computer Sciences Department
- The Saturn Program Analysis System Alex Aiken Suhabe Bugrara Isil Dillig Thomas Dillig
- A Development Environment for Horizontal Microcode Alexander Aiken Alexandru Nicolau y
- Online Detection of Multi-Component Interactions in Production Systems
- Titanium: A HighPerformance Java Dialect \Lambda Kathy Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto,
- Simplifying Loop Invariant Generation Using Splitter Predicates
- Expanding the Frontiers of Computer Science: Designing a Curriculum to Reflect a Diverse Field
- ResourceConstrained Software Pipelining Alexander Aiken
- Zooming and Tunneling in Tioga: Supporting Navigation in Multidimensional Space
- Cool: A Portable Project for Teaching Compiler Construction Alexander Aiken \Lambda
- A Theory of Type Quali ers Je rey S. Foster
- Small Formulas for Large Programs: On-line Constraint Simplification in
- Tioga2: A Direct Manipulation Database Visualization Environment Alexander Aiken Jolly Chen Michael Stonebraker Allison Woodruff
- Implementing Regular Tree Expressions Alexander Aiken
- Saturn: A SAT-based Tool for Bug Detection Yichen Xie and Alex Aiken
- Checking and Inferring Local Non-Aliasing University of California, Berkeley
- A Portable Runtime Interface For Multi-Level Memory Hierarchies
- Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability
- Winnowing: Local Algorithms for Document Fingerprinting Saul Schleimer
- Testing Atomicity of Composed Concurrent Operations Ohad Shacham
- Liszt: A Domain Specific Language for Building Portable Mesh-based PDE Solvers
- Inferring Data Polymorphism in Systems Code Brian Hackett
- Automatic Fine-Grain Locking using Shape Properties Guy Golan-Gueta
