Alex Aiken

Carlos Efrain Quintero Narvaez

Proceedings of the IEEE/ACM Parallel Applications Workshop: Alternatives To MPI+X, 2022

Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization.

[BibT_eX]

[DOI]

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Programmatic Concept Learning for Human Motion Description and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

Performance Variability and Causality in Complex Systems.

[BibT_eX]

[DOI]

Anwesha Das

Daniel Ratner

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021

FLEET - Fast Lanes for Expedited Execution at 10 Terabits: Program Overview.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2021

Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities.

[BibT_eX]

[DOI]

CoRR, 2021

Index launches: scalable, flexible representation of parallel task groups.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2021

Scaling implicit parallelism via dynamic control replication.

[BibT_eX]

[DOI]

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

Adaptive restarts for stochastic synthesis.

[BibT_eX]

[DOI]

Jason R. Koenig

Oded Padon

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Hierarchical Motion Understanding via Motion Programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

2020

Task bench: a parameterized benchmark for evaluating parallel runtime performance.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2020

First-order quantified separators.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Improving the Accuracy, Scalability, and Performance of Graph Neural Networks with Roc.

[BibT_eX]

[DOI]

Proceedings of the Third Conference on Machine Learning and Systems, 2020

Redundancy-Free Computation for Graph Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the KDD '20: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2020

2019

Redundancy-Free Computation Graphs for Graph Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2019

TASO: optimizing deep learning computation with automatic generation of graph substitutions.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Pygion: Flexible, Scalable Task-Based Parallelism with Python.

[BibT_eX]

[DOI]

Elliott Slaughter

Proceedings of the 2019 IEEE/ACM Parallel Applications Workshop, Alternatives To MPI, 2019

A constraint-based approach to automatic data partitioning for distributed memory execution.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2019

Semantic program alignment for equivalence checking.

[BibT_eX]

[DOI]

Oded Padon

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

SPoC: Search-based Pseudocode to Code.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Beyond Data and Model Parallelism for Deep Neural Networks.

[BibT_eX]

[DOI]

Zhihao Jia

Matei Zaharia

Proceedings of the Second Conference on Machine Learning and Systems, SysML 2019, 2019

Optimizing DNN Computation with Relaxed Graph Substitutions.

[BibT_eX]

[DOI]

Proceedings of the Second Conference on Machine Learning and Systems, SysML 2019, 2019

Eventually Sound Points-To Analysis with Specifications.

[BibT_eX]

[DOI]

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

On automatically proving the correctness of math.h implementations.

[BibT_eX]

[DOI]

Wonyeol Lee

Proc. ACM Program. Lang., 2018

Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

Dynamic tracing: memoization of task graphs for dynamic task-based runtimes.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2018

Active learning of points-to specifications.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Isometry: A Path-Based Distributed Data Transfer System.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Supercomputing, 2018

Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Machine Learning, 2018

2017

A Distributed Multi-GPU System for Fast Graph Processing.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2017

Seam: provably safe local edits on graphs.

[BibT_eX]

[DOI]

Manolis Papadakis

Gilbert Louis Bernstein

Pat Hanrahan

Proc. ACM Program. Lang., 2017

Eventually Sound Points-To Analysis with Missing Code.

[BibT_eX]

[DOI]

CoRR, 2017

Control replication: compiling implicit parallelism to efficient SPMD with logical regions.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2017

In situ visualization with task-based parallelism.

[BibT_eX]

[DOI]

Proceedings of the In Situ Infrastructures on Enabling Extreme-Scale Analysis and Visualization, 2017

Synthesizing program input grammars.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Integrating External Resources with a Task-Based Programming Model.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on High Performance Computing, 2017

Sound Loop Superoptimization for Google Native Client.

[BibT_eX]

[DOI]

J. F. Bastien

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

From invariant checking to invariant inference using randomized search.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2016

Stochastic program optimization.

[BibT_eX]

[DOI]

Commun. ACM, 2016

Minimizing GUI event traces.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Verifying bit-manipulations of floating-point.

[BibT_eX]

[DOI]

Wonyeol Lee

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Stratified synthesis: automatically learning the x86-64 instruction set.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Dependent partitioning.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Towards Asynchronous Many-Task in Situ Data Analysis Using Legion.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

2015

Automatic and transparent I/O optimization with storage integrated application runtime support.

[BibT_eX]

[DOI]

Proceedings of the 10th Parallel Data Storage Workshop, 2015

Regent: a high-productivity programming language for HPC with logical regions.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2015

Specification Inference Using Context-Free Language Reachability.

[BibT_eX]

[DOI]

Osbert Bastani

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Composing concurrency control.

[BibT_eX]

[DOI]

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Verification of producer-consumer synchronization in GPU programs.

[BibT_eX]

[DOI]

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

An interactive approach to mobile app verification.

[BibT_eX]

[DOI]

Osbert Bastani

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Interactively verifying absence of explicit information flows in Android apps.

[BibT_eX]

[DOI]

Osbert Bastani

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Conditionally correct superoptimization.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Modelgen: mining explicit information flow specifications from concrete executions.

[BibT_eX]

[DOI]

Lazaro Clapp

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

Apposcopy: automated detection of Android malware (invited talk).

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014

Apposcopy: semantics-based detection of Android malware through static analysis.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Structure Slicing: Extending Logical Regions with Fields.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2014

Singe: leveraging warp specialization for high performance on GPUs.

[BibT_eX]

[DOI]

Sean Treichler

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Bias-variance tradeoffs in program analysis.

[BibT_eX]

[DOI]

Aditya V. Nori

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Stochastic optimization of floating-point programs with tunable precision.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

First-class runtime generation of high-performance types using exotypes.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

M<sup>3</sup>: high-performance memory management from off-the-shelf components.

[BibT_eX]

[DOI]

David Terei

Jan Vitek

Proceedings of the International Symposium on Memory Management, 2014

Verifying atomicity via data independence.

[BibT_eX]

[DOI]

Mooly Sagiv

Martin T. Vechev

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Realm: an event-based low-level runtime for distributed memory architectures.

[BibT_eX]

[DOI]

Sean Treichler

Proceedings of the International Conference on Parallel Architectures and Compilation, 2014

2013

Crowd-scale interactive formal reasoning and analytics.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

Verification as Learning Geometric Concepts.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 20th International Symposium, 2013

Terra: a multi-stage language for high-performance computing.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Language support for dynamic, hierarchical data partitioning.

[BibT_eX]

[DOI]

Sean Treichler

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Data-driven equivalence checking.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

A Data Driven Approach for Algebraic Loop Invariants.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2013

Stochastic superoptimization.

[BibT_eX]

[DOI]

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

An introduction to data representation synthesis.

[BibT_eX]

[DOI]

Commun. ACM, 2012

Legion: expressing locality and independence with logical regions.

[BibT_eX]

[DOI]

Proceedings of the SC Conference on High Performance Computing Networking, 2012

Concurrent data representation synthesis.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Automated error diagnosis using abductive inference.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Understanding the behavior of database operations under program control.

[BibT_eX]

[DOI]

Juan M. Tamayo

Mooly Sagiv

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Reasoning about Lock Placements.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2012

Interpolants as Classifiers.

[BibT_eX]

[DOI]

Aditya V. Nori

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Minimum Satisfying Assignments for SMT.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Cuts from proofs: a complete and practical technique for solving linear inequalities over integers.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2011

Inferring data polymorphism in systems code.

[BibT_eX]

[DOI]

Brian Hackett

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Liszt: a domain specific language for building portable mesh-based PDE solvers.

[BibT_eX]

[DOI]

Proceedings of the Conference on High Performance Computing Networking, 2011

Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Precise reasoning for programs using containers.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Data representation synthesis.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Precise and compact modular procedure summaries for heap manipulating programs.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Testing atomicity of composed concurrent operations.

[BibT_eX]

[DOI]

Ohad Shacham

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Automatic fine-grain locking using shape properties.

[BibT_eX]

[DOI]

Guy Golan-Gueta

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Online detection of multi-component interactions in production systems.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Simplifying Loop Invariant Generation Using Splitter Predicates.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Reasoning about the unknown in static analysis.

[BibT_eX]

[DOI]

Commun. ACM, 2010

Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field.

[BibT_eX]

[DOI]

Mehran Sahami

Julie Zelenski

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 17th International Symposium, 2010

Community Epidemic Detection Using Time-Correlated Anomalies.

[BibT_eX]

[DOI]

Ashutosh V. Kulkarni

Proceedings of the Recent Advances in Intrusion Detection, 13th International Symposium, 2010

Symbolic heap abstraction with demand-driven axiomatization of memory invariants.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

A query language for understanding component interactions in production systems.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Supercomputing, 2010

Fluid Updates: Beyond Strong vs. Weak Updates.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2010

Using correlated surprise to infer shared influence.

[BibT_eX]

[DOI]

Ashutosh V. Kulkarni

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Data Structure Fusion.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2008

A capability calculus for concurrency and determinism.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

Witnessing side effects.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

Verifying the Safety of User Pointer Dereferences.

[BibT_eX]

[DOI]

Suhabe Bugrara

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

A portable runtime interface for multi-level memory hierarchies.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Sound, complete and scalable path-sensitive analysis.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Binary Translation Using Peephole Superoptimizers.

[BibT_eX]

[DOI]

Sorav Bansal

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Alert Detection in System Logs.

[BibT_eX]

[DOI]

Jon Stearley

Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), 2008

A tuning framework for software-managed memory hierarchies.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques, 2008

2007

In Memoriam: John W. Backus, 1924-2007.

[BibT_eX]

[DOI]

Saturn: A scalable framework for error detection using Boolean satisfiability.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2007

Measuring empirical computational complexity.

[BibT_eX]

[DOI]

Simon Goldsmith

Daniel Shawcross Wilkerson

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Compilation for explicitly managed memory hierarchies.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Conditional must not aliasing for static race detection.

[BibT_eX]

[DOI]

Mayur Naik

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Regularly annotated set constraints.

[BibT_eX]

[DOI]

John Kodumal

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Static error detection using semantic inconsistency inference.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

An overview of the saturn project.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

2006

Flow-insensitive type qualifiers.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2006

Static Detection of Security Vulnerabilities in Scripting Languages.

[BibT_eX]

[DOI]

Proceedings of the 15th USENIX Security Symposium, Vancouver, BC, Canada, July 31, 2006

How is aliasing used in systems software?

[BibT_eX]

[DOI]

Brian Hackett

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Sequoia: programming the memory hierarchy.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006

Effective static race detection for Java.

[BibT_eX]

[DOI]

Mayur Naik

John Whaley

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Scalable program analysis using Boolean satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

On Typability for Rank-2 Intersection Types with Polymorphic Recursion.

[BibT_eX]

[DOI]

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

Statistical debugging: simultaneous identification of multiple bugs.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning, 2006

Automatic generation of peephole superoptimizers.

[BibT_eX]

[DOI]

Sorav Bansal

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005

Context- and path-sensitive memory leak detection.

[BibT_eX]

[DOI]

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Secure Information Flow as a Safety Problem.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 12th International Symposium, 2005

Banshee: A Scalable Constraint-Based Analysis Toolkit.

[BibT_eX]

[DOI]

John Kodumal

Proceedings of the Static Analysis, 12th International Symposium, 2005

Scalable error detection using boolean satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Scalable statistical bug isolation.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Relational queries over program traces.

[BibT_eX]

[DOI]

Simon Goldsmith

Robert O'Callahan

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Saturn: A SAT-Based Tool for Bug Detection.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

The set constraint/CFL reachability connection in practice.

[BibT_eX]

[DOI]

John Kodumal

Daniel Shawcross Wilkerson

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2003

Winnowing: Local Algorithms for Document Fingerprinting.

[BibT_eX]

[DOI]

Saul Schleimer

Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

Type Systems for Distributed Data Sharing.

[BibT_eX]

[DOI]

Ben Liblit

Katherine A. Yelick

Proceedings of the Static Analysis, 10th International Symposium, 2003

Bug isolation via remote program sampling.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Checking and inferring local non-aliasing.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Statistical Debugging of Sampled Programs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 16 [Neural Information Processing Systems, 2003

2002

The first-order theory of subtyping constraints.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Flow-Sensitive Type Qualifiers.

[BibT_eX]

[DOI]

Jeffrey S. Foster

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2001

DataSplash: A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2001

Language Support for Regions.

[BibT_eX]

[DOI]

David Gay

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Entailment with Conditional Equality Constraints.

[BibT_eX]

[DOI]

Zhendong Su

Proceedings of the Programming Languages and Systems, 2001

2000

Detecting races in Relay Ladder Logic programs.

[BibT_eX]

[DOI]

Zhendong Su

Int. J. Softw. Tools Technol. Transf., 2000

Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C.

[BibT_eX]

[DOI]

Jeffrey S. Foster

Proceedings of the Static Analysis, 7th International Symposium, 2000

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs.

[BibT_eX]

[DOI]

Zhendong Su

Proceedings of the POPL 2000, 2000

Type Systems for Distributed Data Structures.

[BibT_eX]

[DOI]

Ben Liblit

Proceedings of the POPL 2000, 2000

A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2000

1999

Introduction to Set Constraint-Based Program Analysis.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1999

Optimal Representations of Polymorphic Types with Subtyping.

[BibT_eX]

[DOI]

Jens Palsberg

High. Order Symb. Comput., 1999

A Theory of Type Qualifiers.

[BibT_eX]

[DOI]

Jeffrey S. Foster

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

1998

Titanium: A High-performance Java Dialect.

[BibT_eX]

[DOI]

Concurr. Pract. Exp., 1998

VIQING: Visual Interactive Querying.

[BibT_eX]

[DOI]

Chris Olston

Michael Stonebraker

Joseph M. Hellerstein

Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

Attack-Resistant Trust Metrics for Public Key Certification.

[BibT_eX]

[DOI]

Raph Levien

Proceedings of the 7th USENIX Security Symposium, 1998

A Toolkit for Constructing Type- and Constraint-Based Program Analyses.

[BibT_eX]

[DOI]

Proceedings of the Types in Compilation, Second International Workshop, 1998

DataSplash.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD 1998, 1998

Barrier Inference.

[BibT_eX]

[DOI]

David Gay

Proceedings of the POPL '98, 1998

Memory Management with Explicit Regions.

[BibT_eX]

[DOI]

David Gay

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Partial Online Cycle Elimination in Inclusion Constraint Graphs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1997

Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract).

[BibT_eX]

[DOI]

Jens Palsberg

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Program Analysis Using Mixed Term and Set Constraints.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 4th International Symposium, 1997

1996

Cool: A Portable Project for Teaching Compiler Construction.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1996

Constraint-Based Program Analysis (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Symposium, 1996

Tioga-2: A Direct Manipulation Database Visualization Environment.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996

1995

Decidability of Systems of Set Constraints with Negative Constraints

[BibT_eX]

[DOI]

Dexter Kozen

Inf. Comput., October, 1995

Resource-Constrained Software Pipelining.

[BibT_eX]

[DOI]

Steven Novack

IEEE Trans. Parallel Distributed Syst., 1995

Safe: A Semantic Technique for Transforming Programs in the Presence of Errors.

[BibT_eX]

[DOI]

John H. Williams

ACM Trans. Program. Lang. Syst., 1995

Static Analysis Techniques for Predicting the Behavior of Active Database Rules.

[BibT_eX]

[DOI]

Joseph M. Hellerstein

Jennifer Widom

ACM Trans. Database Syst., 1995

Navigation and Coordination Primitives for Multidimensional Visual Browsers.

[BibT_eX]

Proceedings of the Visual Database Systems 3, 1995

Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages.

[BibT_eX]

[DOI]

Raph Levien

Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

Dynamic Typing and Subtype Inference.

[BibT_eX]

[DOI]

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

The Tioga-2 Database Visualization Environment.

[BibT_eX]

[DOI]

Proceedings of the Database Issues for Data Visualization, 1995

1994

Zooming and Tunneling in Tioga: Supporting Navigation in Multimedia Space.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

Directional Type Checking of Logic Programs

[BibT_eX]

[DOI]

T. K. Lakshman

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Set Constraints: Results, Applications, and Future Directions.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1994

Soft Typing with Conditional Types.

[BibT_eX]

[DOI]

T. K. Lakshman

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation.

[BibT_eX]

[DOI]

Lorenz Huelsbergen

James R. Larus

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1993

Type Inclusion Constraints and Type Inference.

[BibT_eX]

[DOI]

Proceedings of the conference on Functional programming languages and computer architecture, 1993

The Complexity of Set Constraints.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 7th Workshop, 1993

1992

Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism.

[BibT_eX]

[DOI]

Jennifer Widom

Joseph M. Hellerstein

Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, 1992

Solving Systems of Set Constraints (Extended Abstract)

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1991

Static Type Inference in a Dynamically Typed Language.

[BibT_eX]

[DOI]

Brian R. Murphy

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Implementing Regular Tree Expressions.

[BibT_eX]

[DOI]

Brian R. Murphy

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

A Theory of Compaction-Based Parallelization.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

Program Transformation in the Presence of Errors.

[BibT_eX]

[DOI]

John H. Williams

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

1988

Compaction-Based Parallelization.

[BibT_eX]

PhD thesis, 1988

A Development Environment for Horizontal Microcode.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1988

Fine-grain compilation for pipelined machines.

[BibT_eX]

[DOI]

Keshav Pingali

J. Supercomput., 1988

Optimal Loop Parallelization.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

Perfect Pipelining: A New Loop Parallelization Technique.

[BibT_eX]

[DOI]

Proceedings of the ESOP '88, 1988

1986

A development environment for horizontal microcode programs.

[BibT_eX]

[DOI]