Mohsen Vakilian

Publications

783

Citations

H-Index

2009

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Google (United States)

Mohsen Vakilian is an author at University of Illinois Urbana-Champaign specializing in software engineering, program analysis, and software analysis.

Top concepts

EngineeringProgram AnalysisSoftware AnalysisSoftware EngineeringComputer ScienceFormal MethodsSoftware DesignSoftware TestingSystem SoftwareFormal Verification

Publications per year

2009–2015

Publications

A type and effect system for deterministic parallel Java

Robert L. Bocchino, Vikram Adve, Danny Dig et al. · ACM SIGPLAN Notices · 2009 · 296 citations

Engineering, Compiler Technology, Computer Architecture +18

A type and effect system for deterministic parallel Java

Robert L. Bocchino, Vikram Adve, Danny Dig et al. · 2009 · 261 citations

Engineering, Compiler Technology, Computer Architecture +18

Use, disuse, and misuse of automated refactorings

Mohsen Vakilian, Nicholas Chen, Stas Negara et al. · 2012 · 92 citations

Software Maintenance, Engineering, Software Engineering +20

Inferring Method Effect Summaries for Nested Heap Regions

Mohsen Vakilian, Danny Dig, Robert L. Bocchino et al. · 2009 · 40 citations

Engineering, Effect Annotations, Compiler Technology +25

Automated decomposition of build targets

Mohsen Vakilian, Raluca Sauciuc, J. David Morgenthaler et al. · International Conference on Software Engineering · 2015 · 28 citations

Software Maintenance, Engineering, Java Library Targets +25

Rows per page

1–5 of 8