Travelled to:1 × China
1 × USA
1 × United Kingdom
Collaborated with:T.W.Reps S.Jha M.Aung S.Horwitz M.Dhawan V.Ganapathy M.Fredrikson P.A.Porras H.Saïdi V.Yegneswaran
Talks about:runtim (2) polici (2) enforc (2) effici (2) counterexampl (1) techniqu (1) abstract (1) special (1) slice (1) refin (1)
Person: Richard Joiner
DBLP: Joiner:Richard
Contributed to:
2014
2014
2012Wrote 3 papers:
- FSE-2014-JoinerRJDG #performance #policy #weaving
- Efficient runtime-enforcement techniques for policy weaving (RJ, TWR, SJ, MD, VG), pp. 224–234.
- PLDI-2014-AungHJR #slicing
- Specialization slicing (MA, SH, RJ, TWR), p. 19.
- CAV-2012-FredriksonJJRPSY #abstraction #performance #policy #refinement #runtime #using
- Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement (MF, RJ, SJ, TWR, PAP, HS, VY), pp. 548–563.