Jeffery von Ronne

Publication Activity (10 Years)

Years Active: 2001-2017
Publications (10 Years): 3

Top Topics

Privacy Enhancing

Programming Language

Program Execution

Sensitive Information

Top Venues

Parallel Comput.

Publications

Claiborne Johnson, Thomas MacGahan, John Heaps, Kevin Baldor, Jeffery von Ronne, Jianwei Niu
Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures. SACMAT (2017)
Thomas MacGahan, Claiborne Johnson, Armando Rodriguez, Jeffery von Ronne, Jianwei Niu
Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language. SACMAT (2017)
Lucas A. Wilson, Jeffery von Ronne
A task-uncoordinated distributed dataflow model for scalable high performance parallel program execution. Parallel Comput. 51 (2016)
Lucas A. Wilson, Jeffery von Ronne
A Distributed Dataflow Model for Task-Uncoordinated Parallel Program Execution. ICPP Workshops (2014)
Andreas Gampe, Jeffery von Ronne
Security completeness: towards noninterference in composed languages. PLAS (2013)
Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne, Jared Bennatt, Anupam Datta, Limin Jia, William H. Winsborough
Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. SACMAT (2013)
Jeffery von Ronne
Leveraging actors for privacy compliance. AGERE!@SPLASH (2012)
Andreas Gampe, Jeffery von Ronne, David Niedzielski, Jonathan Vasek, Kleanthis Psarris
Safe, multiphase bounds check elimination in Java. Softw. Pract. Exp. 41 (7) (2011)
David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. SAS (2009)
Jeffery von Ronne, Andreas Gampe, David Niedzielski, Kleanthis Psarris
Safe bounds check annotations. Concurr. Comput. Pract. Exp. 21 (1) (2009)
Wolfram Amme, Jeffery von Ronne, Philipp Adler, Michael Franz
The effectiveness of producer-side machine-independent optimizations for mobile code. Softw. Pract. Exp. 39 (10) (2009)
Wolfram Amme, Thomas S. Heinze, Jeffery von Ronne
Intermediate Representations of Mobile Code. Informatica (Slovenia) 32 (1) (2008)
Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris
Speculative improvements to verifiable bounds check elimination. PPPJ (2008)
Kenneth L. Holladay, Kay Robbins, Jeffery von Ronne
: A Stack Based GP Language for Vector Processing. EuroGP (2007)
Wolfram Amme, Jeffery von Ronne, Michael Franz
SSA-based mobile code: Implementation and empirical evaluation. ACM Trans. Archit. Code Optim. 4 (2) (2007)
Wolfram Amme, Jeffery von Ronne, Michael Franz
Quantifying the Benefits of SSA-Based Mobile Code. Electron. Notes Theor. Comput. Sci. 141 (2) (2005)
Jeffery von Ronne, Ning Wang, Michael Franz
Interpreting programs in static single assignment form. IVME (2004)
Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz
Code Annotation for Safe and Efficient Dynamic Object Resolution. Electron. Notes Theor. Comput. Sci. 82 (2) (2003)
Wei Chen, Roland H. Untch, Gregg Rothermel, Sebastian G. Elbaum, Jeffery von Ronne
Can fault-exposure-potential estimates improve the fault detection abilities of test suites? Softw. Test. Verification Reliab. 12 (4) (2002)
Gregg Rothermel, Mary Jean Harrold, Jeffery von Ronne, Christie Hong
Empirical studies of test-suite reduction. Softw. Test. Verification Reliab. 12 (4) (2002)
Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz
Efficient online optimization by utilizing offline analysis and the safeTSA representation. PPPJ/IRE (2002)
Wolfram Amme, Niall Dalton, Michael Franz, Jeffery von Ronne
SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form. PLDI (2001)