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 | 216 | 2012 |
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 | 211 | 2013 |
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 | 147 | 2012 |
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 | 47 | 2015 |
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 | 47 | 2013 |
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 | 35 | 2011 |
Alternate refactoring paths reveal usability problems M Vakilian, RE Johnson Proceedings of the 36th international conference on software engineering …, 2014 | 34 | 2014 |
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 | 28 | 2008 |
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 | 25 | 2015 |
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 | 23 | 2015 |
Using continuous code change analysis to understand the practice of refactoring S Negara, N Chen, M Vakilian, RE Johnson, D Dig | 11 | 2012 |
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 | 10 | 2011 |
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 | 5* | 2015 |
Less is sometimes more in the automation of software evolution tasks M Vakilian University of Illinois at Urbana-Champaign, 2014 | 5 | 2014 |
Composite refactorings: the next refactoring rubicons M Vakilian, RE Johnson | 4 | 2012 |
Automated Decomposition of Build Targets (Extended Version) M Vakilian, R Sauciuc, JD Morgenthaler, V Mirrokni | 1 | 2014 |
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 | 1 | 2013 |
Keshmesh: Bringing Advanced Static Analysis to Concurrency Bug Pattern Detectors M Vakilian, S Negara, S Tasharofi, RE Johnson | 1 | 2013 |