| Home | Biography | Research | Publications |
“Use, Disuse, and Misuse of Automated Refactorings”
by Mohsen Vakilian, Nicholas Chen, Stas Negara, Balaji Ambresh Rajkumar, Brian P. Bailey, and Ralph E. Johnson.
Technical report http://hdl.handle.net/2142/27730, 2011.
Details.
Download:
Paper at IDEALS.
“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 Evaluation and Usability of Programming Languages and Tools (PLATEAU) 2011, 2011.
Details.
Download:
Paper at IDEALS,
Presentation 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 ACM international conference companion on Object oriented programming systems languages and applications companion, (New York, NY, USA), 2011, pp. 39-40.
Details.
Download:
Paper at ACM,
Paper at IDEALS,
Presentation at Prezi.
“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 ASE 2009: 24th IEEE/ACM Conference on Automated Software Engineering, 2009, pp. 421-432.
Details.
Download:
PDF,
PDF at IEEE,
PDF at IDEALS,
Slides (PDF),
Presentation at UPCRC,
DPJizer at GitHub.
An extended version appeared as
“Inferring Method Effect Summaries for Nested Heap Regions”
by Mohsen Vakilian.
Masters thesis, University of Illinois at Urbana-Champaign, (Urbana, IL, USA), 2009.
“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 OOPSLA 2009: Proceeding of the 24th ACM SIGPLAN conference on Object Oriented Programming Systems Languages and Applications, (New York, NY, USA), 2009, pp. 97-116.
Details.
Download:
PDF,
PDF at IDEALS.
“Modeling Web Service Interactions Using the Coordination Language Reo”
by Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, and Marjan Sirjani.
In WS-FM 2007: 4th International Workshop on Web Services and Formal Methods, 2007, pp. 108-123.
Details.
Download:
PDF,
PDF at Springer.
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.