Jeffery von Ronne
Associate Professor
Department of Computer Science
The University of Texas at San Antonio
One UTSA Circle
San Antonio, TX, 78249-1644
Office: FLN 4.01.14
Phone: (210) 458-5667
Fax: (210) 458-4437
Email: vonronne@cs.utsa.edu
Spring 2013 Office Hours: Mon., Tues., Wed. 4:00-5:00pm, and by appointment.
Teaching
- CS 5363: Programming Languages and
Compilers, Spring 2013
(Fall 2012
Fall 2009,
Fall 2007,
Fall 2005)
- CS 4733: Project Management (Fall 2012)
- 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 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.
Select 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.
For more information, please refer to
my complete list of publications or email
vonronne@cs.utsa.edu.
Research Group
Current Students
Alumni and Past Visitors
Shamim Ashik (MS 2012)
Keyvan Nayyeri (MS 2012)
Adam Cramer (MS, 2008)
Zi Yan (past graduate research assistant, 2010-2011)
Thomas Kluge (visiting scholar, 2010-2011)
Matthias Günther (visiting scholar, 2010-2011)
David Malloy (Undergraduate Research Assistant, 2011-2012)
Alejandro Perdomo (Undergraduate Research Assistant, 2009-2010)
Jonathan Vasek (Undergraduate Research Assistant, 2009-2011)
Marc-André Möller (visiting, 2006)