Publication Towards a programmable TPM Paul England Trusted Computing | April 2009 Trusted Computing Lecture Notes in Computer Science
Publication Low Bitrate Audio Coding Using Generalized Adaptive Gain Shape Vector Quantization Across Channels Sanjeev Mehrotra, Wei-ge Chen, Kishore Kotteri Proc. Int’l Conf. Acoustics, Speech, and Signal Processing | April 2009
Publication Automated Testing of Environment-Dependent Programs – A Case Study of Modeling the File System for Pex Soonho Kong, Nikolai Tillmann, Jonathan "Peli" de Halleux Proc. 6th International Conference on Information Technology: New Generations (ITNG’09) | April 2009 Project Project
Publication Towards a Verified Reference Implementation of a Trusted Platform Module Aybek Mukhamedov, Andy Gordon, Mark Ryan 17th International Workshop, Cambridge, UK, April 1-3, 2009 | April 2009 ISBN: 9783642362125
Publication Database Query Processing Using Finite Cursor Machines Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche Theory of Computing Systems | April 2009
Publication A Static Analysis Framework for Database Applications Vivek Narasayya, Manoj Syamala, Arjun Dasgupta International Conference on Data Engineering (ICDE) | April 2009 Project
Publication (Short Paper) Improving the Responsiveness of Internet Services with Automatic Cache Placement Alex Rasmussen, Emre Kiciman, Ben Livshits, Madan Musuvathi EuroSys 2009 | April 2009
Publication Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2009
Publication Lightweight Software Transactions for Games Alexandro Baldassin, Sebastian Burckhardt First USENIX Workshop on Hot Topics in Parallelism | March 2009 Project