Jeffery von Ronne

According to our database, Jeffery von Ronne authored at least 22 papers between 2001 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language.

Thomas MacGahan, Claiborne Johnson, Armando Rodriguez, Jeffery von Ronne, Jianwei Niu

Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017

Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures.

Claiborne Johnson, Thomas MacGahan, John Heaps, Kevin Baldor, Jeffery von Ronne, Jianwei Niu

Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017

2016

A task-uncoordinated distributed dataflow model for scalable high performance parallel program execution.

Lucas A. Wilson, Jeffery von Ronne

Parallel Comput., 2016

2014

A Distributed Dataflow Model for Task-Uncoordinated Parallel Program Execution.

Lucas A. Wilson, Jeffery von Ronne

Proceedings of the 43rd International Conference on Parallel Processing Workshops, 2014

2013

Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule.

Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne, Jared Bennatt, Anupam Datta, Limin Jia, William H. Winsborough

Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

Security completeness: towards noninterference in composed languages.

Andreas Gampe, Jeffery von Ronne

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

2012

Leveraging actors for privacy compliance.

Jeffery von Ronne

Proceedings of the 2nd edition on Programming systems, 2012

2011

Safe, multiphase bounds check elimination in Java.

Andreas Gampe, Jeffery von Ronne, David Niedzielski, Jonathan Vasek, Kleanthis Psarris

Softw. Pract. Exp., 2011

2009

The effectiveness of producer-side machine-independent optimizations for mobile code.

Wolfram Amme, Jeffery von Ronne, Philipp Adler, Michael Franz

Softw. Pract. Exp., 2009

Safe bounds check annotations.

Jeffery von Ronne, Andreas Gampe, David Niedzielski, Kleanthis Psarris

Concurr. Comput. Pract. Exp., 2009

A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination.

David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris

Proceedings of the Static Analysis, 16th International Symposium, 2009

2008

Intermediate Representations of Mobile Code.

Wolfram Amme, Thomas S. Heinze, Jeffery von Ronne

Informatica (Slovenia), 2008

Speculative improvements to verifiable bounds check elimination.

Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

2007

SSA-based mobile code: Implementation and empirical evaluation.

Wolfram Amme, Jeffery von Ronne, Michael Franz

ACM Trans. Archit. Code Optim., 2007

FIFTH^TM: A Stack Based GP Language for Vector Processing.

Kenneth L. Holladay, Kay Robbins, Jeffery von Ronne

Proceedings of the Genetic Programming, 10th European Conference, 2007

2005

Quantifying the Benefits of SSA-Based Mobile Code.

Wolfram Amme, Jeffery von Ronne, Michael Franz

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005

2004

Interpreting programs in static single assignment form.

Jeffery von Ronne, Ning Wang, Michael Franz

Proceedings of the 2004 Workshop on Interpreters, Virtual Machines and Emulators, 2004

2003

Code Annotation for Safe and Efficient Dynamic Object Resolution.

Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

2002

Empirical studies of test-suite reduction.

Gregg Rothermel, Mary Jean Harrold, Jeffery von Ronne, Christie Hong

Softw. Test. Verification Reliab., 2002

Can fault-exposure-potential estimates improve the fault detection abilities of test suites?

Wei Chen, Roland H. Untch, Gregg Rothermel, Sebastian G. Elbaum, Jeffery von Ronne

Softw. Test. Verification Reliab., 2002

Efficient online optimization by utilizing offline analysis and the safeTSA representation.

Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz

Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 2002

2001

SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form.

Wolfram Amme, Niall Dalton, Michael Franz, Jeffery von Ronne

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001