Jeffery von Ronne

Assistant Professor

Department of Computer Science
The University of Texas at San Antonio
One UTSA Circle
San Antonio, TX, 78249-1644

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

Jeffery von Ronne will be on leave from the University of Texas at San Antonio and visiting Carnegie Mellon University for the 2011/2012 academic year.

Teaching

15-110: Principles of Computing (Spring 2012, Fall 2011; co-taught with Tom Cortina at CMU)
CS 1063: Introduction to Programming (Spring 2011, Fall 2009, Fall 2008)
CS 4773: Object Oriented Systems (Fall 2010, Fall 2007)
CS 3723: Programming Languages (Fall 2010, Spring 2010, Spring 2008, Fall 2006, Spring 2006)
CS 5363: Programming Languages and Compilers (Fall 2009, Fall 2007, Fall 2005)
CS 2213: Advanced Programming, (Spring 2009, Spring 2007)
CS 7123: Research Seminar (Fall 2008)
Priniciples of Operating Systems (Summer 2004 at UCI)
Dynamic Compilation (Summer 2001, co-taught with Wolfram Amme at FSU Jena)

Research

I am especially interested using programming language technology to enable improvements in reliability, safety, security, and performance in the face of increased software complexity, extensibility, and interconnectivity.

Current Grant Funding:

CAREER: Contingent Static Analysis for Dynamically Composed Systems. National Science Foundation, CCF-0846010. 2009-2014.
TC: Medium: Privacy and Declassification Policy Enforcement Framework. National Science Foundation, CNS-0964710. 2010-2014.

Recent and Upcoming Papers:

A. Gampe, J. von Ronne. "Efficient Incremental Information Flow Control with Nested Control Regions" at the ACM SIGPLAN International Workshop on Programming Language And Systems Technologies for Internet Clients (PLASTIC 2011). Portland, Oregon. October 2011.
A. Gampe, J. von Ronne. "Information Flow Control with Errors" at the 2011 International Workshop on Foundations of Object-Oriented Languages (FOOL'11). Portland, Oregon. October 2011.
A. Gampe, J. von Ronne, D. Niedzielski, J. Vasek, K. Psarris. "Safe, multiphase bounds check elimination in Java." Software: Practice and Experience, Vol. 41, No. 7, pp. 753-788, June, 2011.
J. von Ronne, A. Gampe, D. Niedzielski, K. Psarris. "Safe Bounds Check Annotations." Concurrency and Computation: Practice and Experience, Vol. 21, No. 1, pp 41-57, Jan. 2009.

For more information, please refer to my complete list of publications or email vonronne@cs.utsa.edu.

Research Group

Current Students and Visitors

Andreas Gampe (PhD student)
Shamim Ashik (PhD student)
Keyvan Nayyeri (PhD student)
Zi Yan(PhD student)
David Malloy (Undergraduate Research Assistant)

Alumni and Past Visitors

Adam Cramer (MS, 2008)
Thomas Kluge (visiting scholar, 2010-2011)
Matthias Günther (visiting scholar, 2010-2011)
Alejandro Perdomo (Undergraduate Research Assistant, 2009-2010)
Jonathan Vasek (Undergraduate Research Assistant, 2009-2011)
Marc-André Möller (visiting, 2006)