A quadratic construction for Zielonka automata with acyclic communication structure. - Siddharth Krishna 001; Anca Muscholl (Theor. Comput. Sci., 2013)

Learning Invariants using Decision Trees. - Siddharth Krishna 001; Christian Puhrsch; Thomas Wies (CoRR, 2015)

Learning Shape Analysis. - Marc Brockschmidt; Yuxin Chen 001; Pushmeet Kohli; Siddharth Krishna 001; Daniel Tarlow (SAS, 2017)

Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version). - Siddharth Krishna 001; Dennis E. Shasha; Thomas Wies (CoRR, 2017)

On the tensor rank of 3s×3 permanent and determinant. - Siddharth Krishna 001; Visu Makam (CoRR, 2018)

Go with the flow: compositional abstractions for concurrent data structures. - Siddharth Krishna 001; Dennis E. Shasha; Thomas Wies (Proc. ACM Program. Lang., 2018)

Compositional Abstractions for Verifying Concurrent Data Structures. - Siddharth Krishna 001 (2019)

Verifying Visibility-Based Weak Consistency. - Siddharth Krishna 001; Michael Emmi; Constantin Enea; Dejan Jovanovic (ESOP, 2020)

Local Reasoning for Global Graph Properties. - Siddharth Krishna 001; Alexander J. Summers; Thomas Wies (ESOP, 2020)

Verifying concurrent search structure templates. - Siddharth Krishna 001; Nisarg Patel; Dennis E. Shasha; Thomas Wies (PLDI, 2020)

DistIR: An Intermediate Representation for Optimizing Distributed Neural Networks. - Keshav Santhanam; Siddharth Krishna 001; Ryota Tomioka; Andrew W. Fitzgibbon; Tim Harris 001 (EuroMLSys@EuroSys, 2021)

DistIR: An Intermediate Representation and Simulator for Efficient Neural Network Distribution. - Keshav Santhanam; Siddharth Krishna 001; Ryota Tomioka; Tim Harris 001; Matei Zaharia (CoRR, 2021)

Verifying concurrent multicopy search structures. - Nisarg Patel; Siddharth Krishna 001; Dennis E. Shasha; Thomas Wies (Proc. ACM Program. Lang., 2021)

Automated Verification of Concurrent Search Structures - Siddharth Krishna 001; Nisarg Patel; Dennis E. Shasha; Thomas Wies (Morgan & Claypool Publishers, 2021)