2015
Automated Decomposition of Build Targets
by Mohsen Vakilian, Raluca Sauciuc, J. David Morgenthaler, and Vahab Mirrokni.
In Proceedings of the International Conference on Software Engineering (ICSE),
2015, pp. 123–133.
Details. Paper at
Google, Paper at
IEEE, Paper at
ACM, Extended Version at
Illinois.
Cascade: A Universal Programmer-assisted Type Qualifier Inference Tool
by Mohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, and Ralph E. Johnson.
In Proceedings of the International Conference on Software Engineering (ICSE),
2015, pp. 234–245.
Details. Paper at
ACM, Paper at
Illinois.
A Practical Guide to Analyzing IDE Usage Data
by Will Snipes, Emerson Murphy-Hill, Thomas Fritz, Mohsen Vakilian, Kosta
Damevski, Anil Nair, and David Shepherd.
In The Art and Science of Analyzing Software Data, 2015.
Details. Pre-print at
NCSU, Book at
Elsevier, Book at
Amazon,
Book at
Google.
Region and Effect Inference for Safe Parallelism
by Alexandros Tzannes, Stephen T. Heumann, Lamyaa Eloussi, Mohsen Vakilian,
Vikram S. Adve, and Michael Han.
To Appear in Proceedings of the 30th International Conference on Automated
Software Engineering (ASE), 2015.
Details. Paper at
IEEE, Technical Report at
Illinois.
2014
Less Is Sometimes More in the Automation of Software Evolution Tasks
by Mohsen Vakilian.
PhD Thesis, University of Illinois at Urbana-Champaign, 2014, pp. 1–174.
Details. Thesis at
Illinois.
Alternate Refactoring Paths Reveal Usability Problems
by Mohsen Vakilian and Ralph E. Johnson.
In Proceedings of the International Conference on Software Engineering (ICSE),
2014, pp. 1106–1116.
Details. Paper at
ACM, Paper at
Illinois, Artifacts at
Illinois.
2013
Keshmesh: Bringing Advanced Static Analysis to Concurrency Bug Pattern Detectors
by Mohsen Vakilian, Stas Negara, Samira Tasharofi, and Ralph E. Johnson.
Technical Report, University of Illinois, 2013, pp. 1–11.
Details. Paper at
Illinois.
A Compositional Paradigm of Automating Refactorings
by Mohsen Vakilian, Nicholas Chen, Roshanak Zilouchian Moghaddam, Stas Negara,
and Ralph E. Johnson.
In Proceedings of the European Conference on Object-Oriented Programming
(ECOOP), 2013, pp. 527–551.
Details. Paper at
Springer, Paper at
Illinois, Artifacts at
Illinois.
A Comparative Study of Manual and Automated Refactorings
by Stas Negara, Nicholas Chen, Mohsen Vakilian, Ralph E. Johnson, and Danny
Dig.
In Proceedings of the European Conference on Object-Oriented Programming
(ECOOP), 2013, pp. 552–576.
Details. Paper at
Springer, Paper at
Illinois, Artifacts at
Illinois.
2012
Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?
by Stas Negara, Mohsen Vakilian, Nicholas Chen, Ralph E. Johnson, and Danny Dig.
In Proceedings of the European Conference on Object-Oriented Programming
(ECOOP), 2012, pp. 79–103.
Details. Paper at
Springer, Artifacts at
Illinois.
Use, Disuse, and Misuse of Automated Refactorings
by Mohsen Vakilian, Nicholas Chen, Stas Negara, Balaji Ambresh Rajkumar, Brian
P. Bailey, and Ralph E. Johnson.
In Proceedings of the International Conference on Software Engineering (ICSE),
2012, pp. 233–243.
Details. Paper at
ACM, Paper at
IEEE, Extended Version at
Illinois, Artifacts at
Illinois.
Composite Refactorings: The Next Refactoring Rubicons
by Mohsen Vakilian and Ralph E. Johnson.
Technical Report, University of Illinois, 2012, p. 1.
Details. Paper at
Illinois.
2011
The Need for Richer Refactoring Usage Data
by Mohsen Vakilian, Nicholas Chen, Stas Negara, Balaji Ambresh Rajkumar,
Roshanak Zilouchian Moghaddam, and Ralph E. Johnson.
In Proceedings of the Workshop on Evaluation and Usability of Programming
Languages and Tools (PLATEAU), 2011, pp. 31–38.
Details. Paper at
ACM, Paper at
Illinois, Slides at
Prezi.
Keshmesh: A Tool for Detecting and Fixing Java Concurrency Bug Patterns
by Mohsen Vakilian, Stas Negara, Samira Tasharofi, and Ralph E. Johnson.
In Proceedings of the International Conference Companion on Object Oriented
Programming Systems Languages and Applications Companion (OOPSLA Companion),
2011, pp. 39–40.
Details. Paper at
ACM, Paper at
Illinois, Slides at
Prezi, Artifacts at
Illinois.
2009
Inferring Method Effect Summaries for Nested Heap Regions
by Mohsen Vakilian, Danny Dig, Robert L. Bocchino, Jr., Jeffrey Overbey, Vikram
S. Adve, and Ralph E. Johnson.
In Proceedings of the International Conference on Automated Software
Engineering (ASE), 2009, pp. 421–432.
Details. Paper at
ACM, Paper at
IEEE, Paper at
Illinois, Talk at
Illinois,
Artifacts at Illinois.
An extended version of this paper appeared as the master’s thesis of Mohsen
Vakilian. Thesis at Illinois.
A Type and Effect System for Deterministic Parallel Java
by Robert L. Bocchino, Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen
Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, and
Mohsen Vakilian.
In Proceedings of the Conference on Object Oriented Programming Systems
Languages and Applications (OOPSLA), 2009, pp. 97–116.
Details. Paper at
ACM, Artifacts at
Illinois.
2007
Modeling Web Service Interactions Using the Coordination Language Reo
by Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, and
Marjan Sirjani.
In Proceedings of the International Workshop on Web Services and Formal Methods
(WS-FM), 2007, pp. 108–123.
Details. Paper at
Springer.
Publication Profiles
Copyright Notice
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.