2025
Automatic Verification of Floating-Point Accumulation Networks.
CoRR, May, 2025
SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas.
CoRR, May, 2025
Improving Assembly Code Performance with Large Language Models via Reinforcement Learning.
CoRR, May, 2025
VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation.
CoRR, April, 2025
Task-Based Tensor Computations on Modern GPUs.
CoRR, April, 2025
CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis.
CoRR, March, 2025
Reclaiming the Future: American Information Technology Leadership in an Era of Global Competition.
CoRR, March, 2025
EquiBench: Benchmarking Code Reasoning Capabilities of Large Language Models via Equivalence Checking.
,
,
,
,
,
,
,
,
,
,
,
CoRR, February, 2025
Composing Distributed Computations Through Task and Kernel Fusion.
Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025
Automatic Tracing in Task-Based Runtime Systems.
Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025
2024
Recursive Program Synthesis using Paramorphisms.
Proc. ACM Program. Lang., 2024
Improving Parallel Program Performance Through DSL-Driven Code Generation with LLM Optimizers.
CoRR, 2024
HiCCL: A Hierarchical Collective Communication Library.
CoRR, 2024
Speaking Pygion: Experiences Writing an Exascale Single Particle Imaging Code.
Proceedings of the Asynchronous Many-Task Systems and Applications, 2024
CommBench: Micro-Benchmarking Hierarchical Networks with Multi-GPU, Multi-NIC Nodes.
Proceedings of the 38th ACM International Conference on Supercomputing, 2024
Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage.
Proceedings of the 40th IEEE International Conference on Data Engineering, 2024
A Model for Query Execution Over Heterogeneous Instances.
Proceedings of the 14th Conference on Innovative Data Systems Research, 2024
2023
Training with Mixed-Precision Floating-Point Assignments.
Trans. Mach. Learn. Res., 2023
Legate Sparse: Distributed Sparse Computing in Python.
Proceedings of the International Conference for High Performance Computing, 2023
Automated Mapping of Task-Based Programs onto Distributed and Heterogeneous Machines.
Proceedings of the International Conference for High Performance Computing, 2023
Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence.
Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 2023
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters.
Proceedings of the International Conference on Machine Learning, 2023
Putting People in Their Place: Affordance-Aware Human Insertion into Scenes.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023
Prolego: Time-Series Analysis for Predicting Failures in Complex Systems.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023
2022
Induction duality: primal-dual search for invariants.
Proc. ACM Program. Lang., 2022
Optimizing Mixture of Experts using Dynamic Recompilations.
CoRR, 2022
Quartz: Superoptimization of Quantum Circuits (Extended Version).
,
,
,
,
,
,
,
,
,
,
CoRR, 2022
Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
SpDISTAL: Compiling Distributed Sparse Tensor Computations.
Proceedings of the SC22: International Conference for High Performance Computing, 2022
DISTAL: the distributed tensor algebra compiler.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
Quartz: superoptimization of Quantum circuits.
,
,
,
,
,
,
,
,
,
,
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
Task Fusion in Distributed Runtimes.
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.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022
Programmatic Concept Learning for Human Motion Description and Synthesis.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022
Performance Variability and Causality in Complex Systems.
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.
IEEE Internet Comput., 2021
Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities.
CoRR, 2021
Index launches: scalable, flexible representation of parallel task groups.
Proceedings of the International Conference for High Performance Computing, 2021
Scaling implicit parallelism via dynamic control replication.
Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021
Adaptive restarts for stochastic synthesis.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Hierarchical Motion Understanding via Motion Programs.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021
2020
Task bench: a parameterized benchmark for evaluating parallel runtime performance.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the International Conference for High Performance Computing, 2020
First-order quantified separators.
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.
Proceedings of the Third Conference on Machine Learning and Systems, 2020
Redundancy-Free Computation for Graph Neural Networks.
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.
CoRR, 2019
TASO: optimizing deep learning computation with automatic generation of graph substitutions.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019
Pygion: Flexible, Scalable Task-Based Parallelism with Python.
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.
Proceedings of the International Conference for High Performance Computing, 2019
Semantic program alignment for equivalence checking.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
SPoC: Search-based Pseudocode to Code.
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.
Proceedings of the Second Conference on Machine Learning and Systems, SysML 2019, 2019
Optimizing DNN Computation with Relaxed Graph Substitutions.
Proceedings of the Second Conference on Machine Learning and Systems, SysML 2019, 2019
Eventually Sound Points-To Analysis with Specifications.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
2018
On automatically proving the correctness of math.h implementations.
Proc. ACM Program. Lang., 2018
Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems.
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.
Proceedings of the International Conference for High Performance Computing, 2018
Active learning of points-to specifications.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Isometry: A Path-Based Distributed Data Transfer System.
Proceedings of the 32nd International Conference on Supercomputing, 2018
Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks.
Proceedings of the 35th International Conference on Machine Learning, 2018
2017
A Distributed Multi-GPU System for Fast Graph Processing.
Proc. VLDB Endow., 2017
Seam: provably safe local edits on graphs.
Proc. ACM Program. Lang., 2017
Eventually Sound Points-To Analysis with Missing Code.
CoRR, 2017
Control replication: compiling implicit parallelism to efficient SPMD with logical regions.
Proceedings of the International Conference for High Performance Computing, 2017
In situ visualization with task-based parallelism.
Proceedings of the In Situ Infrastructures on Enabling Extreme-Scale Analysis and Visualization, 2017
Synthesizing program input grammars.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Integrating External Resources with a Task-Based Programming Model.
Proceedings of the 24th IEEE International Conference on High Performance Computing, 2017
Sound Loop Superoptimization for Google Native Client.
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.
Formal Methods Syst. Des., 2016
Stochastic program optimization.
Commun. ACM, 2016
Minimizing GUI event traces.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Verifying bit-manipulations of floating-point.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Stratified synthesis: automatically learning the x86-64 instruction set.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016
Towards Asynchronous Many-Task in Situ Data Analysis Using Legion.
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.
Proceedings of the 10th Parallel Data Storage Workshop, 2015
Regent: a high-productivity programming language for HPC with logical regions.
Proceedings of the International Conference for High Performance Computing, 2015
Specification Inference Using Context-Free Language Reachability.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Composing concurrency control.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Verification of producer-consumer synchronization in GPU programs.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
An interactive approach to mobile app verification.
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015
Interactively verifying absence of explicit information flows in Android apps.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
Conditionally correct superoptimization.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
Modelgen: mining explicit information flow specifications from concrete executions.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
2014
Apposcopy: automated detection of Android malware (invited talk).
Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014
Apposcopy: semantics-based detection of Android malware through static analysis.
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.
Proceedings of the International Conference for High Performance Computing, 2014
Singe: leveraging warp specialization for high performance on GPUs.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014
Bias-variance tradeoffs in program analysis.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Stochastic optimization of floating-point programs with tunable precision.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
First-class runtime generation of high-performance types using exotypes.
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.
Proceedings of the International Symposium on Memory Management, 2014
Verifying atomicity via data independence.
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Realm: an event-based low-level runtime for distributed memory architectures.
Proceedings of the International Conference on Parallel Architectures and Compilation, 2014
2013
Crowd-scale interactive formal reasoning and analytics.
Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013
Verification as Learning Geometric Concepts.
Proceedings of the Static Analysis - 20th International Symposium, 2013
Terra: a multi-stage language for high-performance computing.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Language support for dynamic, hierarchical data partitioning.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
Data-driven equivalence checking.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
A Data Driven Approach for Algebraic Loop Invariants.
Proceedings of the Programming Languages and Systems, 2013
Stochastic superoptimization.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013
2012
An introduction to data representation synthesis.
Commun. ACM, 2012
Legion: expressing locality and independence with logical regions.
Proceedings of the SC Conference on High Performance Computing Networking, 2012
Concurrent data representation synthesis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
Automated error diagnosis using abductive inference.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
Understanding the behavior of database operations under program control.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012
Reasoning about Lock Placements.
Proceedings of the Programming Languages and Systems, 2012
Interpolants as Classifiers.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Minimum Satisfying Assignments for SMT.
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.
Formal Methods Syst. Des., 2011
Inferring data polymorphism in systems code.
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.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Conference on High Performance Computing Networking, 2011
Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia.
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011
Precise reasoning for programs using containers.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Data representation synthesis.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Precise and compact modular procedure summaries for heap manipulating programs.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Testing atomicity of composed concurrent operations.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Automatic fine-grain locking using shape properties.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Online detection of multi-component interactions in production systems.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011
Simplifying Loop Invariant Generation Using Splitter Predicates.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Reasoning about the unknown in static analysis.
Commun. ACM, 2010
Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field.
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.
Proceedings of the Static Analysis - 17th International Symposium, 2010
Community Epidemic Detection Using Time-Correlated Anomalies.
Proceedings of the Recent Advances in Intrusion Detection, 13th International Symposium, 2010
Symbolic heap abstraction with demand-driven axiomatization of memory invariants.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
A query language for understanding component interactions in production systems.
Proceedings of the 24th International Conference on Supercomputing, 2010
Fluid Updates: Beyond Strong vs. Weak Updates.
Proceedings of the Programming Languages and Systems, 2010
Using correlated surprise to infer shared influence.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010
2008
A capability calculus for concurrency and determinism.
ACM Trans. Program. Lang. Syst., 2008
ACM Trans. Program. Lang. Syst., 2008
Verifying the Safety of User Pointer Dereferences.
Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008
A portable runtime interface for multi-level memory hierarchies.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008
Sound, complete and scalable path-sensitive analysis.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008
Binary Translation Using Peephole Superoptimizers.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008
Alert Detection in System Logs.
Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), 2008
A tuning framework for software-managed memory hierarchies.
Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques, 2008
2007
In Memoriam: John W. Backus, 1924-2007.
login Usenix Mag., 2007
Saturn: A scalable framework for error detection using Boolean satisfiability.
ACM Trans. Program. Lang. Syst., 2007
Measuring empirical computational complexity.
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.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007
Conditional must not aliasing for static race detection.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007
Regularly annotated set constraints.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
Static error detection using semantic inconsistency inference.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
An overview of the saturn project.
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007
2006
Flow-insensitive type qualifiers.
ACM Trans. Program. Lang. Syst., 2006
Static Detection of Security Vulnerabilities in Scripting Languages.
Proceedings of the 15th USENIX Security Symposium, Vancouver, BC, Canada, July 31, 2006
How is aliasing used in systems software?
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006
Sequoia: programming the memory hierarchy.
,
,
,
,
,
,
,
,
,
,
Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006
Effective static race detection for Java.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006
Scalable program analysis using Boolean satisfiability.
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.
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006
Statistical debugging: simultaneous identification of multiple bugs.
Proceedings of the Machine Learning, 2006
Automatic generation of peephole superoptimizers.
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006
2005
Context- and path-sensitive memory leak detection.
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.
Proceedings of the Static Analysis, 12th International Symposium, 2005
Banshee: A Scalable Constraint-Based Analysis Toolkit.
Proceedings of the Static Analysis, 12th International Symposium, 2005
Scalable error detection using boolean satisfiability.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005
Scalable statistical bug isolation.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005
Relational queries over program traces.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005
Saturn: A SAT-Based Tool for Bug Detection.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
The set constraint/CFL reachability connection in practice.
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004
2003
Winnowing: Local Algorithms for Document Fingerprinting.
Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003
Type Systems for Distributed Data Sharing.
Proceedings of the Static Analysis, 10th International Symposium, 2003
Bug isolation via remote program sampling.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003
Checking and inferring local non-aliasing.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003
Statistical Debugging of Sampled Programs.
Proceedings of the Advances in Neural Information Processing Systems 16 [Neural Information Processing Systems, 2003
2002
The first-order theory of subtyping constraints.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002
Flow-Sensitive Type Qualifiers.
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.
J. Vis. Lang. Comput., 2001
Language Support for Regions.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001
Entailment with Conditional Equality Constraints.
Proceedings of the Programming Languages and Systems, 2001
2000
Detecting races in Relay Ladder Logic programs.
Int. J. Softw. Tools Technol. Transf., 2000
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C.
Proceedings of the Static Analysis, 7th International Symposium, 2000
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs.
Proceedings of the POPL 2000, 2000
Type Systems for Distributed Data Structures.
Proceedings of the POPL 2000, 2000
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.
Proceedings of the Network and Distributed System Security Symposium, 2000
1999
Introduction to Set Constraint-Based Program Analysis.
Sci. Comput. Program., 1999
Optimal Representations of Polymorphic Types with Subtyping.
High. Order Symb. Comput., 1999
A Theory of Type Qualifiers.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999
1998
Titanium: A High-performance Java Dialect.
,
,
,
,
,
,
,
,
,
,
Concurr. Pract. Exp., 1998
VIQING: Visual Interactive Querying.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998
Attack-Resistant Trust Metrics for Public Key Certification.
Proceedings of the 7th USENIX Security Symposium, 1998
A Toolkit for Constructing Type- and Constraint-Based Program Analyses.
Proceedings of the Types in Compilation, Second International Workshop, 1998
Proceedings of the SIGMOD 1998, 1998
Proceedings of the POPL '98, 1998
Memory Management with Explicit Regions.
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998
Partial Online Cycle Elimination in Inclusion Constraint Graphs.
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).
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
Program Analysis Using Mixed Term and Set Constraints.
Proceedings of the Static Analysis, 4th International Symposium, 1997
1996
Cool: A Portable Project for Teaching Compiler Construction.
ACM SIGPLAN Notices, 1996
Constraint-Based Program Analysis (Abstract).
Proceedings of the Static Analysis, Third International Symposium, 1996
Tioga-2: A Direct Manipulation Database Visualization Environment.
Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996
1995
Decidability of Systems of Set Constraints with Negative Constraints
Inf. Comput., October, 1995
Resource-Constrained Software Pipelining.
IEEE Trans. Parallel Distributed Syst., 1995
Safe: A Semantic Technique for Transforming Programs in the Presence of Errors.
ACM Trans. Program. Lang. Syst., 1995
Static Analysis Techniques for Predicting the Behavior of Active Database Rules.
ACM Trans. Database Syst., 1995
Navigation and Coordination Primitives for Multidimensional Visual Browsers.
Proceedings of the Visual Database Systems 3, 1995
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages.
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995
Dynamic Typing and Subtype Inference.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995
The Tioga-2 Database Visualization Environment.
Proceedings of the Database Issues for Data Visualization, 1995
1994
Zooming and Tunneling in Tioga: Supporting Navigation in Multimedia Space.
Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994
Directional Type Checking of Logic Programs
Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994
Set Constraints: Results, Applications, and Future Directions.
Proceedings of the Principles and Practice of Constraint Programming, 1994
Soft Typing with Conditional Types.
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.
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994
1993
Type Inclusion Constraints and Type Inference.
Proceedings of the conference on Functional programming languages and computer architecture, 1993
The Complexity of Set Constraints.
Proceedings of the Computer Science Logic, 7th Workshop, 1993
1992
Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism.
Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, 1992
Solving Systems of Set Constraints (Extended Abstract)
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992
1991
Static Type Inference in a Dynamically Typed Language.
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991
Implementing Regular Tree Expressions.
Proceedings of the Functional Programming Languages and Computer Architecture, 1991
1990
A Theory of Compaction-Based Parallelization.
Theor. Comput. Sci., 1990
Program Transformation in the Presence of Errors.
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990
1988
Compaction-Based Parallelization.
PhD thesis, 1988
A Development Environment for Horizontal Microcode.
IEEE Trans. Software Eng., 1988
Fine-grain compilation for pipelined machines.
J. Supercomput., 1988
Optimal Loop Parallelization.
Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988
Perfect Pipelining: A New Loop Parallelization Technique.
Proceedings of the ESOP '88, 1988
1986
A development environment for horizontal microcode programs.
Proceedings of the 19th annual workshop on Microprogramming, 1986