| 2023 | ISSTA | Finding Short Slow Inputs Faster with Grammar-Based Search. | Ziyad Alsaeed, Michal Young |
| 2023 | ISSTA | TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break. | Ziyad Alsaeed, Michal Young |
| 2018 | ICSE | Extending Existing Inference Tools to Mine Dynamic APIs. | Ziyad Alsaeed, Michal Young |
| 2013 | ICSE | 3rd international workshop on collaborative teaching of globally distributed software development (CTGDSD 2013). | Stuart R. Faulk, Michal Young, Rafael Prikladnicki, David M. Weiss, Lian Yu |
| 2012 | FIE | Intensive international Summer Schools in Global Distributed Software Development. | Arthur M. Farley, Stuart R. Faulk, Virginia Lo, Andrzej Proskurowski, Michal Young |
| 2011 | ICSE | Collaborative teaching of globally distributed software development: community building workshop (CTGDSD 2011). | Stuart R. Faulk, Michal Young, David M. Weiss, Lian Yu |
| 2011 | ICSE | SCORE 2011: the second student contest on software engineering. | Matteo Rossi, Michal Young |
| 2010 | SIGCSE | Internationalization of computer science education. | Sarah A. Douglas, Arthur M. Farley, Ginnie Lo, Andrzej Proskurowski, Michal Young |
| 2009 | ICSE | SLA Protection models for virtualized data centers. | Alessio Gambi, Mauro Pezz, Michal Young |
| 2008 | ASPLOS | General and efficient locking without blocking. | Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young |
| 2007 | OOPSLA | Transactions with isolation and cooperation. | Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young |
| 2004 | ICSE | Testing Object Oriented Software. | Mauro Pezz, Michal Young |
| 2003 | FASE | Symbiosis of Static Analysis and Program Testing. | Michal Young |
| 2001 | RTAS | Fault-Tolerant Scheduling under Time and Resource Constraints. | LihChyun Shu, Michal Young |
| 2000 | RTCSA | Chopping and versioning real-time transactions to avoid remote blocking. | LihChyun Shu, Michal Young |
| 1999 | ICSE | Residual Test Coverage Monitoring. | Christina Pavlopoulou, Michal Young |
| 1997 | ICSE | Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. | Mauro Pezz, Michal Young |
| 1997 | ICSE | ICSE 97 Doctoral Consortium (Workshop Summary). | Michal Young |
| 1996 | ISSTA | Generation of Multi-Formalism State-Space Analysis Tools. | Mauro Pezz, Michal Young |
| 1995 | APSEC | Two Dimensional Concurrent Program Debugging. | Lu Xu, Michal Young |
| 1994 | ISSTA | State-Space Analysis as an Aid to Testing (Abstract). | Michal Young |
| 1991 | ISSTA | Compositional Reachability Analysis Using Process Algebra. | Wei Jen Yeh, Michal Young |
| 1989 | ICSE | Rethinking the Taxonomy of Fault Detection Techniques. | Michal Young, Richard N. Taylor |
| 1989 | ISSTA | Integrated Concurrency Analysis in a Software Development Enviornment. | Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck |
| 1988 | ICSE | Design Principles behind Chiron: A UIMS for Software Environments. | Michal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly |