Modeling Web Service Interactions Using the Coordination Language Reo. - Samira Tasharofi; Mohsen Vakilian; Roshanak Zilouchian Moghaddam; Marjan Sirjani (WS-FM, 2007)

Inferring Method Effect Summaries for Nested Heap Regions. - Mohsen Vakilian; Danny Dig; Robert L. Bocchino Jr.; Jeffrey Overbey; Vikram S. Adve; Ralph E. Johnson (ASE, 2009)

A type and effect system for deterministic parallel Java. - Robert L. Bocchino Jr.; Vikram S. Adve; Danny Dig; Sarita V. Adve; Stephen Heumann; Rakesh Komuravelli; Jeffrey Overbey; Patrick Simmons; Hyojin Sung; Mohsen Vakilian (OOPSLA, 2009)

The need for richer refactoring usage data. - Mohsen Vakilian; Nicholas Chen; Stas Negara; Balaji Ambresh Rajkumar; Roshanak Zilouchian Moghaddam; Ralph E. Johnson (PLATEAU, 2011)

Keshmesh: a tool for detecting and fixing java concurrency bug patterns. - Mohsen Vakilian; Stas Negara; Samira Tasharofi; Ralph E. Johnson (OOPSLA Companion, 2011)

Is It Dangerous to Use Version Control Histories to Study Source Code Evolution? - Stas Negara; Mohsen Vakilian; Nicholas Chen; Ralph E. Johnson; Danny Dig (ECOOP, 2012)

Use, disuse, and misuse of automated refactorings. - Mohsen Vakilian; Nicholas Chen; Stas Negara; Balaji Ambresh Rajkumar; Brian P. Bailey; Ralph E. Johnson (ICSE, 2012)

A Comparative Study of Manual and Automated Refactorings. - Stas Negara; Nicholas Chen; Mohsen Vakilian; Ralph E. Johnson; Danny Dig (ECOOP, 2013)

A Compositional Paradigm of Automating Refactorings. - Mohsen Vakilian; Nicholas Chen; Roshanak Zilouchian Moghaddam; Stas Negara; Ralph E. Johnson (ECOOP, 2013)

Joint review of how to solve it: a new aspect of mathematical method by George Polya and Street-fighting mathematics by Sanjoy Mahajan. - Mohsen Vakilian (SIGACT News, 2013)

Alternate refactoring paths reveal usability problems. - Mohsen Vakilian; Ralph E. Johnson (ICSE, 2014)

Less is sometimes more in the automation of software evolution tasks - Mohsen Vakilian (2014)

A Practical Guide to Analyzing IDE Usage Data. - Will Snipes; Emerson R. Murphy-Hill; Thomas Fritz 001; Mohsen Vakilian; Kostadin Damevski; Anil R. Nair; David C. Shepherd (The Art and Science of Analyzing Software Data, 2015)

Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool. - Mohsen Vakilian; Amarin Phaosawasdi; Michael D. Ernst; Ralph E. Johnson (ICSE (1), 2015)

Automated Decomposition of Build Targets. - Mohsen Vakilian; Raluca Sauciuc; J. David Morgenthaler; Vahab S. Mirrokni (ICSE (1), 2015)

Region and Effect Inference for Safe Parallelism (T). - Alexandros Tzannes; Stephen T. Heumann; Lamyaa Eloussi; Mohsen Vakilian; Vikram S. Adve; Michael Han 003 (ASE, 2015)

Region and effect inference for safe parallelism. - Alexandros Tzannes; Stephen T. Heumann; Lamyaa Eloussi; Mohsen Vakilian; Vikram S. Adve; Michael Han 003 (Autom. Softw. Eng., 2019)