Mohsen Vakilian
TitleCited byYear
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
416*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
1362012
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
1142013
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
892012
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
43*2009
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
282011
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
262013
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
242007
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
222015
Alternate refactoring paths reveal usability problems
M Vakilian, RE Johnson
Proceedings of the 36th International Conference on Software Engineering …, 2014
222014
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
112015
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
102015
Using Continuous Code Change Analysis to Understand the Practice of Refactoring
S Negara, N Chen, M Vakilian, RE Johnson, D Dig
92012
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
82011
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
Less is sometimes more in the automation of software evolution tasks
M Vakilian
University of Illinois at Urbana-Champaign, 2014
22014
Keshmesh: Bringing Advanced Static Analysis to Concurrency Bug Pattern Detectors
M Vakilian, S Negara, S Tasharofi, RE Johnson
22013
Composite refactorings: the next refactoring rubicons
M Vakilian, RE Johnson
22012
Automated Decomposition of Build Targets (Extended Version)
M Vakilian, R Sauciuc, JD Morgenthaler, V Mirrokni
12014
Cascade: A universal type qualifier inference tool
M Vakilian, A Phaosawasdi, MD Ernst, RE Johnson
Technical report, University of Illinois at Urbana-Champaign, Urbana, IL, USA, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20