论文与出版物 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) 项目
论文与出版物 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
论文与出版物 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 项目