Aditya A. Shrotri

11 papers A* 3A 3Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2022 A* conf
Constraint-Driven Explanations for Black-Box ML Models.
AAAI
Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi
2022 A* conf
DPSampler: Exact Weighted Sampling Using Dynamic Programming.
IJCAI
Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi
2020 J jnl
On Uniformly Sampling Traces of a Transition System (Extended Version).
CoRR
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
2020 A conf
On Uniformly Sampling Traces of a Transition System.
ICCAD
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
2019 A conf
Assessing Heuristic Machine Learning Explanations with Model Counting.
SAT
Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva
2019 A* conf
Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract).
IJCAI
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
2019 J jnl
Not all FPRASs are equal: demystifying FPRASs for DNF-counting.
Constraints An Int. J.
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
2019 A conf
On Symbolic Approaches for Computing the Matrix Permanent.
CP
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
2019 J jnl
On Symbolic Approaches for Computing the Matrix Permanent.
CoRR
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
2017 — conf
On Hashing-Based Approaches to Approximate DNF-Counting.
FSTTCS
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
2017 J jnl
On Hashing-Based Approaches to Approximate DNF-Counting.
CoRR
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski