Publication Gatekeeper: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code Salvatore Guarnieri, Ben Livshits Proceedings of the Usenix Security Symposium | January 2009
Publication Fastest Mixing Markov Chain on Graphs with Symmetries Stephen Boyd, Persi Diaconis, Pablo Parrilo, Lin Xiao SIAM Journal on Optimization | January 2009, Vol 20 To appear.
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 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 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 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 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 Pentagons: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses Francesco Logozzo, Manuel Fahndrich Science of Computer Programming | January 2009 Project