 | 2009 |
|---|
| 4 |       | David Niedzielski,
Jeffery von Ronne,
Andreas Gampe,
Kleanthis Psarris:
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination.
SAS 2009: 137-153 |
| 3 | | Jeffery von Ronne,
Andreas Gampe,
David Niedzielski,
Kleanthis Psarris:
Safe bounds check annotations.
Concurrency and Computation: Practice and Experience 21(1): 41-57 (2009) |
| 2008 |
|---|
| 2 | | Andreas Gampe,
Jeffery von Ronne,
David Niedzielski,
Kleanthis Psarris:
Speculative improvements to verifiable bounds check elimination.
PPPJ 2008: 85-94 |
| 1999 |
|---|
| 1 | | David Niedzielski,
Kleanthis Psarris:
An Analytical Comparison of the I-Test and Omega Test.
LCPC 1999: 251-270 |
