This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
The versions of some of the papers provided here differ from from the versions actually published.
J. von Ronne. A Safe and Efficient Machine-Independent Code Transportation Format Based on Static Single Assignment Form and Applied to Just-In-Time Compilation. PhD Dissertation, University of California, August 2005.
J. von Ronne. Test Suite Minimization: An Empirical Investiation. University Honors College thesis, Oregon State University. June 1999.
J. von Ronne, A. Gampe, D. Niedzielski, K. Psarris. "Safe Bounds Check Annotations". Concurrency and Computations: Practice and Experience, 2008 (to appear). [local preprint]
W. Amme, T.S. Heinze, J. von Ronne. "Intermediate Representations of Mobile Code". Informatica. Vol 32, No. 1, pp. 1-25. April 2008. [official version]
W. Amme, J. von Ronne, and M. Franz. "SSA-Based Mobile Code: Implementation and Empirical Evaluation". ACM Transactions on Archtiecture and Code Optimization (TACO), Vol. 4, No. 2, Art. 13 (36 pages). June 2007. [official link] [author's version]
W. Chen, R. H. Untch, G. Rothermel, S. Elbaum, and J. von Ronne "Can Fault-Exposure-Potential Estimates Improve the Fault Detection Abilities of Test Suites?". Journal of Software Testing, Verification, and Reliability, Vol. 12, No. 4, pp. 197-218. December 2002. [official link] [author's preprint]
G. Rothermel, M. J. Harrold, J. von Ronne, C. Hong. "Empirical Studies of Test Suite Reduction". Journal of Software Testing, Verification, and Reliability, Vol. 12, No. 4, pp. 219-249. December 2002. [official link] [author's preprint]
A. Gampe, J. von Ronne, D. Niedzielski, K. Psarris. "Speculative Improvements to Verifiable Bounds Check Elimination," at the International Conference on Principles and Practice of Programming In Java (PPPJ 2008), September 2008 (to appear). [author's preprint]
K. Holladay, K. Robbins, J. von Ronne. "FIFTH: A stack based GP language for vector processing," at the 10th European conference on Genetic Programming (EuroGP 2007). Valencia, Spain. April 2007. In Lecture Notes in Computer Science (LNCS), Vol. 4445, pp. 102-113, June 2007. [official link] [author's version]
W. Amme, J. von Ronne, M. Franz. "Quantifying the Benefits of SSA-Based Mobile Code", at the 4th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2005). Edinburgh, Scotland, April 2005. In Electronic Notes in Theoretical Computer Science (ENTCS), 141 (2), pp. 103-119, December 2005. [official link] [author's version]
J. von Ronne, N. Wang, M. Franz. "Interpreting Programs in Static Single Assignment Form", at the ACM SIGPLAN 2004 Workshop on Interpreters, Virtual Machines and Emulators (IVME'04). Washington, D.C., June 2004. [official link] [author's version] (See also ICS TR 03-19)
A. Hartmann, W. Amme, J. von Ronne, M. Franz. "Code Annotation for Safe and Efficient Dynamic Object Resolution", at the 2nd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2003), Warsaw, Poland, April 2003. In Electronic Notes in Theoretical Computer Science (ENTCS), 82 (2), pp. 362-376, April 2004. [official link] [local preprint]
W. Amme, N. Dalton, J. von Ronne, and M. Franz. "SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form" in the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2001). Snowbird, Utah, June 2001. In ACM SIGPLAN Notices, 36 (5), pp. 137-147, May 2001. [official link] [author's version]
W. Amme, N. Dalton, P. Fröhlich, V. Haldar, P. S. Housel, J. von Ronne, Ch. H. Stork, S. Zhenochin, and M. Franz. "Project transPROse: Reconciling Mobile-Code Security With Execution Efficiency" in the Second DARPA Information Survivability Conference and Exposition (DISCEX II). Anaheim, California, June 2001. [official link] [author's copy]
M. Franz, W. Amme, M. Beers, N. Dalton, P. H. Fröhlich, V. Haldar, A. Hartmann, P. S. Housel, F. Reig, J. von Ronne, Ch. H. Stork, and S. Zhenochin. "Making Mobile Code Both Safe and Efficient" in J. Lala (ed.), OASIS: Foundations of Intrusion Tolerant Systems. IEEE Computer Society Press, Los Alamitos, CA, 2003. Pages 337-358. [IEEE link] [author's version]
J. von Ronne, A. Hartmann, W. Amme, M. Franz. "Efficient Online Optimization by Utilizing Offline Analysis and the SafeTSA Representation" in J. Power and J. Waldron (eds.), Recent Advances in Java Technology: Theory, Application, Implementation. Computer Science Press, Trinity College Dublin, 2002. Chapter 27, pp. 233-241. (See IRE2002 paper)
J. von Ronne, K. Psarris, D. Niedzielski. "Verifiable Range Analysis for Array Bounds Check Elimination" at the 13th International Workshop on Compilers for Parallel Computers (CPC 2007). Lisbon, Portugal. July 2007.
P. Adler, W. Amme, J. von Ronne, M. Franz. "Producer-Side Platform-Independent Optimizations and Their Effects on Mobile-Code Performance" at the 10th IEEE Workshop on Interaction between Compilers and Computer Architectures (INTERACT-10). Austin, Texas. February 2006.
W. Amme, J. von Ronne, M. Franz. "Using the SafeTSA Representation to Boost the Performance of an Existing Java Virtual Machine", at the 10th International Workshop on Compilers for Parallel Computers (CPC 2003). Amsterdam, The Netherlands. January 2003.
J. von Ronne, A. Hartmann, W. Amme, M. Franz "Efficient Online Optimization by Utlizing Offline Analysis and the SafeTSA Representation", at the 2nd Workshop on Intermediate Representation Engineering for Virtual Machines (IRE2002). Dublin, Ireland. June 2002. [ACM Digital Library] [author's revised version]
M. Franz, J. von Ronne, W. Amme and N. Dalton. "An Alternative to Stack-Based Mobile-Code Representations" in the Workshop on Intermediate Representation Engineering for the Java Virtual Machine (IRE2001), an invited session at the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2001). Orlando, Florida. July 2001.
J. von Ronne, M. Franz, N. Dalton, and W. Amme. "Compile Time Elimination of Null- and Bounds-Checks" at the 9th Workshop on Compilers for Parallel Computers (CPC 2001). Edinburgh, Scotland. June 2001.
W. Amme, N. Dalton, M. Franz, and J. von Ronne. "A Type-Safe Mobile Code Representation Aimed At Supporting Dynamic Optimization At The Target Site" in the Third ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3). Monterey, California. December 2000. (Best Paper Award).
M. Franz, W. Amme, and J. von Ronne. "Safe computer code formats and methods for generating safe computer code". United States Patent 7,117,488. October 3, 2006. (Assigned to The Regents of the University of California.) [Text at USPTO]
D. Niedzielski, A. Gampe, J. von Ronne, and K. Psarris. A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination, Technical Report 2008-009. Department of Computer Science, The University of Texas at San Antonio, June 2008.
W. Amme, J. von Ronne, and M. Franz. SSA-based Mobile Code: Implementation and Empirical Evaluation. Technical Report 2006-005. Department of Computer Science, The University of Texas at San Antonio. 2006.
J. von Ronne, W. Amme, and M. Franz. SafeTSA: An Inherently Type-Safe SSA-based Code Format Technical Report 2006-004. Department of Computer Science, The University of Texas at San Antonio. 2006.
J. von Ronne, N. Wang, A. Apel, and M. Franz. A Virtual Machine for Interpreting Programs in Static Single Assignment Form. Technical Report 03-19. School of Information and Computer Science, University of California, Irvine. October 2003. (Revised May 14, 2004)
J. von Ronne, N. Wang, and M. Franz. Interpreting Programs in Static Single Assignment Form. Technical Report 03-12. School of Information and Computer Science, University of California, Irvine. April 2003. (Obsoleted by TR 03-19)
W. Amme, J. von Ronne, and M. Franz. Using the SafeTSA Representation to Boost the Performance of an Existing Java Virtual Machine. Math/Inf/06/02. Friedrich-Schiller-Universität Jena, Jenaer Schriften zur Mathematik und Informatik. April 2002. (See CPC2003 paper.)
W. Amme, N. Dalton, P. Fröhlich, V. Haldar, P. S. Housel, J. von Ronne, Ch. H. Stork, S. Zhenochin, and M. Franz. Project transPROse: Reconciling Mobile-Code Security With Execution Efficiency. Technical Report 01-01. Department of Information and Computer Science, University of California, Irvine. January 2001. (See DISCEX-II paper.)
W. Amme, N. Dalton, M. Franz, and J. von Ronne. SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form. Technical Report 00-43. Department of Information and Computer Science, University of California, Irvine. November 2000. (See PLDI 2001 paper.)
W. Chen, G. Rothermel, R. H. Untch, and J. von Ronne. An Empirical Study of the Effects of Incorporating Fault Exposure Potential Estimates into a Test Data Adequacy Criterion. Technical Report 00-60-04. Computer Science Department, Oregon State University. March 2000. (See the "fault-exposure-potential" journal paper.)
G. Rothermel, M. J. Harrold, J. von Ronne, C. Hong, and J. Ostrin. Experiments to Assess the Cost-Benefits of Test-Suite Reduction. Technical Report 99-60-09. Computer Science Department, Oregon State University. December 1999. (See the "test suite reduction" journal paper.)