Nishant Rodrigues

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 6

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Nishant Rodrigues, Mircea Sebe, Xiaohong Chen, Grigore Rosu
A Logical Treatment of Finite Automata. TACAS (1) (2024)
Nishant Rodrigues, Brad Lackey
Fully Device-Independent Quantum Key Distribution Using Synchronous Correlations. TQC (2023)
Sanjiban Sekhar Roy, Sanda Florentina Mihalache, Emil Pricop, Nishant Rodrigues
Deep convolutional neural network for environmental sound classification via dilation. J. Intell. Fuzzy Syst. 43 (2) (2022)
Nishant Rodrigues, Chilukuri K. Mohan
Archive-based swarms. GECCO Companion (2020)
Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu
Towards a unified proof framework for automated fixpoint reasoning using matching logic. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, Grigore Rosu
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. CSF (2018)