Compositional and Lightweight Dependent Type Inference for ML von Zhu, He, Jagannathan, Suresh

Volltext

Manipulating Neural Path Planners via Slight Perturbations von Xiong, Zikang, Jagannathan, Suresh

Volltext

Specification-guided component-based synthesis from effectful libraries von Mishra, Ashish, Jagannathan, Suresh

Volltext

Building Resource Adaptive Software Systems von Neema, Sandeep, Parikh, Rinku, Jagannathan, Suresh

Volltext

Derivative-Guided Symbolic Execution von Yuan, Yongwei, Zhou, Zhe, Belyakova, Julia, Jagannathan, Suresh

Volltext

DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems von Eappen, Joe, Jagannathan, Suresh

Volltext

Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models von Nagar, Kartik, Sahoo, Anmol, Chowdhury, Romit Roy, Jagannathan, Suresh

Volltext

A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata von Zhou, Zhe, Ye, Qianchuan, Delaware, Benjamin, Jagannathan, Suresh

Volltext

Data-driven abductive inference of library specifications von Zhou, Zhe, Dickerson, Robert, Delaware, Benjamin, Jagannathan, Suresh

Volltext

CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency von SEVCIK, Jaroslav, VAFEIADIS, Viktor, NARDELLI, Francesco Zappa, JAGANNATHAN, Suresh, SEWELL, Peter

Volltext

Covering All the Bases: Type-Based Verification of Test Input Generators von Zhou, Zhe, Mishra, Ashish, Delaware, Benjamin, Jagannathan, Suresh

Volltext

Unstructured peer-to-peer networks for sharing processor cycles von Awan, Asad, Ferreira, Ronaldo A., Jagannathan, Suresh, Grama, Ananth

Volltext

CLOTHO: directed test generation for weakly consistent database systems von Rahmani, Kia, Nagar, Kartik, Delaware, Benjamin, Jagannathan, Suresh

Volltext

Safe replication through bounded concurrency verification von Kaki, Gowtham, Earanky, Kapil, Sivaramakrishnan, KC, Jagannathan, Suresh

Volltext

Mergeable replicated data types von Kaki, Gowtham, Priya, Swarn, Sivaramakrishnan, KC, Jagannathan, Suresh

Volltext

MultiMLton: A multicore-aware runtime for standard ML von SIVARAMAKRISHNAN, K. C., ZIAREK, LUKASZ, JAGANNATHAN, SURESH

Volltext

Alone together: compositional reasoning and inference for weak isolation von Kaki, Gowtham, Nagar, Kartik, Najafzadeh, Mahsa, Jagannathan, Suresh

Volltext

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology von Zakowski, Yannick, Cachera, David, Demange, Delphine, Petri, Gustavo, Pichardie, David, Jagannathan, Suresh, Vitek, Jan

Volltext

Improving duplicate elimination in storage systems von Bobbarjung, Deepak R., Jagannathan, Suresh, Dubnicki, Cezary

Volltext

Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic von Dodds, Mike, Jagannathan, Suresh, Parkinson, Matthew J., Svendsen, Kasper, Birkedal, Lars

Volltext