Algorithms

Miguel Castro, Manuel Costa, Jean-Philippe Martin

Proceedings of the 13th international conference on Architectural support for programming languages and operating systems | March 2008

Dan Morris, C Sewell, NH Blevins, S Dutta, S Agrawal, F Barbagil, K Salisbury

Computer Aided Surgery | March 2008, Vol 13: pp. 63-81

Minghua Chen, Sudipta Sengupta, Miroslav Ponec, Philip A. Chou, Jin Li

Conference on Information Sciences and Systems | March 2008

Invited paper.

Mike Taylor, John Guiver, Stephen Robertson, Tom Minka

WSDM 2008 | February 2008

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

POPL’08, January 7-12, 2008, San Francisco, California, USA | January 2008

Project

Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang

Programming Languages and Systems. ESOP 2008. Lecture Notes in Computer Science. | January 2008

Sumit Gulwani, Ashish Tiwari

Computer Aided Verification (CAV) | January 2008

Project

Tim Paek, Sudeep Gandhe, Max Chickering

In Proceedings of the 9th SIGDIAL Workshop on Discourse and Dialogue | January 2008

Xing Yi, Jianfeng Gao, Bill Dolan

International Joint Conference on Natural Language Processing (IJCNLP) | January 2008

Kunal Agrawal, Charles E. Leiserson, Yuxiong He, Wen-Jing Hsu

ACM Transactions on Computer Systems | January 2008