Region and effect inference for safe parallelism.

Mohsen Vakilian

Alexandros Tzannes Stephen T. Heumann Lamyaa Eloussi Mohsen Vakilian Vikram S. Adve Michael Han 0003 Region and effect inference for safe parallelism. 463-509 2019 26 Autom. Softw. Eng. 2 https://doi.org/10.1007/s10515-019-00257-3 db/journals/ase/ase26.html#TzannesHEVAH19

Mohsen Vakilian Raluca Sauciuc J. David Morgenthaler Vahab S. Mirrokni Automated Decomposition of Build Targets. 123-133 2015 ICSE (1) https://doi.org/10.1109/ICSE.2015.34 https://doi.ieeecomputersociety.org/10.1109/ICSE.2015.34 http://dl.acm.org/citation.cfm?id=2818772 conf/icse/2015-1 db/conf/icse/icse2015-1.html#VakilianSMM15 Mohsen Vakilian Amarin Phaosawasdi Michael D. Ernst Ralph E. Johnson Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool. 234-245 2015 ICSE (1) https://doi.org/10.1109/ICSE.2015.44 https://doi.ieeecomputersociety.org/10.1109/ICSE.2015.44 http://dl.acm.org/citation.cfm?id=2818785 conf/icse/2015-1 db/conf/icse/icse2015-1.html#VakilianPEJ15 Alexandros Tzannes Stephen T. Heumann Lamyaa Eloussi Mohsen Vakilian Vikram S. Adve Michael Han 0003 Region and Effect Inference for Safe Parallelism (T). 512-523 2015 ASE https://doi.org/10.1109/ASE.2015.59 https://doi.ieeecomputersociety.org/10.1109/ASE.2015.59 https://dl.acm.org/citation.cfm?id=3343951 conf/kbse/2015 db/conf/kbse/ase2015.html#TzannesHEVAH15 Will Snipes Emerson R. Murphy-Hill Thomas Fritz 0001 Mohsen Vakilian Kostadin Damevski Anil R. Nair David C. Shepherd A Practical Guide to Analyzing IDE Usage Data. 85-138 2015 The Art and Science of Analyzing Software Data https://doi.org/10.1016/b978-0-12-411519-4.00005-7 books/el/15/BMZ2015 db/books/collections/BMZ2015.html#SnipesMFVDNS15 Mohsen Vakilian Less is sometimes more in the automation of software evolution tasks University of Illinois Urbana-Champaign, USA 2014 https://hdl.handle.net/2142/50602 Mohsen Vakilian Ralph E. Johnson Alternate refactoring paths reveal usability problems. 1106-1116 2014 ICSE https://doi.org/10.1145/2568225.2568282 conf/icse/2014 db/conf/icse/icse2014.html#VakilianJ14

Mohsen Vakilian Joint review of how to solve it: a new aspect of mathematical method by George Polya and Street-fighting mathematics by Sanjoy Mahajan. 10-12 2013 44 SIGACT News 2 https://doi.org/10.1145/2491533.2491536 db/journals/sigact/sigact44.html#Vakilian13

Mohsen Vakilian Nicholas Chen Roshanak Zilouchian Moghaddam Stas Negara Ralph E. Johnson A Compositional Paradigm of Automating Refactorings. 527-551 2013 ECOOP https://doi.org/10.1007/978-3-642-39038-8_22 conf/ecoop/2013 db/conf/ecoop/ecoop2013.html#VakilianCMNJ13 Stas Negara Nicholas Chen Mohsen Vakilian Ralph E. Johnson Danny Dig A Comparative Study of Manual and Automated Refactorings. 552-576 2013 ECOOP https://doi.org/10.1007/978-3-642-39038-8_23 conf/ecoop/2013 db/conf/ecoop/ecoop2013.html#NegaraCVJD13 Stas Negara Mohsen Vakilian Nicholas Chen Ralph E. Johnson Danny Dig Is It Dangerous to Use Version Control Histories to Study Source Code Evolution? 79-103 2012 ECOOP https://doi.org/10.1007/978-3-642-31057-7_5 conf/ecoop/2012 db/conf/ecoop/ecoop2012.html#NegaraVCJD12 Mohsen Vakilian Nicholas Chen Stas Negara Balaji Ambresh Rajkumar Brian P. Bailey Ralph E. Johnson Use, disuse, and misuse of automated refactorings. 233-243 2012 ICSE https://doi.org/10.1109/ICSE.2012.6227190 https://doi.ieeecomputersociety.org/10.1109/ICSE.2012.6227190 http://dl.acm.org/citation.cfm?id=2337251 conf/icse/2012 db/conf/icse/icse2012.html#VakilianCNRBJ12 Mohsen Vakilian Nicholas Chen Stas Negara Balaji Ambresh Rajkumar Roshanak Zilouchian Moghaddam Ralph E. Johnson The need for richer refactoring usage data. 31-38 2011 PLATEAU https://doi.org/10.1145/2089155.2089164 conf/oopsla/2011plateau db/conf/oopsla/plateau2011.html#VakilianCNRMJ11 Mohsen Vakilian Stas Negara Samira Tasharofi Ralph E. Johnson Keshmesh: a tool for detecting and fixing java concurrency bug patterns. 39-40 2011 OOPSLA Companion https://doi.org/10.1145/2048147.2048167 conf/oopsla/2011c db/conf/oopsla/oopsla2011c.html#VakilianNTJ11 Mohsen Vakilian Danny Dig Robert L. Bocchino Jr. Jeffrey Overbey Vikram S. Adve Ralph E. Johnson Inferring Method Effect Summaries for Nested Heap Regions. 421-432 2009 ASE https://doi.org/10.1109/ASE.2009.68 https://doi.ieeecomputersociety.org/10.1109/ASE.2009.68 conf/kbse/2009 db/conf/kbse/ase2009.html#VakilianDBOAJ09 Robert L. Bocchino Jr. Vikram S. Adve Danny Dig Sarita V. Adve Stephen Heumann Rakesh Komuravelli Jeffrey Overbey Patrick Simmons Hyojin Sung Mohsen Vakilian A type and effect system for deterministic parallel Java. 97-116 2009 OOPSLA https://doi.org/10.1145/1640089.1640097 https://doi.org/10.1145/1639949.1640097 conf/oopsla/2009 db/conf/oopsla/oopsla2009.html#BocchinoADAHKOSSV09 Samira Tasharofi Mohsen Vakilian Roshanak Zilouchian Moghaddam Marjan Sirjani Modeling Web Service Interactions Using the Coordination Language Reo. 108-123 2007 WS-FM https://doi.org/10.1007/978-3-540-79230-7_8 conf/wsfm/2007 db/conf/wsfm/wsfm2007.html#TasharofiVMS07 Sarita V. Adve Vikram S. Adve Brian P. Bailey Robert L. Bocchino Jr. Nicholas Chen Kostadin Damevski Danny Dig Lamyaa Eloussi Michael D. Ernst Thomas Fritz 0001 Michael Han 0003 Stephen HeumannStephen T. Heumann Ralph E. Johnson Rakesh Komuravelli Vahab S. Mirrokni Roshanak Zilouchian Moghaddam J. David Morgenthaler Emerson R. Murphy-Hill Anil R. Nair Stas Negara Jeffrey Overbey Amarin Phaosawasdi Balaji Ambresh Rajkumar Raluca Sauciuc David C. Shepherd Patrick Simmons Marjan Sirjani Will Snipes Hyojin Sung Samira Tasharofi Alexandros Tzannes