출판 Undoing Dynamic Typing Nick Benton Proceedings of the Ninth International Symposium on Functional and Logic Programming | April 2008 Proceedings of the Ninth International Symposium on Functional and Logic Programming
출판 A compositional method for verifying software transactional memory implementations Serdar Tasiran MSR-TR-2008-56 | April 2008
출판 Kiwi: Synthesis of FPGA Circuits from Parallel Programs David Greaves, Satnam Singh IEEE Symposium on FPGAs for Custom Computing Machines (FCCM) | April 2008 프로젝트
출판 LTL Generalized Model Checking Revisited Patrice Godefroid, Nir Piterman MSR-TR-2008-60 | April 2008
출판 Nonlinear Residual Acoustic Echo Suppression for High Levels of Harmonic Distortion Diego Bendersky, Jack W. Stokes, Henrique S. Malvar International Conference on Acoustics, Speech and Signal Processing | April 2008 International Conference on Acoustics, Speech and Signal Processing 프로젝트
출판 Hang Analysis: Fighting Responsiveness Bugs Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, Zheng Zhang EuroSys 2008 | April 2008 Best Student Paper Award The 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
출판 Continuous Network Coding in Wireless Relay Networks Wei Pu, Chong Luo, Shipeng Li, Chang Wen Chen Proceedings of IEEE Infocom’08 | April 2008
출판 Enabling the Future Auto with Model-Driven Services Johannes Helander, Margus Veanes National Workshop on High-Confidence Automotive Cyber-Physical Systems. | April 2008
출판 Parameterized Unit Testing with Pex (Tutorial) Nikolai Tillmann, Jonathan "Peli" de Halleux Proc. of Tests and Proofs (TAP’08) | April 2008 프로젝트 프로젝트
출판 Behavioral Classification on the Click Graph Martin Szummer, Nick Craswell World Wide Web Conference | April 2008 World Wide Web Conference