P. Padma Priya Dharishini

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Dynamic Analysis

Automatic Programming

Constraint Solving

Tree Decomposition

Top Venues

Publications

P. Padma Priya Dharishini, Prakriya Ramana Murthy
Static Analyzer for Computing WCET of Multithreaded Programs using Hoare's CSP. ISEC (2022)