| 2023 | ITiCSE | A Computational Thinking Obstacle Course Based on Bebras Tasks for K-12 Schools. | Taina Lehtimki, Rosemary Monahan, Aidan Mooney, Kevin Casey, Thomas J. Naughton |
| 2023 | ITiCSE | Computational Thinking Resources Inspired by Bebras. | Taina Lehtimki, Rosemary Monahan, Aidan Mooney, Kevin Casey, Thomas J. Naughton |
| 2022 | ITiCSE | Bebras-inspired Computational Thinking Primary School Resources Co-created by Computer Science Academics and Teachers. | Taina Lehtimki, Rosemary Monahan, Aidan Mooney, Kevin Casey, Thomas J. Naughton |
| 2013 | TrustCom | A Parallel Runtime Framework for Communication Intensive Stream Applications. | Servesh Muralidharan, Kevin Casey, David Gregg |
| 2006 | PLDI | Fast and flexible instruction selection with on-demand tree-parsing automata. | M. Anton Ertl, Kevin Casey, David Gregg |
| 2005 | CC | Tiger - An Interpreter Generation Tool. | Kevin Casey, David Gregg, M. Anton Ertl |
| 2003 | SAC | An Optimized Java Interpreter for Connected Devices and Embedded Systems. | Andrew Beatty, Kevin Casey, David Gregg, Andrew Nisbet |
| 2003 | SCOPES | Towards Superinstructions for Java Interpreters. | Kevin Casey, David Gregg, M. Anton Ertl, Andrew Nisbet |