The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Alex Aiken Alexander Aiken ( http://dblp.L3S.de/Authors/Alex_Aiken )

URL (Homepage):  http://theory.stanford.edu/~aiken/  Author page on DBLP  Author page in RDF  Community of Alex Aiken in ASPL-2

Publication years (Num. hits)
1986-1994 (18) 1995-1998 (22) 1999-2002 (15) 2003-2005 (15) 2006-2007 (18) 2008-2010 (19) 2011-2012 (20) 2013-2014 (18) 2015-2016 (17) 2017-2018 (17) 2019 (6)
Publication types (Num. hits)
article(35) inproceedings(147) proceedings(3)
Venues (Conferences, Journals, ...)
PLDI(30) POPL(14) OOPSLA(10) CoRR(9) SAS(9) SC(7) CAV(6) ACM Trans. Program. Lang. Syst...(5) ESOP(5) PPOPP(4) SIGSOFT FSE(4) ASPLOS(3) Commun. ACM(3) FPCA(3) SIGMOD Conference(3) DSN(2) More (+10 of total 74)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 123 occurrences of 78 keywords

Results
Found 186 publication records. Showing 185 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Elliott Slaughter, Wei Wu, Yuankun Fu, Legend Brandenburg, Nicolai Garcia, Wilhem Kautz, Emily Marx, Kaleb S. Morris, Wonchan Lee, Qinglei Cao, George Bosilca, Seema Mirchandaney, Sean Treichler, Patrick S. McCormick, Alex Aiken Task Bench: A Parameterized Benchmark for Evaluating Parallel Runtime Performance. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee 0002, Oded Padon, Alex Aiken, Percy Liang SPoC: Search-based Pseudocode to Code. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Zhihao Jia, Sina Lin, Rex Ying, Jiaxuan You, Jure Leskovec, Alex Aiken Redundancy-Free Computation Graphs for Graph Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Osbert Bastani, Rahul Sharma 0001, Lazaro Clapp, Saswat Anand, Alex Aiken Eventually Sound Points-To Analysis with Specifications. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Berkeley R. Churchill, Oded Padon, Rahul Sharma 0001, Alex Aiken Semantic program alignment for equivalence checking. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhihao Jia, Oded Padon, James J. Thomas, Todd Warszawski, Matei Zaharia, Alex Aiken TASO: optimizing deep learning computation with automatic generation of graph substitutions. Search on Bibsonomy SOSP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wonyeol Lee 0001, Rahul Sharma 0001, Alex Aiken On automatically proving the correctness of math.h implementations. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhihao Jia, Sina Lin, Charles R. Qi, Alex Aiken Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Zhihao Jia, Matei Zaharia, Alex Aiken Beyond Data and Model Parallelism for Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Osbert Bastani, Rahul Sharma 0001, Alex Aiken, Percy Liang Active learning of points-to specifications. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhihao Jia, Sean Treichler, Galen M. Shipman, Patrick S. McCormick, Alex Aiken Isometry: A Path-Based Distributed Data Transfer System. Search on Bibsonomy ICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wonchan Lee, George Stelle, Patrick S. McCormick, Alex Aiken Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems. Search on Bibsonomy CORRECTNESS@SC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wonchan Lee, Elliott Slaughter, Michael Bauer, Sean Treichler, Todd Warszawski, Michael Garland, Alex Aiken Dynamic tracing: memoization of task graphs for dynamic task-based runtimes. Search on Bibsonomy SC The full citation details ... 2018 DBLP  BibTeX  RDF
1Zhihao Jia, Sina Lin, Charles R. Qi, Alex Aiken Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks. Search on Bibsonomy ICML The full citation details ... 2018 DBLP  BibTeX  RDF
1Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma 0001, Alex Aiken, Pat Hanrahan Seam: provably safe local edits on graphs. Search on Bibsonomy PACMPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Osbert Bastani, Rahul Sharma 0001, Alex Aiken, Percy Liang Active Learning of Points-To Specifications. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma 0001, Alex Aiken Eventually Sound Points-To Analysis with Missing Code. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Zhihao Jia, Yongkee Kwon, Galen M. Shipman, Patrick S. McCormick, Mattan Erez, Alex Aiken A Distributed Multi-GPU System for Fast Graph Processing. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhihao Jia, Sean Treichler, Galen M. Shipman, Michael Bauer, Noah Watkins, Carlos Maltzahn, Patrick S. McCormick, Alex Aiken Integrating External Resources with a Task-Based Programming Model. Search on Bibsonomy HiPC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Osbert Bastani, Rahul Sharma 0001, Alex Aiken, Percy Liang Synthesizing program input grammars. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elliott Slaughter, Wonchan Lee, Sean Treichler, Wen Zhang, Michael Bauer, Galen M. Shipman, Patrick S. McCormick, Alex Aiken Control replication: compiling implicit parallelism to efficient SPMD with logical regions. Search on Bibsonomy SC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alan Heirich, Elliott Slaughter, Manolis Papadakis, Wonchan Lee, Tim Biedert, Alex Aiken In situ visualization with task-based parallelism. Search on Bibsonomy ISAV@SC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Berkeley R. Churchill, Rahul Sharma 0001, J. F. Bastien, Alex Aiken Sound Loop Superoptimization for Google Native Client. Search on Bibsonomy ASPLOS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rahul Sharma 0001, Alex Aiken From invariant checking to invariant inference using randomized search. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Osbert Bastani, Rahul Sharma 0001, Alex Aiken, Percy Liang Synthesizing Program Input Grammars. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Eric Schkufza, Rahul Sharma 0001, Alex Aiken Stochastic program optimization. Search on Bibsonomy Commun. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sean Treichler, Michael Bauer, Rahul Sharma 0001, Elliott Slaughter, Alex Aiken Dependent partitioning. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philippe P. Pébay, Janine C. Bennett, David S. Hollman, Sean Treichler, Patrick S. McCormick, Christine Sweeney, Hemanth Kolla, Alex Aiken Towards Asynchronous Many-Task in Situ Data Analysis Using Legion. Search on Bibsonomy IPDPS Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken Minimizing GUI event traces. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Heule, Eric Schkufza, Rahul Sharma 0001, Alex Aiken Stratified synthesis: automatically learning the x86-64 instruction set. Search on Bibsonomy PLDI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wonyeol Lee 0001, Rahul Sharma 0001, Alex Aiken Verifying bit-manipulations of floating-point. Search on Bibsonomy PLDI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Osbert Bastani, Saswat Anand, Alex Aiken Interactively verifying absence of explicit information flows in Android apps. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rahul Sharma 0001, Eric Schkufza, Berkeley R. Churchill, Alex Aiken Conditionally correct superoptimization. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Osbert Bastani, Saswat Anand, Alex Aiken An interactive approach to mobile app verification. Search on Bibsonomy MobileDeLi The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Osbert Bastani, Saswat Anand, Alex Aiken Specification Inference Using Context-Free Language Reachability. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv Composing concurrency control. Search on Bibsonomy PLDI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rahul Sharma 0001, Michael Bauer, Alex Aiken Verification of producer-consumer synchronization in GPU programs. Search on Bibsonomy PLDI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lazaro Clapp, Saswat Anand, Alex Aiken Modelgen: mining explicit information flow specifications from concrete executions. Search on Bibsonomy ISSTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elliott Slaughter, Wonchan Lee, Sean Treichler, Michael Bauer, Alex Aiken Regent: a high-productivity programming language for HPC with logical regions. Search on Bibsonomy SC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Noah Watkins, Zhihao Jia, Galen M. Shipman, Carlos Maltzahn, Alex Aiken, Patrick S. McCormick Automatic and transparent I/O optimization with storage integrated application runtime support. Search on Bibsonomy PDSW@SC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sean Treichler, Michael Bauer, Alex Aiken Realm: an event-based low-level runtime for distributed memory architectures. Search on Bibsonomy PACT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rahul Sharma 0001, Alex Aiken From Invariant Checking to Invariant Inference Using Randomized Search. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Terei, Alex Aiken, Jan Vitek M3: high-performance memory management from off-the-shelf components. Search on Bibsonomy ISMM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rahul Sharma 0001, Aditya V. Nori, Alex Aiken Bias-variance tradeoffs in program analysis. Search on Bibsonomy POPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken Apposcopy: automated detection of Android malware (invited talk). Search on Bibsonomy DeMobile@SIGSOFT FSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken Apposcopy: semantics-based detection of Android malware through static analysis. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Eric Schkufza, Rahul Sharma 0001, Alex Aiken Stochastic optimization of floating-point programs with tunable precision. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zachary DeVito, Daniel Ritchie, Matthew Fisher, Alex Aiken, Pat Hanrahan First-class runtime generation of high-performance types using exotypes. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev Verifying atomicity via data independence. Search on Bibsonomy ISSTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken Structure Slicing: Extending Logical Regions with Fields. Search on Bibsonomy SC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Bauer, Sean Treichler, Alex Aiken Singe: leveraging warp specialization for high performance on GPUs. Search on Bibsonomy PPOPP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rahul Sharma 0001, Eric Schkufza, Berkeley R. Churchill, Alex Aiken Data-driven equivalence checking. Search on Bibsonomy OOPSLA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sean Treichler, Michael Bauer, Alex Aiken Language support for dynamic, hierarchical data partitioning. Search on Bibsonomy OOPSLA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rahul Sharma 0001, Saurabh Gupta 0001, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori A Data Driven Approach for Algebraic Loop Invariants. Search on Bibsonomy ESOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek Terra: a multi-stage language for high-performance computing. Search on Bibsonomy PLDI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rahul Sharma 0001, Saurabh Gupta 0001, Bharath Hariharan, Alex Aiken, Aditya V. Nori Verification as Learning Geometric Concepts. Search on Bibsonomy SAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ethan Fast, Colleen Lee, Alex Aiken, Michael S. Bernstein, Daphne Koller, Eric Smith Crowd-scale interactive formal reasoning and analytics. Search on Bibsonomy UIST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Eric Schkufza, Rahul Sharma 0001, Alex Aiken Stochastic superoptimization. Search on Bibsonomy ASPLOS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Eric Schkufza, Rahul Sharma 0001, Alex Aiken Stochastic Superoptimization Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher An introduction to data representation synthesis. Search on Bibsonomy Commun. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rahul Sharma 0001, Aditya V. Nori, Alex Aiken Interpolants as Classifiers. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken Minimum Satisfying Assignments for SMT. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv Understanding the behavior of database operations under program control. Search on Bibsonomy OOPSLA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv Reasoning about Lock Placements. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Alex Aiken Automated error diagnosis using abductive inference. Search on Bibsonomy PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv Concurrent data representation synthesis. Search on Bibsonomy PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken Legion: expressing locality and independence with logical regions. Search on Bibsonomy SC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Alex Aiken Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Adam J. Oliner, Alex Aiken Online detection of multi-component interactions in production systems. Search on Bibsonomy DSN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Alex Aiken Simplifying Loop Invariant Generation Using Splitter Predicates. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav Automatic fine-grain locking using shape properties. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav Testing atomicity of composed concurrent operations. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Alex Aiken Precise reasoning for programs using containers. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Brian Hackett, Alex Aiken Inferring data polymorphism in systems code. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv Precise and compact modular procedure summaries for heap manipulating programs. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv Data representation synthesis. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zach 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. Search on Bibsonomy SC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Bauer, John Clark, Eric Schkufza, Alex Aiken Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia. Search on Bibsonomy PPOPP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Alex Aiken Reasoning about the unknown in static analysis. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken Using correlated surprise to infer shared influence. Search on Bibsonomy DSN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Alex Aiken Symbolic heap abstraction with demand-driven axiomatization of memory invariants. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv Data Structure Fusion. Search on Bibsonomy APLAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Alex Aiken Fluid Updates: Beyond Strong vs. Weak Updates. Search on Bibsonomy ESOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mehran Sahami, Alex Aiken, Julie Zelenski Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field. Search on Bibsonomy SIGCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF tracks, curriculum, concentrations, multi-disciplinary
1Adam J. Oliner, Alex Aiken A query language for understanding component interactions in production systems. Search on Bibsonomy ICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF query language, correlation, logs, production systems, influence
1Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken Community Epidemic Detection Using Time-Correlated Anomalies. Search on Bibsonomy RAID The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Alex Aiken Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Benjamin 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 Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Alex Aiken Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tachio Terauchi, Alex Aiken A capability calculus for concurrency and determinism. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type systems, Determinism, capabilities
1Tachio Terauchi, Alex Aiken Witnessing side effects. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mutable state, side effects
1Manman Ren, Ji Young Park, Mike Houston, Alex Aiken, William J. Dally A tuning framework for software-managed memory hierarchies. Search on Bibsonomy PACT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bulk decomposition, empirical tuning, software-managed memory hierarchy
1Adam J. Oliner, Alex Aiken, Jon Stearley Alert Detection in System Logs. Search on Bibsonomy ICDM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Alex Aiken Sound, complete and scalable path-sensitive analysis. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF path- and context-sensitive analysis, strongest necessary/weakest sufficient conditons, static analysis
1Sorav Bansal, Alex Aiken Binary Translation Using Peephole Superoptimizers. Search on Bibsonomy OSDI The full citation details ... 2008 DBLP  BibTeX  RDF
1Suhabe Bugrara, Alex Aiken Verifying the Safety of User Pointer Dereferences. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2008 DBLP  DOI  BibTeX  RDF user pointers, verification, static analysis, operating system security
1Mike 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. Search on Bibsonomy PPOPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF PMH, sequoia, parallelism, memory hierarchies, runtime
1Alex Aiken In Memoriam: John W. Backus, 1924-2007. Search on Bibsonomy ;login: The full citation details ... 2007 DBLP  BibTeX  RDF
1Yichen Xie, Alex Aiken Saturn: A scalable framework for error detection using Boolean satisfiability. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Program analysis, error detection, Boolean satisfiability
1Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins An overview of the saturn project. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF verification, program analysis, boolean satisfiability
Displaying result #1 - #100 of 185 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license