Rekha R. Pai

From MaRDI portal
Person:1749149

Available identifiers

zbMath Open pai.rekha-rMaRDI QIDQ1749149

List of research outcomes





PublicationDate of PublicationType
Static analysis for detecting high-level races in RTOS kernels2024-03-14Paper
Data races and static analysis for interrupt-driven kernels2023-11-24Paper
Static race detection for periodic programs2023-08-03Paper
Static analysis for detecting high-level races in RTOS kernels2022-06-20Paper
Detection of redundant expressions: a precise, efficient, and pragmatic algorithm in SSA2018-05-15Paper

Research outcomes over time

This page was built for person: Rekha R. Pai

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1749149&oldid=11113321"
Powered by MediaWiki