Mohsen Vakilian

According to our database1, Mohsen Vakilian authored at least 17 papers between 2007 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Region and effect inference for safe parallelism.
Autom. Softw. Eng., 2019

2015
Region and Effect Inference for Safe Parallelism (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Automated Decomposition of Build Targets.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

A Practical Guide to Analyzing IDE Usage Data.
Proceedings of the Art and Science of Analyzing Software Data, 2015

2014
Less is sometimes more in the automation of software evolution tasks
PhD thesis, 2014

Alternate refactoring paths reveal usability problems.
Proceedings of the 36th International Conference on Software Engineering, 2014

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

A Compositional Paradigm of Automating Refactorings.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

A Comparative Study of Manual and Automated Refactorings.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012
Use, disuse, and misuse of automated refactorings.
Proceedings of the 34th International Conference on Software Engineering, 2012

Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
Keshmesh: a tool for detecting and fixing java concurrency bug patterns.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

The need for richer refactoring usage data.
Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools, 2011

2009
A type and effect system for deterministic parallel Java.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Inferring Method Effect Summaries for Nested Heap Regions.
Proceedings of the ASE 2009, 2009

2007
Modeling Web Service Interactions Using the Coordination Language Reo.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007


  Loading...