Siddharth Priya

dblp:123/7851 · DBLP profile ↗
← Back
6ranked-venue papers
4as first author
5since 2021 · last 2025
0000-0002-2172-9525ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 6 · 4 first-author · 5 since 2021Theory of computation · 3 · 2 first-author · 3 since 2021
YearPublicationVenuePosition
2025 A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SEABMC
Joseph Tafese, Siddharth Priya, Giuliano Losa, Arie Gurfinkel, Graydon Hoare
FMCAD2
2024 Ownership in Low-Level Intermediate Representation
Siddharth Priya, Arie Gurfinkel
FMCAD1
2024 Unlocking the Power of Environment Assumptions for Unit Proofs
Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel
SEFM1
2022 Bounded Model Checking for LLVM
Siddharth Priya, Yusen Su, Yuyan Bao, Yakir Vizel, Arie Gurfinkel
FMCAD1
2021 Verifying Verified Code
Siddharth Priya, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
ATVA1
2012 Building Useful Program Analysis Tools Using an Extensible Java Compiler
abstract
Large software companies need customized tools to manage their source code. These tools are often built in an ad-hoc fashion, using brittle technologies such as regular expressions and home-grown parsers. Changes in the language cause the tools to break. More importantly, these ad-hoc tools often do not support uncommon-but-valid code code patterns. We report our experiences building source-code analysis tools at Google on top of a third-party, open-source, extensible compiler. We describe three tools in use on our Java code base. The first, Strict Java Dependencies, enforces our dependency policy in order to reduce JAR file sizes and testing load. The second, error-prone, adds new error checks to the compilation process and automates repair of those errors at a whole-code base scale. The third, Thindex, reduces the indexing burden for a Java IDE so that it can support Google-sized projects.
Edward Aftandilian, Raluca Sauciuc, Siddharth Priya, Sundaresan Krishnan
SCAM3