Publication DKAL: Distributed-Knowledge Authorization Language Yuri Gurevich, Itay Neeman MSR-TR-2008-09 | January 2008
Publication Cryptographically Sound Implementations for Typed Information-Flow Security Cédric Fournet, Tamara Rezk 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’08) | January 2008
Publication ASMs in the Classroom: Personal Experience Yuri Gurevich Logics of Specification Languages | January 2008, pp. 599-602
Publication Constraint-Based Approach for Analysis of Hybrid Systems Sumit Gulwani, Ashish Tiwari Computer Aided Verification (CAV) | January 2008 Project
Publication Index Design for Dynamic Personalized PageRank Amit Pathak, Soumen Chakrabarti, Manish Gupta Proc. of the 24th Intl. Conf. on Data Engineering (ICDE) | January 2008 Proc. of the 24th Intl. Conf. on Data Engineering (ICDE)
Publication CompoWeb: A Component-Oriented Web Architecture Rui Guo, Bin Benjamin Zhu, Min Feng, Aimin Pan, Bosheng Zhou WWW 2008 | January 2008
Publication An Automatic Verifier for Java-Like Programs Based on Dynamic Frames Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte FASE | January 2008 ISBN: 978-3-540-78742-6
Publication On the Relative Completeness of Bytecode Analysis versus Source Code Analysis Francesco Logozzo, Manuel Fahndrich Proceedings of the International Conference on Compiler Construction | January 2008 Project
Publication Model-Based Software Testing and Analysis with C# Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte Published by Cambridge University Press | January 2008 ISBN: 9.78052E+12
Publication Effective Program Verification for Relaxed Memory Models Sebastian Burckhardt, Madan Musuvathi MSR-TR-2008-12 | January 2008 A shorter version of this TR appeared in CAV (Computer-Aided Verification) 2008. Project
