معرفی
Utpal Bora is a Researcher at the University of Cambridge's Department of Computer Science and Technology. His research focuses on Programming Languages, Semantics, Verification, and Computer Architecture with an emphasis on static analysis of parallel programs, compiler optimization techniques, and performance analysis. He has contributed to projects such as LLOR (automated OpenMP program repair) and Llov (static data-race detection for OpenMP). His work bridges compiler design, parallel computing, and formal methods to improve software reliability and hardware efficiency.
Research Interests:
- Static Analysis of Parallel Programs
- Compiler Optimization (LLVM)
- Data-Race Detection in OpenMP
- Instruction-Level Parallelism (ILP)
- Performance Modeling (CPI Analysis)
- Formal Verification of Concurrent Systems
Recent work trends show a focus on enhancing parallel programming correctness through automated repair and static analysis tools, alongside optimizing code execution via compiler-level transformations and hardware architecture improvements. His contributions address critical challenges in parallel computing scalability and compiler-driven performance enhancement.
