Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Todd Proebsting

Todd Proebsting's Microsoft Home Page

Click here for my personal page.

I am a Director of the Center for Software Excellence in Microsoft's Platform and Services Division (aka Windows and MSN).

Nights and weekends, I lead Microsoft Research's Information Forecasting Exchange project. This is a prediction markets effort.

Prior to moving over to Windows, I was a Senior Researcher in Microsoft Research where I managed the Programming Language Systems Group. I am also an Adjunct Associate Professor of Computer Science at the University of Arizona.

I have a B.A. degree in Mathematics from Carleton College, and M.S. and Ph.D. degrees in Computer Science from the University of Wisconsin.

Proebsting's Law	"Moore's Law" asserts that advances in hardware double computing power every 18 months. I (immodestly) assert "Proebsting's Law", which says that advances in compiler optimizations double computing power every 18 years. My simple experiment supports this depressing assertion. Others are commenting on Proebsting's Law: Kevin Stoodley of IBM's Toronto Labs disputes whether or not Proebsting's Law argues against optimization efforts in his talk, Compilers: Still going strong after ~50 years (Any significance to the talk being given on April First?) Bill Pugh of the University of Maryland provides support for Proebsting's Law in his talk, Is Code Optimization Research Relevant? Kevin Scott of the University of Virginia provides support for Proebsting's Law in his tech report, On Proebsting's Law , Technical Report CS-2001-12, Department of Computer Science, University of Virginia, March 2001. Stefano Lanzavecchia wrote this supportive Editorial for Vector, The Journal of the British APL Association in January 2000. Keith Cooper of Rice University cites Proebsting's Law in his talk, Future Compilers: Breaking the 1960's Mold Vinod Grover of Microsoft Research says evidence refutes Proebsting's Law. John Bentley of Bell Labs appreciates my "derivation" of 18 years for Proebsting's Law on his Programming Pearls web references page Dave Patterson of UC Berkeley questions the obsession with performance in systems software research and proposes working on "Recovery-Oriented Computing." Rob Pike of Bell Labs questioned the state of systems software research in Systems Software Research Is Irrelevant . (It's not related to Proebsting's Law, but you may still enjoy it.)
Research Projects	Gregg Townsend and I are developing Jcon, an Icon-to-Java system.
Software	Press on Jcon to go to the Jcon home page where you can get the Jcon Icon-to-Java system. Press on Toba to go to the Toba home page where you can get the Toba system for translating Java bytecode to C for efficient execution. Todd led the Sumatra Project, which investigated high-performance mobile code. (John H. Hartman now leads this project.) Press on BURG to get a compressed shar file of the BURG code-generator generator system. BURG is based on tree-pattern matching and dynamic programming. Press on IBURG to go to the IBURG home page where you can get the IBURG code-generator generator system. IBURG is compatible with BURG. IBURG produces slower code generators, but does so very quickly.
Talks	Disruptive Programming Language Technologies Stanford University Computer Science Colloquium, April 24, 2002. Disruptive Programming Language Technologies MIT, November 22, 2002.
Unpublished	A Research C# Compiler, Todd A. Proebsting and David R. Hanson MSR-2003-32 Tangible Program Histories, Todd A. Proebsting and Benjamin G. Zorn MSR-2000-54 Programming Shorthands, Todd A. Proebsting and Benjamin G. Zorn MSR-2000-03 AlgoVista - A Search Engine for Computer Scientists, Christian Collberg and Todd A. Proebsting MSR-2000-06 Custom Instruction Sets For Code Compression, Christopher W. Fraser and Todd A. Proebsting Least-Cost Instruction Selection in DAGs is NP-Complete, Todd A. Proebsting
Published	Dynamic Variables David R. Hanson, and Todd A. Proebsting. PLDI'01, June 2001, pages 264-273. Experiences building a communication-oriented JavaOS John H. Hartman, Larry L. Peterson, Andy C. Bavier, Peter A. Bigot, Patrick G. Bridges, Allen Brady Montz, Rob Piltz, Todd A. Proebsting and Oliver Spatscheck Software - Practice and Experience 30(10), August 2000, pages 1107-1126. Language-Agnostic Program Rendering for Presentation, Debugging and Visualization Christian Collberg, Sean Davey, and Todd A. Proebsting Visual Languages 2000 Conference MSR-TR-2000-09 A New Implementation of the Icon Language Todd A. Proebsting and Gregg M. Townsend, SPE, 30(8), June 2000, pages 925-972. Microsoft Research TR 99-64. Finite-State Code Generation Christopher W. Fraser, and Todd A. Proebsting. PLDI'99, May 1999, pages 270-280. Joust: A Platform for Liquid Software John H. Hartman, Peter A. Bigot, Patrick Bridges, Brady Montz, Rob Piltz, Oliver Spatscheck, Todd A. Proebsting, Larry Peterson, and Andrew Bavier, IEEE Computer: vol. 32, no 4, April 1999. Pages 50-56. Very Fast YACC-Compatible Parsers (For Very Little Effort). Achyutram Bhamidipaty and Todd A. Proebsting, SPE, 28(2), February 1998, pages 181-190. University of Arizona Department of Computer Science Technical Report 95-09. Register Allocation in Structured Programs Sampath Kannan, and Todd A. Proebsting. Journal of Algorithms: vol. 29, no 2, November 1998. Pages 223-237. Inter-procedural Control Flow Analysis of First Order Programs with Tail Call Optimization. Saumya Debray, and Todd A. Proebsting. TOPLAS: vol. 19, no 4, July 1997. Krakatoa: Decompilation in Java (Does Bytecode Reveal Source?), Todd A. Proebsting and Scott A. Watterson COOTS'97 June 1997. Toba: Java For Applications, A Way Ahead of Time (WAT) Compiler (in PDF), Todd A. Proebsting Gregg Townsend, Patrick Bridges, John H. Hartman, Tim Newsham and Scott A. Watterson COOTS'97 June 1997. Simple Translation of Goal-Directed Evaluation, Todd A. Proebsting, PLDI'97 June 1997. One-Pass, Optimal Tree Parsing - With Or Without Trees, Todd A. Proebsting and Benjamin R. Whaley, CC'96 April 1996. Filter Fusion, Todd A. Proebsting and Scott A. Watterson , POPL'96, January 1996. Optimizing an ANSI C Interpreter with Superoperators, Todd A. Proebsting, POPL'95, January 1995, pages 322--332. DCG: An Efficient, Retargetable Dynamic Code Generation System, Dawson R. Engler and Todd A. Proebsting, ASPLOS'94, October 1994, pages 263--273. Detecting Pipeline Structural Hazards Quickly, Todd A. Proebsting and Christopher W. Fraser POPL'94, January 1994, pages 280--287. Engineering a Simple, Efficient Code Generator Generator, Christopher W. Fraser, David R. Hanson, and Todd A. Proebsting ACM Letters on Programming Languages and Systems 1 (3), 213-226, Sep. 1992
Program Committees	ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 26-30, 2003, Anaheim, California (OOPSLA 2003). ACM SIGPLAN International Conference on Functional Programming, August 25-29, 2003, Ippsala, Sweden (ICFP 2003). International Conference on Compiler Construction, April 8-12, 2002, Grenoble, France (CC 2002). ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization, January 19, 2000, Boston, Massachusetts (Dynamo'00). Second Usenix Conference on Domain Specific Languages, October 6-9, 1999, Austin, Texas (DSL'99). ACM Conference on Principles of Programming Languages, January 20-22, 1999, San Antonio, Texas (POPL'99). ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97). Inaugural Workshop on Compiler Support for Systems Software (WCSSS'96) (Chairman). ACM Conference on Programming Language Design and Implementation, June, 1995 (PLDI'95).

Microsoft Research
One Microsoft Way
Redmond, WA 98052

(425) 703-8049