출판 Preventing versus Curing: Avoiding Conflicts in Transactional Memories Aleksandar Dragojevic, Rachid Guerraoui, Anmol V. Singh, Vasu Singh PODC 2009 | January 2009
출판 Stretching Transactional Memory Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka PLDI 2009 | January 2009
출판 Clustering with multiple graphs Zhengdong Lu Proceedings of the IEEE International Conference on Data Mining (ICDM) | January 2009 Proceedings of the IEEE International Conference on Data Mining (ICDM)
출판 The Beauty and the Beast: Vulnerabilities in Red Hat’s Packages Stephan Neuhaus, Thomas Zimmermann Proceedings of the 2009 USENIX Annual Technical Conference (USENIX ATC) | January 2009 프로젝트
출판 Pentagons: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses Francesco Logozzo, Manuel Fahndrich Science of Computer Programming | January 2009 프로젝트
출판 GRAMPS: A programming model for graphics pipelines Jeremy Sugerman, Kayvon Fatahalian, Solomon Boulos, Kurt Akeley, Pat Hanrahan ACM Trans. Graph. | January 2009, 제 28 권: pp. 1-11
출판 A calculus of atomic actions Tayfun Elmas, Shaz Qadeer, Serdar Tasiran ACM Symposium on Principles of Programming Languages | January 2009
출판 Flexible types: robust type inference for first-class polymorphism Daan Leijen 36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL’09) | January 2009 36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09)
출판 Nozzle: A Defense Against Heap-spraying Code Injection Attacks Paruj Ratanaworabhan, Ben Livshits, Ben Zorn Proceedings of the Usenix Security Symposium | January 2009 프로젝트