| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Reasoning about Lock Placements.  |
ESOP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Data representation synthesis. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv |
Precise and compact modular procedure summaries for heap manipulating programs. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zach DeVito, Niels Joubert, Francisco Palacios, Stephen Oakley, Montserrat Medina, Mike Barrientos, Erich Elsen, Frank Ham, Alex Aiken, Karthik Duraisamy, Eric Darve, Juan Alonso, Pat Hanrahan |
Liszt: a domain specific language for building portable mesh-based PDE solvers. |
SC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam J. Oliner, Alex Aiken |
Online detection of multi-component interactions in production systems. |
DSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Precise reasoning for programs using containers. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav |
Testing atomicity of composed concurrent operations. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav |
Automatic fine-grain locking using shape properties. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Alex Aiken |
Simplifying Loop Invariant Generation Using Splitter Predicates. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Hackett, Alex Aiken |
Inferring data polymorphism in systems code. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Bauer, John Clark, Eric Schkufza, Alex Aiken |
Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia. |
PPOPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Reasoning about the unknown in static analysis. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken |
Using correlated surprise to infer shared influence. |
DSN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam J. Oliner, Alex Aiken |
A query language for understanding component interactions in production systems. |
ICS |
2010 |
DBLP DOI BibTeX RDF |
query language, correlation, logs, production systems, influence |
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Symbolic heap abstraction with demand-driven axiomatization of memory invariants. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Data Structure Fusion. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken |
Community Epidemic Detection Using Time-Correlated Anomalies. |
RAID |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehran Sahami, Alex Aiken, Julie Zelenski |
Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
tracks, curriculum, concentrations, multi-disciplinary |
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Fluid Updates: Beyond Strong vs. Weak Updates. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin G. Zorn, Alexander Aiken (eds.) |
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010 |
PLDI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tachio Terauchi, Alex Aiken |
Witnessing side effects. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Mutable state, side effects |
| 1 | Tachio Terauchi, Alex Aiken |
A capability calculus for concurrency and determinism. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
type systems, Determinism, capabilities |
| 1 | Suhabe Bugrara, Alex Aiken |
Verifying the Safety of User Pointer Dereferences. |
IEEE Symposium on Security and Privacy |
2008 |
DBLP DOI BibTeX RDF |
user pointers, verification, static analysis, operating system security |
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Sound, complete and scalable path-sensitive analysis. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
path- and context-sensitive analysis, strongest necessary/weakest sufficient conditons, static analysis |
| 1 | Adam J. Oliner, Alex Aiken, Jon Stearley |
Alert Detection in System Logs. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorav Bansal, Alex Aiken |
Binary Translation Using Peephole Superoptimizers. |
OSDI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Manman Ren, Ji Young Park, Mike Houston, Alex Aiken, William J. Dally |
A tuning framework for software-managed memory hierarchies. |
PACT |
2008 |
DBLP DOI BibTeX RDF |
bulk decomposition, empirical tuning, software-managed memory hierarchy |
| 1 | Mike Houston, Ji Young Park, Manman Ren, Timothy J. Knight, Kayvon Fatahalian, Alex Aiken, William J. Dally, Pat Hanrahan |
A portable runtime interface for multi-level memory hierarchies. |
PPOPP |
2008 |
DBLP DOI BibTeX RDF |
PMH, sequoia, parallelism, memory hierarchies, runtime |
| 1 | Yichen Xie, Alex Aiken |
Saturn: A scalable framework for error detection using Boolean satisfiability. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Program analysis, error detection, Boolean satisfiability |
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Static error detection using semantic inconsistency inference. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
static analysis, error detection, satisfiability, inconsistency |
| 1 | John Kodumal, Alex Aiken |
Regularly annotated set constraints. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
annotated inclusion constraints, pushdown model checking, flow analysis, set constraints, context-free language reachability |
| 1 | Mayur Naik, Alex Aiken |
Conditional must not aliasing for static race detection. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
static race detection, Java, concurrency, synchronization, multi-threading |
| 1 | Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins |
An overview of the saturn project. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
verification, program analysis, boolean satisfiability |
| 1 | Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson |
Measuring empirical computational complexity. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
empirical computational complexity, trend-prof |
| 1 | Timothy J. Knight, Ji Young Park, Manman Ren, Mike Houston, Mattan Erez, Kayvon Fatahalian, Alex Aiken, William J. Dally, Pat Hanrahan |
Compilation for explicitly managed memory hierarchies. |
PPOPP |
2007 |
DBLP DOI BibTeX RDF |
bulk operations, software-managed memory hierarchy |
| 1 | Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken |
Flow-insensitive type qualifiers. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
const, taint, security, static analysis, constraints, types, Type qualifiers |
| 1 | Tachio Terauchi, Alex Aiken |
A Capability Calculus for Concurrency and Determinism. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayur Naik, Alex Aiken, John Whaley |
Effective static race detection for Java. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
static race detection, Java, concurrency, synchronization, multi-threading |
| 1 | Kayvon Fatahalian, Daniel Reiter Horn, Timothy J. Knight, Larkhoon Leem, Mike Houston, Ji Young Park, Mattan Erez, Manman Ren, Alex Aiken, William J. Dally, Pat Hanrahan |
Memory - Sequoia: programming the memory hierarchy. |
SC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorav Bansal, Alex Aiken |
Automatic generation of peephole superoptimizers. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
code selection, peephole optimization, superoptimization |
| 1 | Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken |
Statistical debugging: simultaneous identification of multiple bugs. |
ICML |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tachio Terauchi, Alex Aiken |
On Typability for Rank-2 Intersection Types with Polymorphic Recursion. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Hackett, Alex Aiken |
How is aliasing used in systems software? |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
program analysis, satisfiability, aliasing |
| 1 | Alexander Aiken |
Scalable program analysis using Boolean satisfiability. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan |
Scalable statistical bug isolation. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
bug isolation, feature selection, invariants, random sampling, statistical debugging |
| 1 | Yichen Xie, Alexander Aiken |
Scalable error detection using boolean satisfiability. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
program analysis, error detection, boolean satisfiability |
| 1 | Tachio Terauchi, Alexander Aiken |
Witnessing side-effects. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
functional languages, side-effects |
| 1 | Simon Goldsmith, Robert O'Callahan, Alexander Aiken |
Relational queries over program traces. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
PTQL, partiqle, program trace query language, relational |
| 1 | Yichen Xie, Alexander Aiken |
Saturn: A SAT-Based Tool for Bug Detection. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Kodumal, Alexander Aiken |
Banshee: A Scalable Constraint-Based Analysis Toolkit. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tachio Terauchi, Alexander Aiken |
Secure Information Flow as a Safety Problem. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yichen Xie, Alexander Aiken |
Context- and path-sensitive memory leak detection. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
program analysis, memory management, error detection, boolean satisfiability, memory leaks |
| 1 | John Kodumal, Alexander Aiken |
The set constraint/CFL reachability connection in practice. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
flow analysis, type qualifiers, set constraints, context-free language reachability |
| 1 | Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan |
Bug isolation via remote program sampling. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
bug isolation, feature selection, logistic regression, assertions, random sampling, statistical debugging |
| 1 | Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi |
Checking and inferring local non-aliasing. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
effect inference, constraints, types, locking, alias analysis, Linux kernel, type qualifiers, restrict, confine, flow-sensitivity |
| 1 | Saul Schleimer, Daniel Shawcross Wilkerson, Alexander Aiken |
Winnowing: Local Algorithms for Document Fingerprinting. |
SIGMOD Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Liblit, Alexander Aiken, Katherine A. Yelick |
Type Systems for Distributed Data Sharing. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alexander Aiken |
Statistical Debugging of Sampled Programs. |
NIPS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken |
Flow-Sensitive Type Qualifiers. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
effect inference, constraints, types, locking, alias analysis, linux kernel, type qualifiers, restrict, flow-sensitivity |
| 1 | Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen |
The first-order theory of subtyping constraints. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Allison Woodruff, Chris Olston, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker |
DataSplash: A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data. |
J. Vis. Lang. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gay, Alexander Aiken |
Language Support for Regions. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
C |
| 1 | Zhendong Su, Alexander Aiken |
Entailment with Conditional Equality Constraints. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken, Manuel Fähndrich, Zhendong Su |
Detecting races in Relay Ladder Logic programs. |
STTT |
2000 |
DBLP DOI BibTeX RDF |
Verification, Testing, Static analysis, Constraints, Software |
| 1 | Zhendong Su, Manuel Fähndrich, Alexander Aiken |
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Liblit, Alexander Aiken |
Type Systems for Distributed Data Structures. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken |
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. |
SAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken |
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. |
NDSS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alexander Aiken |
Introduction to Set Constraint-Based Program Analysis. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken, Edward L. Wimmers, Jens Palsberg |
Optimal Representations of Polymorphic Types with Subtyping. |
Higher-Order and Symbolic Computation |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken |
A Theory of Type Qualifiers. |
PLDI |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Arvind Krishnamurthy, Alexander Aiken, Phillip Colella, David Gay, Susan L. Graham, Paul N. Hilfinger, Ben Liblit, Carleton Miyamoto, Geoff Pike, Luigi Semenzato, Katherine A. Yelick |
Titanium: A High Performance Java Dialect. |
PPSC |
1999 |
DBLP BibTeX RDF |
|
| 1 | Katherine A. Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul N. Hilfinger, Susan L. Graham, David Gay, Phillip Colella, Alexander Aiken |
Titanium: A High-performance Java Dialect. |
Concurrency - Practice and Experience |
1998 |
DBLP BibTeX RDF |
|
| 1 | Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken |
Partial Online Cycle Elimination in Inclusion Constraint Graphs. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gay, Alexander Aiken |
Memory Management with Explicit Regions. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
C |
| 1 | Chris Olston, Michael Stonebraker, Alexander Aiken, Joseph M. Hellerstein |
VIQING: Visual Interactive Querying. |
VL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Alexander Aiken, Manuel Fähndrich, Zhendong Su |
Detecting Races in Relay Ladder Logic Programs. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken, David Gay |
Barrier Inference. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Olston, Allison Woodruff, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker |
DataSplash. |
SIGMOD Conference |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su |
A Toolkit for Constructing Type- and Constraint-Based Program Analyses. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken, Edward L. Wimmers, Jens Palsberg |
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). |
TACS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Fähndrich, Alexander Aiken |
Program Analysis Using Mixed Term and Set Constraints. |
SAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken |
Cool: A Portable Project for Teaching Compiler Construction. |
SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken, Jolly Chen, Michael Stonebraker, Allison Woodruff |
Tioga-2: A Direct Manipulation Database Visualization Environment. |
ICDE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken |
Constraint-Based Program Analysis (Abstract). |
SAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom |
Static Analysis Techniques for Predicting the Behavior of Active Database Rules. |
ACM Trans. Database Syst. |
1995 |
DBLP DOI BibTeX RDF |
database rule processing, static analysis, termination, confluence, active database systems |
| 1 | Alexander Aiken, Dexter Kozen, Edward L. Wimmers |
Decidability of Systems of Set Constraints with Negative Constraints |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken, Alexandru Nicolau, Steven Novack |
Resource-Constrained Software Pipelining. |
IEEE Trans. Parallel Distrib. Syst. |
1995 |
DBLP DOI BibTeX RDF |
Software pipelining, instruction scheduling, program optimization, global scheduling, fine-grain parallelism |
| 1 | Alexander Aiken, John H. Williams, Edward L. Wimmers |
Safe: A Semantic Technique for Transforming Programs in the Presence of Errors. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
program transformation, exceptions, program optimization, equational reasoning |
| 1 | Alexander Aiken, Manuel Fähndrich, Raph Levien |
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. |
PLDI |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Allison Woodruff, Alan Su, Michael Stonebraker, Caroline Paxson, Jolly Chen, Alexander Aiken, Peter Wisnovsky, Cimarron Taylor |
Navigation and Coordination Primitives for Multidimensional Visual Browsers. |
VDB |
1995 |
DBLP BibTeX RDF |
|
| 1 | Alexander Aiken, Jolly Chen, Mark Lin, Mybrid Spalding, Michael Stonebraker, Allison Woodruff |
The Tioga-2 Database Visualization Environment. |
Workshop on Database Issues for Data Visualization |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken, Manuel Fähndrich |
Dynamic Typing and Subtype Inference. |
FPCA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Allison Woodruff, Peter Wisnovsky, Cimarron Taylor, Michael Stonebraker, Caroline Paxson, Jolly Chen, Alexander Aiken |
Zooming and Tunneling in Tioga: Supporting Navigation in Multimedia Space. |
VL |
1994 |
DBLP BibTeX RDF |
|
| 1 | Alexander Aiken, Edward L. Wimmers, T. K. Lakshman |
Soft Typing with Conditional Types. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken |
Set Constraints: Results, Applications, and Future Directions. |
PPCP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenz Huelsbergen, James R. Larus, Alexander Aiken |
Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
Standard ML |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")