Systems & networking

Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-Vincentelli, Fabio Somenziy, Adnan Aziz, Szu-Tsung Cheng, Stephen Edwards, Sunil Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa

Proceedings of the 8th International Conference in Computer-Aided Verification | January 1996

K. Mani Chandy, Adam Rifkin, Paolo A. G. Sivilotti, J. Mandelson, Matthew Richardson, W. Tanaka, L. Weisman

In Proceedings of the IEEE International Symposium on High Performance Distributed Computing (HPDC 1996) | January 1996

Margus Veanes, Jonas Barklund

Information Processing Letters | January 1996, Vol 57: pp. 225-229

Trishul Chilimbi, Thomas Ball, Jim Larus

Proceedings of the 1995 ACM/IEEE Conference on Supercomputing | December 1995

Proceedings of the 1995 ACM/IEEE Conference on Supercomputing

Ramachandran Ramjee, Thomas La Porta, Malathi Veeraraghavan

IEEE Personal Communications | December 1995

Andrew Birrell, Greg Nelson, Susan Owicki, Ted Wobber

Software: Practice and Experience | December 1995, Vol 25: pp. 87-130

Also appeared as SRC Research Report 115

Radhika Malpani, Jay Lorch, David Berger

Proceedings of the Fourth International World Wide Web Conference | December 1995

Proceedings of the Fourth International World Wide Web Conference

Paul Barham, Richard Black, Ian Pratt

November 1995

Butler Lampson

October 1995

Luca Cardelli

Computing Systems, Conference Record of POPL ’95: 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, Calif. | October 1995

Short version in Principles of Programming Languages January 1995