2009 | ||
---|---|---|
2 | EE | 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 | ||
1 | EE | Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris: Speculative improvements to verifiable bounds check elimination. PPPJ 2008: 85-94 |
1 | David Niedzielski | [1] [2] |
2 | Kleanthis Psarris | [1] [2] |
3 | Jeffery von Ronne | [1] [2] |