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 DKAL: Distributed-Knowledge Authorization Language Yuri Gurevich, Itay Neeman 21st IEEE Computer Security Foundations Symposium | June 2008
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 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 Degree Bounded Matroids and Submodular Flows Tamas Kiraly, Lap Chi Lau, Mohit Singh Integer Programming and Combinatorial Optimization, 13th International Conference, IPCO 2008, Bertinoro, Italy, May 26-28, 2008, Proceedings | June 2008 ISBN: 978-3-540-68886-0
Publication A Type System for Data-Flow Integrity on Windows Vista Avik Chaudhuri, Prasad Naldurg, Sriram Rajamani ACM Workshop on Programming Languages and Analysis for Security (PLAS) | June 2008 ACM Workshop on Programming Languages and Analysis for Security (PLAS)
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
Publication Isolator: Dynamically Ensuring Isolation in Concurrent Programs Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani MSR-TR-2008-91 | June 2008
Publication Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers Jeremy Condit, Juan Chen, Chris Hawblitzel, Derrick Coetzee ACM Conference on Programming Language Design and Implementation (PLDI 08) | June 2008
Research