公開日 Alattin: Mining Alternative Patterns for Detecting Neglected Conditions Suresh Thummalapenta ASE ’09: Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering | January 2009 ISBN: 978-0-7695-3891-4
公開日 Haskell and Erlang: growing up together (2009) Simon Peyton Jones January 2009 My invited talk from the Erlang Factory meeting, in June 2009
公開日 Finding concurrency bugs with context-aware communication graphs Brandon Lucia, Luis Ceze Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture | January 2009 Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture ISBN: 978-1-60558-798-1
公開日 How Hard is Smart Play-Out? On the Complexity of Verification-Driven Execution David Harel, Hillel Kugler, Shahar Maoz, Itai Segall Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India) | January 2009 Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India) プロジェクト
公開日 A calculus of atomic actions Tayfun Elmas, Shaz Qadeer, Serdar Tasiran ACM Symposium on Principles of Programming Languages | 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)
公開日 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
公開日 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 プロジェクト