Richard Joiner

According to our database, Richard Joiner authored at least 3 papers between 2012 and 2014.

Collaborative distances:

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

2014

Specialization Slicing.

Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps

ACM Trans. Program. Lang. Syst., 2014

Efficient runtime-enforcement techniques for policy weaving.

Richard Joiner, Thomas W. Reps, Somesh Jha, Mohan Dhawan, Vinod Ganapathy

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2012

Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement.

Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Saïdi, Vinod Yegneswaran

Proceedings of the Computer Aided Verification - 24th International Conference, 2012