Stephen N. Freund Curriculum Vitae September 12, 2017 Department of Computer Science Williams College Williamstown, MA 01267, USA

First Page		Document Content
Date: 2017-09-12 07:33:02 Computing Software engineering Programming language theory Programming languages Programming Language Design and Implementation SIGPLAN P Association for Computing Machinery Symposium on Principles of Programming Languages XPL ACM Transactions on Programming Languages and Systems Ada		Stephen N. Freund Curriculum Vitae September 12, 2017 Department of Computer Science Williams College Williamstown, MA 01267, USA Add to Reading List Source URL: www.cs.williams.edu Download Document from Source Website File Size: 129,00 KB Share Document on Facebook

	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt DocID: 1qnIY - View Document
	Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China DocID: 1p8u1 - View Document
	Benchmarking Computer Systems Tomas Kalibera My benchmarking background Systems CORBA, Mono, RT Java (Ovm, RTS, WebSphere), Java (OpenJDK, DocID: 1k2Ck - View Document
	Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University DocID: 1jmMf - View Document
	Amer S. Diwan Work Engineering Center, ECOT 743 Department of Computer Science University of Colorado Boulder, CO[removed] DocID: 11huU - View Document