Follow
Mohsen Vakilian
Title
Cited by
Cited by
Year
A type and effect system for deterministic parallel java
SV Adve, S Heumann, R Komuravelli, J Overbey, P Simmons, H Sung, ...
In Proc. Intl. Conf. on Object-Oriented Programming, Systems, Languages, and …, 2009
481*2009
Use, disuse, and misuse of automated refactorings
M Vakilian, N Chen, S Negara, BA Rajkumar, BP Bailey, RE Johnson
Software Engineering (ICSE), 2012 34th International Conference on, 233-243, 2012
2162012
A comparative study of manual and automated refactorings
S Negara, N Chen, M Vakilian, RE Johnson, D Dig
ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013
2112013
Is it dangerous to use version control histories to study source code evolution?
S Negara, M Vakilian, N Chen, RE Johnson, D Dig
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
1472012
Inferring method effect summaries for nested heap regions
M Vakilian, D Dig, R Bocchino, J Overbey, V Adve, R Johnson
Automated Software Engineering, 2009. ASE'09. 24th IEEE/ACM International …, 2009
48*2009
Automated decomposition of build targets
M Vakilian, R Sauciuc, JD Morgenthaler, V Mirrokni
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
472015
A compositional paradigm of automating refactorings
M Vakilian, N Chen, R Zilouchian Moghaddam, S Negara, RE Johnson
ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013
472013
The need for richer refactoring usage data
M Vakilian, N Chen, S Negara, BA Rajkumar, R Zilouchian Moghaddam, ...
Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of …, 2011
352011
Alternate refactoring paths reveal usability problems
M Vakilian, RE Johnson
Proceedings of the 36th international conference on software engineering …, 2014
342014
Modeling web service interactions using the coordination language reo
S Tasharofi, M Vakilian, R Zilouchian Moghaddam, M Sirjani
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008
282008
A practical guide to analyzing ide usage data
W Snipes, E Murphy-Hill, T Fritz, M Vakilian, K Damevski, AR Nair, ...
The Art and Science of Analyzing Software Data, 85-138, 2015
252015
Cascade: A universal programmer-assisted type qualifier inference tool
M Vakilian, A Phaosawasdi, MD Ernst, RE Johnson
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
232015
Using continuous code change analysis to understand the practice of refactoring
S Negara, N Chen, M Vakilian, RE Johnson, D Dig
112012
Keshmesh: A tool for detecting and fixing Java concurrency bug patterns
M Vakilian, S Negara, S Tasharofi, RE Johnson
Proceedings of the ACM international conference companion on Object oriented …, 2011
102011
Less is sometimes more in the automation of software evolution tasks
M Vakilian
University of Illinois at Urbana-Champaign, 2014
52014
Region and Effect Inference for Safe Parallelism
A Tzannes, ST Heumann, L Eloussi, M Vakilian, VS Adve, M Han
Automated Software Engineering (ASE), 2015 30th IEEE/ACM International …, 2015
4*2015
Composite refactorings: the next refactoring rubicons
M Vakilian, RE Johnson
42012
Automated Decomposition of Build Targets (Extended Version)
M Vakilian, R Sauciuc, JD Morgenthaler, V Mirrokni
12014
Joint review of how to solve it: a new aspect of mathematical method by George Polya and Street-fighting mathematics by Sanjoy Mahajan
M Vakilian
ACM SIGACT News 44 (2), 10-12, 2013
12013
Keshmesh: Bringing Advanced Static Analysis to Concurrency Bug Pattern Detectors
M Vakilian, S Negara, S Tasharofi, RE Johnson
12013
The system can't perform the operation now. Try again later.
Articles 1–20