Jeffery von Ronne

Assistant Professor

Office: SB 4.01.34
Phone: (210) 458-5667
Fax: (210) 458-4437
Email: vonronne@cs.utsa.edu

Fall 2009 Office Hours: Wednesday 11;12pm, Thursday 11-12pm, and by appointment

Research

My interests span the areas of programming languages, compilers, security, and software engineering. As computers become ubiquitous and society becomes more and more dependent on them, software reliability, safety, and security are becoming increasingly important, but at the same time, increasing software complexity and interconnectivity are increasing the difficulty of producing software that is reliable, safe, and secure. I am especially interested using programming language technology to enable improvements in reliability, safety, and security while minimizing any associated performance penalties.

• D. Niedzielski, J. von Ronne, A. Gampe, K. Psarris. "A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination" at the 16th International Static Analysis Symposium (SAS 2009), to appear, Aug. 2009.
• W. Amme, J. von Ronne, Ph. Adler, M. Franz. "The effectiveness of producer-side machine-independent optimizations for mobile code." Software: Practice and Experience, to appear.
• J. von Ronne, A. Gampe, D. Niedzielski, K. Psarris. "Safe Bounds Check Annotations." Concurrency and Computations: Practice and Experience, Vol. 21, No. 1, pp 41-57, Jan. 2009.
• 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), Sept. 2008.

For more information, please refer to my complete list of publications.

Teaching

• CS 5363: Programming Languages and Compilers, Fall 2009 (Fall 2007, Fall 2005)
• CS 1063: Introduction to Programming, Fall 2009 (Fall 2008)
• CS 2213: Advanced Programming, (Spring 2009, Spring 2007)
• CS 7123: Research Seminar (Fall 2008)
• CS 3723: Programming Languages (Spring 2008, Fall 2006, Spring 2006)
• CS 4773: Object Oriented Systems (Fall 2007)
• Prinicples of Operating Systems (Summer 2004 at UCI)
• Dynamic Compilation (Summer 2001, co-taught with Wolfram Amme at FSU Jena)

Research Group

• Andreas Gampe (PhD student)
• David Niedzielski (co-advised PhD student)
• Micah Spears (PhD student)

• Adam Cramer (MS, 2008)
• Marc-André Möller (visitor, 2006)