Publication 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) Project
Publication Preventing versus Curing: Avoiding Conflicts in Transactional Memories Aleksandar Dragojevic, Rachid Guerraoui, Anmol V. Singh, Vasu Singh PODC 2009 | January 2009
Publication Stretching Transactional Memory Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka PLDI 2009 | January 2009
Publication Mining exception-handling rules as sequence association rules Suresh Thummalapenta, Tao Xie ICSE ’09: Proceedings of the 31st International Conference on Software Engineering | January 2009 ISBN: 978-1-4244-3453-4
Publication 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)
Publication Pentagons: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses Francesco Logozzo, Manuel Fahndrich Science of Computer Programming | January 2009 Project
Publication GRAMPS: A programming model for graphics pipelines Jeremy Sugerman, Kayvon Fatahalian, Solomon Boulos, Kurt Akeley, Pat Hanrahan ACM Trans. Graph. | January 2009, Vol 28: pp. 1–11
Publication 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 Project
Publication A calculus of atomic actions Tayfun Elmas, Shaz Qadeer, Serdar Tasiran ACM Symposium on Principles of Programming Languages | January 2009
Publication Footprints in Local Reasoning Mohammad Raza Logical Methods in Computer Science | January 2009