Travelled to:
1 × Sweden
1 × USA
Collaborated with:
D.R.Engler ∅
Talks about:
symbol (2) practic (1) librari (1) symmmu (1) runtim (1) memori (1) execut (1) access (1) point (1) integ (1)
Person: Anthony Romano
DBLP: Romano:Anthony
Contributed to:
Wrote 2 papers:
- ASE-2014-RomanoE #library #memory management #named #runtime
- symMMU: symbolically executed runtime libraries for symbolic memory access (AR, DRE), pp. 247–258.
- VMCAI-2014-Romano #float #integer #testing
- Practical Floating-Point Tests with Integer Code (AR), pp. 337–356.