Rekha Pai

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (5)

• Static Race Detection for RTOS Applications
  Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2020 DOI: 10.4230/LIPICS.FSTTCS.2020.57
  +Save
• Data Races and Static Analysis for Interrupt-Driven Kernels
  European SYmposium on Programming (ESOP) 2019 DOI: 10.1007/978-3-030-17184-1_25
  +Save
• Static Analysis for Detecting High-Level Races in RTOS Kernels
  Formal Methods (FM) 2019 DOI: 10.1007/978-3-030-30942-8_21
  +Save
• Detection of redundant expressions: A precise, efficient, and pragmatic algorithm in SSA
  Computer Languages, Systems & Structures 2016 DOI: 10.1016/j.cl.2016.07.006
  +Save
• Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA
  Asian Symposium on Programming Languages and Systems (APLAS) 2015 DOI: 10.1007/978-3-319-26529-2_4
  +Save