SC

Swarat Chaudhuri

Google (United Kingdom)0000-0002-6859-1391

203

Publications

4,957

Citations

33

h-index

71

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (109)
Preprint (66)
Book Chapter (22)
Book (4)
Dataset (1)

Filter by Open Access Type

Open Access (89)
Closed Access (114)

Filter by Authors

Swarat Chaudhuri (203)
Işıl Dillig (19)
Chris Jermaine (15)
Rajeev Alur (15)
Thomas Reps (14)

Filter by Topics

Formal Methods in Verification (62)
Software Testing and Debugging Techniques (37)
Logic, programming, and type systems (33)
Parallel Computing and Optimization Techniques (27)
Software Engineering Research (22)