Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Suresh Jagannathan

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Benjamin Delaware

> Home > Persons > Suresh Jagannathan

Publications

2023
[j39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ZhouMDJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ZhouMDJ23
Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan:
Covering All the Bases: Type-Based Verification of Test Input Generators. Proc. ACM Program. Lang. 7(PLDI): 1244-1267 (2023)
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-03393
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-03393
Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan:
Covering All the Bases: Type-Based Verification of Test Input Generators. CoRR abs/2304.03393 (2023)
2021
[j37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ZhouDDJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ZhouDDJ21
Zhe Zhou, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan:
Data-driven abductive inference of library specifications. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021)
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/RahmaniNDJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/RahmaniNDJ21
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan:
Repairing serializability bugs in distributed database programs via automated schema refactoring. PLDI 2021: 32-47
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-05573
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-05573
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan:
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring. CoRR abs/2103.05573 (2021)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-04783
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-04783
Zhe Zhou, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan:
Data-Driven Abductive Inference of Library Specifications. CoRR abs/2108.04783 (2021)
2019
[j35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/RahmaniNDJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/RahmaniNDJ19
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan:
CLOTHO: directed test generation for weakly consistent database systems. Proc. ACM Program. Lang. 3(OOPSLA): 117:1-117:28 (2019)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-05655
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-05655
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan:
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems. CoRR abs/1908.05655 (2019)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.