Todd A. Proebsting

Publication Activity (10 Years)

Years Active: 1991-2016
Publications (10 Years): 1

Top Venues

Commun. ACM

Univ. of Wisconsin-Madison (PHD)

Education History

Univ. of Wisconsin-Madison

PHD

Publications

Christian S. Collberg, Todd A. Proebsting
Repeatability in computer systems research. Commun. ACM 59 (3) (2016)
Pankaj Jalote, Rajesh Munshi, Todd A. Proebsting
The When-Who-How analysis of defects for improving the quality control process. J. Syst. Softw. 80 (4) (2007)
Pankaj Jalote, Rajesh Munshi, Todd A. Proebsting
Components Have Test Buddies. CBSE (2006)
David R. Hanson, Todd A. Proebsting
A research C# compiler Softw. Pract. Exp. 34 (13) (2004)
Christian S. Collberg, Todd A. Proebsting
Problem identification using program checking. Discret. Appl. Math. 144 (3) (2004)
Todd A. Proebsting
. ACM SIGPLAN Workshop on Rule-Based Programming (2002)
David R. Hanson, Todd A. Proebsting
Dynamic Variables. PLDI (2001)
Todd A. Proebsting, Gregg M. Townsend
A new implementation of the Icon language. Softw. Pract. Exp. 30 (8) (2000)
John H. Hartman, Larry L. Peterson, Andy C. Bavier, Peter A. Bigot, Patrick G. Bridges, Allen Brady Montz, Rob Piltz, Todd A. Proebsting, Oliver Spatscheck
Experiences building a communication-oriented JavaOS. Softw. Pract. Exp. 30 (10) (2000)
Christian S. Collberg, Sean Davey, Todd A. Proebsting
Language-Agnostic Program Rendering for Presentation, Debugging and Visualization. VL (2000)
Christopher W. Fraser, Todd A. Proebsting
Finite-Static Code Generation. PLDI (1999)
John H. Hartman, Peter A. Bigot, Patrick G. Bridges, Allen Brady Montz, Rob Piltz, Oliver Spatscheck, Todd A. Proebsting, Larry L. Peterson, Andy C. Bavier
Joust: A Platform for Liquid Software. Computer 32 (4) (1999)
Sampath Kannan, Todd A. Proebsting
Register Allocation in Structured Programs. J. Algorithms 29 (2) (1998)
Achyutram Bhamidipaty, Todd A. Proebsting
Very Fast YACC-Compatible Parsers (For Very Little Effort). Softw. Pract. Exp. 28 (2) (1998)
Saumya K. Debray, Todd A. Proebsting
Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization. ACM Trans. Program. Lang. Syst. 19 (4) (1997)
Todd A. Proebsting
Simple Translation of Goal-Directed Evaluation. PLDI (1997)
John H. Hartman, Todd A. Proebsting, Rajesh Sundaram
Index-Based Hyperlinks. Comput. Networks 29 (8-13) (1997)
Todd A. Proebsting, Gregg M. Townsend, Patrick G. Bridges, John H. Hartman, Tim Newsham, Scott A. Watterson
Toba: Java for Applications - A Way Ahead of Time (WAT) Compiler. COOTS (1997)
Jens Ernst, William S. Evans, Christopher W. Fraser, Steven Lucco, Todd A. Proebsting
Code Compression. PLDI (1997)
Todd A. Proebsting, Scott A. Watterson
Krakatoa: Decompilation in Java (Does Bytecode Reveal Source?). COOTS (1997)
Todd A. Proebsting, Benjamin R. Whaley
One-Pass, Optimal Tree Parsing - With Or Without Trees. CC (1996)
Todd A. Proebsting, Charles N. Fischer
Demand-Driven Register Allocation. ACM Trans. Program. Lang. Syst. 18 (6) (1996)
Todd A. Proebsting, Scott A. Watterson
Filter Fusion. POPL (1996)
Allen Brady Montz, David Mosberger, Sean W. O'Malley, Larry L. Peterson, Todd A. Proebsting
Scout: a communications-oriented operating system. HotOS (1995)
Sampath Kannan, Todd A. Proebsting
Register Allocation in Structured Programs. SODA (1995)
Todd A. Proebsting
Optimizing an ANSI C Interpreter with Superoperators. POPL (1995)
Steven M. Kurlander, Todd A. Proebsting, Charles N. Fischer
Efficient Instruction Scheduling for Delayed-Load Architectures. ACM Trans. Program. Lang. Syst. 17 (5) (1995)
Todd A. Proebsting
BURS Automata Generation. ACM Trans. Program. Lang. Syst. 17 (3) (1995)
Dawson R. Engler, Todd A. Proebsting
DCG: An Efficient, Retargetable Dynamic Code Generation System. ASPLOS (1994)
Sean W. O'Malley, Todd A. Proebsting, Allen Brady Montz
USC: A Universal Stub Compiler. SIGCOMM (1994)
Todd A. Proebsting, Christopher W. Fraser
Detecting Pipeline Structural Hazards Quickly. POPL (1994)
Allen Brady Montz, David Mosberger, Sean W. O'Malley, Larry L. Peterson, Todd A. Proebsting, John H. Hartman
Scout: A Communications-Oriented Operating System (Abstract). OSDI (1994)
Sampath Kannan, Todd A. Proebsting
Statement'. Softw. Pract. Exp. 24 (2) (1994)
Christopher W. Fraser, Robert R. Henry, Todd A. Proebsting
BURG: fast optimal instruction selection and tree parsing. ACM SIGPLAN Notices 27 (4) (1992)
Christopher W. Fraser, David R. Hanson, Todd A. Proebsting
Engineering a Simple, Efficient Code-Generator Generator. LOPLAS 1 (3) (1992)
Todd A. Proebsting
Simple and Efficient BURS Table Generation. PLDI (1992)
Todd A. Proebsting, Charles N. Fischer
Probalistic Register Allocation. PLDI (1992)
Todd A. Proebsting, Charles N. Fischer
Linear-Time, Optimal Code Scheduling for Delayed-Load Architectures. PLDI (1991)

Todd A. Proebsting.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Todd A. Proebsting