The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alex Aiken: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sorav Bansal, Alex Aiken
    Automatic generation of peephole superoptimizers. [Citation Graph (0, 0)][DBLP]
    ASPLOS, 2006, pp:394-403 [Conf]
  2. Tachio Terauchi, Alex Aiken
    A Capability Calculus for Concurrency and Determinism. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:218-232 [Conf]
  3. Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken
    Statistical debugging: simultaneous identification of multiple bugs. [Citation Graph (0, 0)][DBLP]
    ICML, 2006, pp:1105-1112 [Conf]
  4. Tachio Terauchi, Alex Aiken
    On Typability for Rank-2 Intersection Types with Polymorphic Recursion. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:111-122 [Conf]
  5. Mayur Naik, Alex Aiken, John Whaley
    Effective static race detection for Java. [Citation Graph (0, 0)][DBLP]
    PLDI, 2006, pp:308-319 [Conf]
  6. Mayur Naik, Alex Aiken
    Conditional must not aliasing for static race detection. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:327-338 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2007, pp:226-236 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    SC, 2006, pp:83- [Conf]
  9. Brian Hackett, Alex Aiken
    How is aliasing used in systems software? [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:69-80 [Conf]
  10. Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken
    Flow-insensitive type qualifiers. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2006, v:28, n:6, pp:1035-1087 [Journal]
  11. Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins
    An overview of the saturn project. [Citation Graph (0, 0)][DBLP]
    PASTE, 2007, pp:43-48 [Conf]
  12. Isil Dillig, Thomas Dillig, Alex Aiken
    Static error detection using semantic inconsistency inference. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:435-445 [Conf]
  13. John Kodumal, Alex Aiken
    Regularly annotated set constraints. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:331-341 [Conf]
  14. Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson
    Measuring empirical computational complexity. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:395-404 [Conf]
  15. Yichen Xie, Alex Aiken
    Saturn: A scalable framework for error detection using Boolean satisfiability. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:3, pp:- [Journal]

  16. A tuning framework for software-managed memory hierarchies. [Citation Graph (, )][DBLP]


  17. Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. [Citation Graph (, )][DBLP]


  18. Fluid Updates: Beyond Strong vs. Weak Updates. [Citation Graph (, )][DBLP]


  19. Alert Detection in System Logs. [Citation Graph (, )][DBLP]


  20. A query language for understanding component interactions in production systems. [Citation Graph (, )][DBLP]


  21. Binary Translation Using Peephole Superoptimizers. [Citation Graph (, )][DBLP]


  22. Sound, complete and scalable path-sensitive analysis. [Citation Graph (, )][DBLP]


  23. A portable runtime interface for multi-level memory hierarchies. [Citation Graph (, )][DBLP]


  24. Community Epidemic Detection Using Time-Correlated Anomalies. [Citation Graph (, )][DBLP]


  25. Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. [Citation Graph (, )][DBLP]


  26. Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field. [Citation Graph (, )][DBLP]


  27. Verifying the Safety of User Pointer Dereferences. [Citation Graph (, )][DBLP]


  28. Reasoning about the unknown in static analysis. [Citation Graph (, )][DBLP]


Search in 0.044secs, Finished in 0.045secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002