Sri Adavath
Research Assistant @Washington State Magazine
Signup · Get unlimited contacts
WORK HISTORY
Research Assistant @Washington State Magazine
Pullman, WA, US
Working under the guidance of Prof. Thomas Gilray on advanced research involving program analysis and static analysis tools. Responsibilities include:• Assisting in research related to Datalog-based static analysis using Soufflé and DOOP • Compiling and evaluating performance of C++ programs with OpenMP for benchmarking • Investigating formal semantics and abstract interpretation techniques • Supporting ongoing research tasks and contributing to toolchain experiments • Maintaining research logs and participating in weekly sync-up meetings
ABOUT SRI ADAVATH
I’m a Machine Learning and Software Engineer with experience spanning industry and…
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.