Publication Protocol Modeling with Model Program Composition Margus Veanes, Wolfram Schulte FORTE’08 | June 2008 ISBN: 978-3-540-68854-9
Publication AtomAid: Detecting and Surviving Atomicity Violations Brandon Lucia, Joseph Devietti, Karin Strauss, Luís Ceze ISCA 2008 (International Symposium on Computer Architecture) | June 2008 ISCA 2008 (International Symposium on Computer Architecture)
Publication An SMT Approach to Bounded Reachability Analysis of Model Programs Margus Veanes, Nikolaj Bjørner, Alexander Raschke FORTE’08 | June 2008 FORTE'08 Projet Projet
Publication Parallelizing Dynamic Information Flow Tracking Olatunji Ruwase, Phillip B. Gibbons, Todd C. Mowry, Vijaya Ramachandran, Shimin Chen, Michael Kozuch, Michael Ryan June 2008
Publication Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog Andreas Blass, Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | June 2008, Vol 95: pp. 164-182
Publication Model-Based Testing of Robots with NModel Juhan Ernits, Margus Veanes, Johannes Helander TestCom/FATES 2008 Short Papers | June 2008 TestCom/FATES 2008 Short Papers
Publication DKAL: Distributed-Knowledge Authorization Language Yuri Gurevich, Itay Neeman 21st IEEE Computer Security Foundations Symposium | June 2008
Publication Applying Morphology Generation Models to Machine Translation Kristina Toutanova, Hisami Suzuki, Achim Ruopp Proceedings of ACL | June 2008
Publication Flexible Hardware Acceleration for Instruction-Grain Program Monitoring Shimin Chen, Michael Kozuch, Theodoros Strigkos, Babak Falsafi, Phillip B. Gibbons, Todd C. Mowry, Vijaya Ramachandran, Olatunji Ruwase, Michael Ryan, Evangelos Vlachos International Symposium on Computer Architecture | June 2008
Publication Controlling Non-determinism for Semantic Guarantees Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani Proceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) | June 2008