CGO 2021
Sat 27 February - Wed 3 March 2021
Jubi Taneja

Registered user since Tue 26 Jan 2016

Name:Jubi Taneja

I am a Ph.D. Student at the School of Computing in the University of Utah, USA. I am advised by Prof. John Regehr. My research broadly focuses on compiler optimizations, verification, data flow analysis, and superoptimization.

I am researching towards automatically discovering missing peephole optimizations, and implementing them automatically in a compiler, and making compilers have more effective and reliable data flow analyses by using formal semantics and solver-based techniques. My research is just a step towards achieving a bigger goal to encourage and assist compiler developers to use formal methods based techniques directly to build parts of the compiler.

I received the Best Paper Award and Best Student Presentation Award for my work on testing LLVM’s static analyses for precision and soundness at the CGO 2020.

Country:United States
Affiliation:University of Utah
Research interests:Compiler Optimization, Dataflow Analysis, Verification, Superoptimization


CGO 2021 Artifact Evaluation Co-Chairs in Organizing Committee
Artifact Evaluation Co-Chairs in Artifact Evaluation Committee within the Artifact Evaluation-track
Show activities from other conferences

CGO 2021-profile
View general profile