Todd A. Proebsting

Affiliations:
  • University of Arizona, AZ, USA
  • Microsoft (former)


According to our database1, Todd A. Proebsting authored at least 38 papers between 1991 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Repeatability in computer systems research.
Commun. ACM, 2016

2007
The When-Who-How analysis of defects for improving the quality control process.
J. Syst. Softw., 2007

2006
Components Have Test Buddies.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2004
A research C# compiler
Softw. Pract. Exp., 2004

Problem identification using program checking.
Discret. Appl. Math., 2004

2002
BURG, IBURG, WBURG, GBURG: so many trees to rewrite, so little time <i>(invited talk)</i>.
Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, 2002

2001
Dynamic Variables.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

2000
A new implementation of the Icon language.
Softw. Pract. Exp., 2000

Experiences building a communication-oriented JavaOS.
Softw. Pract. Exp., 2000

Language-Agnostic Program Rendering for Presentation, Debugging and Visualization.
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

1999
Joust: A Platform for Liquid Software.
Computer, 1999

Finite-Static Code Generation.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

1998
Very Fast YACC-Compatible Parsers (For Very Little Effort).
Softw. Pract. Exp., 1998

Register Allocation in Structured Programs.
J. Algorithms, 1998

1997
Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization.
ACM Trans. Program. Lang. Syst., 1997

Index-Based Hyperlinks.
Comput. Networks, 1997

Simple Translation of Goal-Directed Evaluation.
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Code Compression.
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Krakatoa: Decompilation in Java (Does Bytecode Reveal Source?).
Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997

Toba: Java for Applications - A Way Ahead of Time (WAT) Compiler.
Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997

1996
Demand-Driven Register Allocation.
ACM Trans. Program. Lang. Syst., 1996

Filter Fusion.
Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

One-Pass, Optimal Tree Parsing - With Or Without Trees.
Proceedings of the Compiler Construction, 6th International Conference, 1996

1995
BURS Automata Generation.
ACM Trans. Program. Lang. Syst., 1995

Efficient Instruction Scheduling for Delayed-Load Architectures.
ACM Trans. Program. Lang. Syst., 1995

Optimizing an ANSI C Interpreter with Superoperators.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Scout: a communications-oriented operating system.
Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

1994
Short Communication: Correction to 'Producing Good Code for the <tt> case </tt> Statement'.
Softw. Pract. Exp., 1994

USC: A Universal Stub Compiler.
Proceedings of the ACM SIGCOMM 1994 Conference on Communications Architectures, Protocols and Applications, London, UK, August 31, 1994

Detecting Pipeline Structural Hazards Quickly.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Scout: A Communications-Oriented Operating System (Abstract).
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

DCG: An Efficient, Retargetable Dynamic Code Generation System.
Proceedings of the ASPLOS-VI Proceedings, 1994

1992
Code Generation Techniques.
PhD thesis, 1992

BURG: fast optimal instruction selection and tree parsing.
ACM SIGPLAN Notices, 1992

Engineering a Simple, Efficient Code-Generator Generator.
LOPLAS, 1992

Probalistic Register Allocation.
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

Simple and Efficient BURS Table Generation.
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

1991
Linear-Time, Optimal Code Scheduling for Delayed-Load Architectures.
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991


  Loading...