Rich Joiner

CRASH Project Systems Programmer
Executable Slicing Facilitator
Minimalist Website Developer

Publications

• Joiner, R., Reps, T., Jha, S., Dhawan, M., and Ganapathy, V., Efficient runtime enforcement techniques for policy weaving. In Proc. Foundations of Software Engineering (FSE), 2014. [abstract; PDF ACM]
• Aung, M., Horwitz, S., Joiner, R., and Reps, T., Specialization slicing. In ACM Trans. on Program. Lang. and Syst. 36, 2, Article 5 (July 2014), 67 pages. [abstract; PDF; ACM]
  PLDI summary: [PDF; ACM]
• Fredrikson, M., Joiner, R., Jha, S., Reps, T., Porras, P., Saïdi, H., and Yegneswaran, V., Efficient runtime policy enforcement using counterexample-guided abstraction refinement. In Proc. Computer-Aided Verification (CAV), 2012. [abstract; PDF; Springer-Verlag]

Resources

• UW-Madison Policy Weaving project: http://policy-weaving.cs.wisc.edu/
• JAM policy weaver: https://github.com/blackoutjack/jamweaver
• JAMScript enforcement: https://github.com/blackoutjack/jamscript
• JAM test suite: https://github.com/blackoutjack/jamtests
• Personal website: http://richjoiner.com/