?? http:^^www.cs.cornell.edu^info^people^samuel^
字號(hào):
MIME-Version: 1.0
Server: CERN/3.0
Date: Wednesday, 20-Nov-96 18:55:46 GMT
Content-Type: text/html
Content-Length: 2808
Last-Modified: Wednesday, 20-Mar-96 01:09:40 GMT
<HEAD><title> Samuel Weber</title></HEAD><BODY><H1> Samuel Weber </h1><I><DL><DT>Acting Assistant Professor<DT>308 Upson Hall<DT>Phone: 607-255-1051<DT>Fax: 607-255-4428<DT>Email: <!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><a href="mailto:samuel@cs.cornell.edu">samuel@cs.cornell.edu</a></DL></I>Currently, I am an Acting Assistant Professor at Cornell University,and Assistant Director of the <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><a href="http://www.cs.cornell.edu/Info/Department/Meng">Master's of Engineering Program in Computer Science</a>.<H2> Research Interests </H2>Software Design, Specification and Verification, Programming Language Design and Semantics, Distributed Systems<H2> Courses </H2><ul> <li><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS501/CS401-501.html">CS 401/501 "Software Engineering: Technology and Techniques"</a> (Fall 95)<li><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS100/CS100.html">CS 100 "Introduction to Computer Programming"</a> (Spring 96)</ul><H2> Publications</H2><ul><li> <!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.cornell.edu/Info/People/samuel/publications/piconference.ps"> Weber and Bloom, "Metatheory of the Pi-Calculus", Technical Report 96-1564, Cornell University (submitted for conference publication).</a><li> <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><a href="http://www.cs.cornell.edu/Info/People/samuel/publications/joy.ps"> Weber, Bloom and Brown,"Compiling Joy Into Silicon: a Formally Verified Compiler for Delay-Insensitive Circuits", Technical Report 96-1566, CornellUniversity (submitted for journal publication).</a><li> <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><a href="http://www.cs.cornell.edu/Info/People/samuel/publications/phdthesis.ps">Weber, "Process Algebras and Meta-algebras: Theory and Practice". Ph.D. Thesis, Cornell University, August 1995</a><li> Weber, Bloom and Brown, "Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics,"REX Workshop on Semantics: Foundations and Applications 1992, Bakker, Roever and Rozenberg, editors, Lecture Notes in Computer Science vol. 666, Springer-Verlag, pages 639-659. 1993.<li> Weber, Bloom and Brown, "Compiling Joy into Silicon: A Verified Silicon Compilation Scheme," In T. Knight and J. Savage, editors, Proceedings of the Advanced Research in VLSI and Parallel Systems Conference, pages 79-98. 1992.<li> Amdur, Weber and Hadzilacos, "On the Message Complexity of Binary Byzantine Agreement Under Crash Failures," Distributed Computing 5, pages 175-186, 1992.<li> <!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><a href="http://www.cs.cornell.edu/Info/People/samuel/publications/mscthesis.ps">Weber, "Bounds on the Message Complexity of Byzantine Agreement" Masters Thesis, University of Toronto, September 1989.</a><li> Seshadri, Wortman, Weber, Yu and Small, "Semantic Analysis in a Concurrent Compiler," Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, pages 233-240. 1988.</ul><ADDRESS> Samuel Weber (samuel@cs.cornell.edu) </ADDRESS></BODY>
?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號(hào)
Ctrl + =
減小字號(hào)
Ctrl + -