| 2023 | ICRA | Real-Time Unified Trajectory Planning and Optimal Control for Urban Autonomous Driving Under Static and Dynamic Obstacle Constraints. | Rowan Dempster, Mohammad K. Al-Sharman, Derek Rayside, William Melek |
| 2022 | ICRA | DRG: A Dynamic Relation Graph for Unified Prior-Online Environment Modeling in Urban Autonomous Driving. | Rowan Dempster, Mohammad K. Al-Sharman, Yeshu Jain, Jeffery Li, Derek Rayside, William Melek |
| 2017 | FASE | Bordeaux: A Tool for Thinking Outside the Box. | Vajih Montaghami, Derek Rayside |
| 2015 | ICSE | Comparing Software Architecture Recovery Techniques Using Accurate Dependencies. | Thibaud Lutellier, Devin Chollak, Joshua Garcia, Lin Tan, Derek Rayside, Nenad Medvidovic, Robert Kroeger |
| 2015 | MODELS | Pattern-based debugging of declarative models. | Vajih Montaghami, Derek Rayside |
| 2014 | ICSE | A compiler project with learning progressions. | Derek Rayside |
| 2014 | SPLC | Comparison of exact and approximate multi-objective optimization for software product lines. | Rafael Olaechea, Derek Rayside, Jianmei Guo, Krzysztof Czarnecki |
| 2013 | GPCE | On the simplicity of synthesizing linked data structure operations. | Darya Kurilova, Derek Rayside |
| 2013 | ICSE | Example-driven modeling: model = abstractions + examples. | Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside |
| 2013 | SPLC | Visualization and exploration of optimal variants in product line engineering. | Alexandr Murashkin, Michal Antkiewicz, Derek Rayside, Krzysztof Czarnecki |
| 2012 | GPCE | Synthesizing iterators from abstraction functions. | Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson |
| 2012 | MODELS | Modelling and multi-objective optimization of quality attributes in variability-rich software. | Rafael Olaechea, Steven T. Stewart, Krzysztof Czarnecki, Derek Rayside |
| 2011 | ICSE | Unifying execution of imperative and declarative code. | Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson |
| 2009 | ICSE | Equality and hashing for (almost) free: Generating implementations from abstraction functions. | Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson |
| 2009 | OOPSLA | Agile specifications. | Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson |
| 2004 | ISSTA | Automating commutativity analysis at the design level. | Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson |
| 2002 | CHI | SHriMP views: an interactive environment for information visualization and navigation. | Margaret-Anne D. Storey, Casey Best, Jeff Michaud, Derek Rayside, Marin Litoiu, Mark A. Musen |
| 2001 | ICSE | On the Syllogistic Structure of Object-Oriented Programming. | Derek Rayside, Kostas Kontogiannis |
| 2000 | OOPSLA | On the predictability of Java byte codes (abstract) (poster session). | Karel Driesen, Patrick Lam, Jerome Miecznikowski, Feng Qian, Derek Rayside |
| 2000 | OOPSLA | An Aristotelian understanding of object-oriented programming. | Derek Rayside, Gerard T. Campbell |
| 2000 | SIGCSE | Aristotle and object-oriented programming: why modern students need traditional logic. | Derek Rayside, Gerard T. Campbell |