6 citations · 9 across the 8 of their papers we have counts for
1 paper · 1 filter
Jérôme Dohrau, Alexander J. Summers, Caterina Urban +2
Information about the memory locations accessed by a program is, for instance, required for program parallelisation and program verification. Existing inference techniques for this…