Papers

Archive of academic work, 2009–2018: program transformation, rewriting, static analysis and refactoring.

Peer-reviewed papers

[P7]Effective Techniques for Static Race Detection in Java Cosmin Radoi, Danny Dig TOSEM ’15 · paper · tool · journal version of [P2]

[P6]CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes Adrian Nistor, Po-Chun Chang, Cosmin Radoi, Shan Lu ICSE ’15 · paper ACM SIGSOFT Distinguished Paper Award

[P5]Are web applications ready for parallelism? Cosmin Radoi, Stephan Herhut, Jaswanth Sreeram, Danny Dig PPoPP ’15 · short paper · poster

[P4]Translating Imperative Code to MapReduce Cosmin Radoi, Stephen J. Fink, Rodric Rabbah, Manu Sridharan OOPSLA ’14 · paper · slides · poster

[P3]Retrofitting Concurrency for Android Applications through Refactoring Yu Lin, Cosmin Radoi, Danny Dig FSE ’14 · paper · tool

[P2]Practical Static Race Detection for Java Parallel Loops Cosmin Radoi, Danny Dig ISSTA ’13 · paper · tool ACM SIGSOFT Distinguished Paper Award; invited for journal submission, see [P7]

[P1]ReLooper: refactoring for loop parallelism in Java Danny Dig, Mihai Tarce, Cosmin Radoi, Marius Minea, Ralph Johnson OOPSLA ’09 · demo paper · tool

Thesis and technical reports

[T5]Toward Automatic Programming Cosmin Radoi PhD thesis ’18 · proposal

[T4]Inclusion-based Pointer Analysis Using Actors Cosmin Radoi, Semih Okur pdf ’12

[T3]Hadoop+Aparapi: Making Heterogenous MapReduce Programming Easier Semih Okur, Cosmin Radoi, Yu Lin pdf ’12

[T2]Loop2GPU: Transforming Loops to OpenCL Kernels as a LLVM Pass Semih Okur, Cosmin Radoi pdf ’12

[T1]ReLooper: Refactoring for Loop Parallelism Danny Dig, Cosmin Radoi, Mihai Tarce, Marius Minea, Ralph Johnson Technical Report ’09

Record

ACM SIGSOFT Distinguished Paper Award, ISSTA 2013 and ICSE 2015.
IBM PhD Fellowship, 2016–2017.
Feng Chen Memorial Award in Software Engineering, University of Illinois.
David J. Kuck Outstanding M.S. Thesis Award, University of Illinois, for the ReLooper work.
Principal Investigator, NSF SBIR Phase I: Programmer-Friendly Automatic Code Fixes.
Core developer of the K Framework, a rewriting-based framework for executable semantics, type systems, verification and program transformation.
Author of IteRace, a static race detector for Java parallel loops.
BSc, Polytechnic University of Timișoara, 2010, advised by Marius Minea.