Thomas Dillig

1.7k total citations
22 papers, 782 citations indexed

About

Thomas Dillig is a scholar working on Artificial Intelligence, Information Systems and Software. According to data from OpenAlex, Thomas Dillig has authored 22 papers receiving a total of 782 indexed citations (citations by other indexed papers that have themselves been cited), including 18 papers in Artificial Intelligence, 12 papers in Information Systems and 12 papers in Software. Recurrent topics in Thomas Dillig's work include Logic, programming, and type systems (17 papers), Software Testing and Debugging Techniques (12 papers) and Formal Methods in Verification (10 papers). Thomas Dillig is often cited by papers focused on Logic, programming, and type systems (17 papers), Software Testing and Debugging Techniques (12 papers) and Formal Methods in Verification (10 papers). Thomas Dillig collaborates with scholars based in United States, United Kingdom and Israel. Thomas Dillig's co-authors include Işıl Dillig, Alex Aiken, Yuepeng Wang, Navid Yaghmazadeh, Boyang Li, Ken McMillan, Mooly Sagiv, Brian Hackett, Peter Hawkins and Satish Chandra and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and Formal Methods in System Design.

In The Last Decade

Thomas Dillig

21 papers receiving 755 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Thomas Dillig United States	14	452	433	349	178	162	22	782
Cyrille Artho Japan	17	336 0.7×	506 1.2×	428 1.2×	221 1.2×	279 1.7×	83	967
Mukund Raghothaman United States	11	281 0.6×	266 0.6×	241 0.7×	171 1.0×	96 0.6×	29	555
David Mandelin United States	7	403 0.9×	386 0.9×	611 1.8×	78 0.4×	240 1.5×	10	872
Laurent Mounier France	14	259 0.6×	317 0.7×	197 0.6×	192 1.1×	149 0.9×	27	616
Domagoj Babić Canada	11	269 0.6×	304 0.7×	183 0.5×	153 0.9×	129 0.8×	26	546
Martin Bravenboer Netherlands	13	758 1.7×	508 1.2×	537 1.5×	141 0.8×	237 1.5×	25	1.0k
Rajeev Joshi United States	16	294 0.7×	310 0.7×	183 0.5×	210 1.2×	221 1.4×	30	672
Liviu Tancau United States	7	297 0.7×	270 0.6×	228 0.7×	217 1.2×	136 0.8×	8	624
Marcelo d’Amorim Brazil	20	315 0.7×	728 1.7×	619 1.8×	112 0.6×	271 1.7×	67	1.1k
Ofer Strichman Israel	16	415 0.9×	468 1.1×	198 0.6×	486 2.7×	144 0.9×	59	850

Countries citing papers authored by Thomas Dillig

Since Specialization

Citations

This map shows the geographic impact of Thomas Dillig's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Thomas Dillig with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Thomas Dillig more than expected).

Fields of papers citing papers by Thomas Dillig

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Thomas Dillig. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Thomas Dillig. The network helps show where Thomas Dillig may publish in the future.

Co-authorship network of co-authors of Thomas Dillig

This figure shows the co-authorship network connecting the top 25 collaborators of Thomas Dillig. A scholar is included among the top collaborators of Thomas Dillig based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Thomas Dillig. Thomas Dillig is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Yaghmazadeh, Navid, Yuepeng Wang, Işıl Dillig, & Thomas Dillig. (2017). SQLizer: query synthesis from natural language. Proceedings of the ACM on Programming Languages. 1(OOPSLA). 1–26. 149 indexed citations

Dillig, Işıl, Thomas Dillig, Boyang Li, Ken McMillan, & Mooly Sagiv. (2015). Synthesis of circular compositional program proofs via abduction. International Journal on Software Tools for Technology Transfer. 19(5). 535–547. 4 indexed citations

Dillig, Işıl, et al.. (2014). Consolidation of queries with user-defined functions. 554–564. 6 indexed citations

Dillig, Işıl, et al.. (2014). Consolidation of queries with user-defined functions. ACM SIGPLAN Notices. 49(6). 554–564. 8 indexed citations

Dillig, Işıl, Thomas Dillig, Boyang Li, & Ken McMillan. (2013). Inductive invariant generation via abductive inference. ACM SIGPLAN Notices. 48(10). 443–456. 19 indexed citations

Dillig, Işıl, Thomas Dillig, Boyang Li, & Ken McMillan. (2013). Inductive invariant generation via abductive inference. 443–456. 72 indexed citations

Dillig, Işıl & Thomas Dillig. (2013). EXPLAIN: A tool for performing abductive inference. UCL Discovery (University College London). 1 indexed citations

Dillig, Işıl, Thomas Dillig, & Alex Aiken. (2012). Automated error diagnosis using abductive inference. ACM SIGPLAN Notices. 47(6). 181–192. 14 indexed citations

Dillig, Işıl, Thomas Dillig, & Alex Aiken. (2012). Automated error diagnosis using abductive inference. 181–192. 54 indexed citations

10.

Dillig, Işıl, Thomas Dillig, & Alex Aiken. (2011). Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Formal Methods in System Design. 39(3). 246–260. 2 indexed citations

11.

Dillig, Işıl, Thomas Dillig, & Alex Aiken. (2011). Precise reasoning for programs using containers. 187–200. 39 indexed citations

12.

Dillig, Işıl, Thomas Dillig, Alex Aiken, & Mooly Sagiv. (2011). Precise and compact modular procedure summaries for heap manipulating programs. ACM SIGPLAN Notices. 46(6). 567–577. 40 indexed citations

13.

Dillig, Işıl, Thomas Dillig, & Alex Aiken. (2011). Precise reasoning for programs using containers. ACM SIGPLAN Notices. 46(1). 187–200. 36 indexed citations

14.

Dillig, Işıl, Thomas Dillig, & Alex Aiken. (2010). Symbolic heap abstraction with demand-driven axiomatization of memory invariants. 397–410. 5 indexed citations

15.

Dillig, Işıl, Thomas Dillig, & Alex Aiken. (2010). Reasoning about the unknown in static analysis. Communications of the ACM. 53(8). 115–123. 9 indexed citations

16.

Dillig, Işıl, Thomas Dillig, & Alex Aiken. (2008). Sound, complete and scalable path-sensitive analysis. 270–280. 93 indexed citations

17.

Dillig, Işıl, Thomas Dillig, Eran Yahav, & Satish Chandra. (2008). The CLOSER. 1–10. 26 indexed citations

18.

Dillig, Işıl, Thomas Dillig, & Alex Aiken. (2008). Sound, complete and scalable path-sensitive analysis. ACM SIGPLAN Notices. 43(6). 270–280. 19 indexed citations

19.

Dillig, Işıl, Thomas Dillig, & Alex Aiken. (2007). Static error detection using semantic inconsistency inference. ACM SIGPLAN Notices. 42(6). 435–445. 8 indexed citations

20.

Aiken, Alex, et al.. (2007). An overview of the saturn project. 43–48. 77 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact