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)
Alumni and Past Visitors
Adam Cramer (MS, 2008)
Thomas Kluge (visiting scholar, 2010-2011)
Matthias Günther (visiting scholar, 2010-2011)
Jonathan Vasek (Undergraduate, 2009-2011)
Alejandro Perdomo (Undergraduate Researcher, 2009-2010)
Marc-André Möller (visiting, 2006)