Travelled to:2 × USA
Collaborated with:W.Amme M.Franz D.Niedzielski A.Gampe K.Psarris N.Dalton
Talks about:mobil (2) safe (2) code (2) base (2) constraint (1) represent (1) referenti (1) quantifi (1) control (1) benefit (1)
Person: Jeffery von Ronne
DBLP: Ronne:Jeffery_von
Contributed to:
2009
2005
2001Wrote 3 papers:
- SAS-2009-NiedzielskiRGP #bound #constraints #control flow
- A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination (DN, JvR, AG, KP), pp. 137–153.
- COCV-J-2005-AmmeRF #mobile
- Quantifying the Benefits of SSA-Based Mobile Code (WA, JvR, MF), pp. 103–119.
- PLDI-2001-AmmeDFR #named #representation #type safety
- SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form (WA, ND, MF, JvR), pp. 137–147.