Jeffery von Ronne

22 papers A* 1B 2C 3Journal 8Unranked 8

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