Articles with public access mandates - Suresh JagannathanLearn more
Available somewhere: 23
CompCertTSO: A verified compiler for relaxed-memory concurrency
J Ševčík, V Vafeiadis, F Zappa Nardelli, S Jagannathan, P Sewell
Journal of the ACM (JACM) 60 (3), 1-50, 2013
Mandates: UK Engineering and Physical Sciences Research Council
An inductive synthesis framework for verifiable reinforcement learning
H Zhu, Z Xiong, S Magill, S Jagannathan
Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019
Mandates: US Department of Defense
A data-driven CHC solver
H Zhu, S Magill, S Jagannathan
ACM SIGPLAN Notices 53 (4), 707-721, 2018
Mandates: US National Science Foundation, US Department of Defense
Mergeable replicated data types
G Kaki, S Priya, KC Sivaramakrishnan, S Jagannathan
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
Mandates: US National Science Foundation, US Department of Defense
Safe replication through bounded concurrency verification
G Kaki, K Earanky, KC Sivaramakrishnan, S Jagannathan
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
Mandates: US National Science Foundation, US Department of Defense
Automatically learning shape specifications
H Zhu, G Petri, S Jagannathan
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
Mandates: US National Science Foundation
Alone together: compositional reasoning and inference for weak isolation
G Kaki, K Nagar, M Najafzadeh, S Jagannathan
Proceedings of the ACM on Programming Languages 2 (POPL), 1-34, 2017
Mandates: US National Science Foundation, US Department of Defense
CLOTHO: directed test generation for weakly consistent database systems
K Rahmani, K Nagar, B Delaware, S Jagannathan
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019
Mandates: US National Science Foundation, US Department of Defense
Automated parameterized verification of CRDTs
K Nagar, S Jagannathan
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
Mandates: US National Science Foundation, US Department of Defense
Verifying custom synchronization constructs using higher-order separation logic
M Dodds, S Jagannathan, MJ Parkinson, K Svendsen, L Birkedal
ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (2), 1-72, 2016
Mandates: US National Science Foundation, Danish Council for Independent Research, UK …
Proof-directed parallelization synthesis by separation logic
M Botinčan, M Dodds, S Jagannathan
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (2), 1-60, 2013
Mandates: UK Engineering and Physical Sciences Research Council
Verifying a concurrent garbage collector using a rely-guarantee methodology
Y Zakowski, D Cachera, D Demange, G Petri, D Pichardie, ...
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
Mandates: US National Science Foundation, US Department of Defense
An intelligent distributed ledger construction algorithm for IoT
CC Rawlins, S Jagannathan
IEEE Access 10, 10838-10851, 2022
Mandates: US Department of Energy, US Department of Education
Defending observation attacks in deep reinforcement learning via detection and denoising
Z Xiong, J Eappen, H Zhu, S Jagannathan
Joint European Conference on Machine Learning and Knowledge Discovery in …, 2022
Mandates: US National Science Foundation, US Department of Defense
Data-driven abductive inference of library specifications
Z Zhou, R Dickerson, B Delaware, S Jagannathan
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021
Mandates: US National Science Foundation
Repairing serializability bugs in distributed database programs via automated schema refactoring
K Rahmani, K Nagar, B Delaware, S Jagannathan
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
Mandates: US National Science Foundation
Semantics, specification, and bounded verification of concurrent libraries in replicated systems
K Nagar, P Mukherjee, S Jagannathan
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
Mandates: US National Science Foundation
Specification-guided component-based synthesis from effectful libraries
A Mishra, S Jagannathan
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 616-645, 2022
Mandates: US Department of Defense
DistSPECTRL: Distributing specifications in multi-agent reinforcement learning systems
J Eappen, S Jagannathan
Joint European Conference on Machine Learning and Knowledge Discovery in …, 2022
Mandates: US Department of Defense
Version Control Is for Your Data Too
G Kaki
3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019
Mandates: US National Science Foundation, US Department of Defense
Publication and funding information is determined automatically by a computer program