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
446*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
1772012
A comparative study of manual and automated refactorings
S Negara, N Chen, M Vakilian, RE Johnson, D Dig
European Conference on Object-Oriented Programming, 552-576, 2013
1582013
Is it dangerous to use version control histories to study source code evolution?
S Negara, M Vakilian, N Chen, RE Johnson, D Dig
European Conference on Object-Oriented Programming, 79-103, 2012
1172012
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
45*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
362015
A compositional paradigm of automating refactorings
M Vakilian, N Chen, RZ Moghaddam, S Negara, RE Johnson
European Conference on Object-Oriented Programming, 527-551, 2013
352013
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
322011
Alternate refactoring paths reveal usability problems
M Vakilian, RE Johnson
Proceedings of the 36th international conference on software engineering …, 2014
292014
Modeling web service interactions using the coordination language reo
S Tasharofi, M Vakilian, RZ Moghaddam, M Sirjani
International Workshop on Web Services and Formal Methods, 108-123, 2007
262007
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
172015
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
162015
Using Continuous Code Change Analysis to Understand the Practice of Refactoring
S Negara, N Chen, M Vakilian, RE Johnson, D Dig
102012
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
92011
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
32012
Keshmesh: Bringing Advanced Static Analysis to Concurrency Bug Pattern Detectors
M Vakilian, S Negara, S Tasharofi, RE Johnson
22013
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
The system can't perform the operation now. Try again later.
Articles 1–20