2018 |
Refactoring Large Functions
Blogpost |
|---|---|
2010 |
Adapting software fault isolation to contemporary CPU architectures
David Sehr, Robert Muth, Cliff Biffle, Victor Khimenko, Egor Pasko, Karl Schimpf, Bennet Yee, Brad Chen USENIX Security'10 |
2009 |
Native Client: A sandbox for portable, untrusted x86 native code
Bennet Yee, David Sehr, Gregory Dardyk, J. Bradley Chen, Robert Muth, Tavis Ormandy, Shiki Okasaka, Neha Narula, Nicholas Fullagar SOSP 2009 |
2005 |
Pin: building customized program analysis tools with dynamic instrumentation
Chi-Keung Luk, Robert Muth, Harish Patil, Robert Cohn, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi,Kim Hazelwood PLDI 2005: 190-200 |
2004 |
Ispike: A Post-link Optimizer for the Intel™ Itanium™ Architecture Chi-Keung Luk, Robert Muth, Harish Patil, Robert Cohn, P. Geoffrey Lowney CGO 2004: 15-26 |
2002 |
Profile-guided Post-link Stride Prefetching Chi-Keung Luk, Robert Muth, Harish Patil, Richard Weiss, P. Geoffrey Lowney, Robert Cohn ICS 2002: 167-178 |
2001 |
Kernel Optimizations and Prefetch with the Spike Executable Optimizer Richard Flower, Chi-Keung Luk, Robert Muth, Harish Patil, John Shakshober, Robert Cohn, Geoffrey Lowney FDDO-4 2001 Alto: A Link-time Optimizer for the Compaq Alpha Robert Muth, Saumya K. Debray, Scott A. Watterson, Koenraad De Bosschere Software - Practice and Experience 31(1): 67-101 (2001) |
2000 |
On the Complexity of Flow-Sensitive Dataflow Analyses Robert Muth, Saumya K. Debray POPL 2000: 67-80 Code Specialization Based on Value Profiles Robert Muth, Scott A. Watterson, Saumya K. Debray SAS 2000: 340-359 Compiler Techniques for Code Compaction Saumya K. Debray, William S. Evans, Robert Muth, Bjorn De Sutter TOPLAS 22(2): 378-415 (2000) [Preliminary version appeared in WCSSS-99, May 1999] |
1999 |
Link-Time Improvement of Scheme Programs Saumya K. Debray, Robert Muth, Scott A. Watterson CC 1999: 76-90 ALTO: A Platform for Object Code Modificiation Robert Muth Ph.D. Thesis , Computer Science Department, The Univerity of Arizona Compressing Differences of Executable Code Benda S. Baker, Udi Manber, and Robert Muth WCSSS-99 |
1998 |
Alias Analysis of Executable Code Saumya K. Debray, Robert Muth, Matthew Weippert POPL 1998: 12-24 |
1997 |
On the Complexity of Function Pointer May-Alias Analysis Robert Muth, Saumya K. Debray TAPSOFT 1997: 381-392 |
1996 |
Approximate Multiple Strings Search Robert Muth, Udi Manber CPM 1996: 75-86 |
1994 |
Two New 1-1-Correspondences on Trees Robert Muth Diplom Thesis, Johann Wolfgang Goethe-Univeristät, Frankfurt [revised and translated] |
un-pub. |
Register Liveness
Analysis Robert Muth [Manuscript] Conjugation of Spanish Verbs Robert Muth Abstract Algebra Factbook Robert Muth [snapshot] |