| 2015 | PPoPP | Efficient and reasonable object-oriented concurrency. | Scott West, Sebastian Nanz, Bertrand Meyer |
| 2013 | ECSA | Concurrent Object-Oriented Development with Behavioral Design Patterns. | Benjamin Morandi, Scott West, Sebastian Nanz, Hassan Gomaa |
| 2013 | ESEM | Benchmarking Usability and Performance of Multicore Languages. | Sebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer |
| 2013 | EuroPar | Examining the Expert Gap in Parallel Programming. | Sebastian Nanz, Scott West, Kaue Soares da Silveira |
| 2013 | RV | To Run What No One Has Run Before: Executing an Intermediate Verification Language. | Nadia Polikarpova, Carlo A. Furia, Scott West |
| 2012 | ICFEM | Demonic Testing of Concurrent Programs. | Scott West, Sebastian Nanz, Bertrand Meyer |
| 2010 | ICFEM | A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. | Scott West, Sebastian Nanz, Bertrand Meyer |
| 2010 | IROS | Deriving concurrent control software from behavioral specifications. | Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer |