Jeffery von Ronne
Orcid: 0000-0002-6575-196X
According to our database1,
Jeffery von Ronne
authored at least 22 papers
between 2001 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2002
2004
2006
2008
2010
2012
2014
2016
0
1
2
3
4
1
1
2
1
1
2
2
1
2
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2017
Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language.
Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017
Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures.
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.
Parallel Comput., 2016
2014
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.
Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013
Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013
2012
Proceedings of the 2nd edition on Programming systems, 2012
2011
2009
The effectiveness of producer-side machine-independent optimizations for mobile code.
Softw. Pract. Exp., 2009
Proceedings of the Static Analysis, 16th International Symposium, 2009
2008
Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008
2007
ACM Trans. Archit. Code Optim., 2007
Proceedings of the Genetic Programming, 10th European Conference, 2007
2005
Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005
2004
Proceedings of the 2004 Workshop on Interpreters, Virtual Machines and Emulators, 2004
2003
Proceedings of the Compiler Optimization Meets Compiler Verification, 2003
2002
Can fault-exposure-potential estimates improve the fault detection abilities of test suites?
Softw. Test. Verification Reliab., 2002
Efficient online optimization by utilizing offline analysis and the safeTSA representation.
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.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001