Loris D'Antoni

Cited by

	All	Since 2016
Citations	1712	1335
h-index	24	21
i10-index	40	39

340

170

255

200920102011201220132014201520162017201820192020202115 24 24 30 44 82 133 124 249 245 285 321 108

Public access

View all

19 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Margus VeanesMicrosoft ResearchVerified email at microsoft.com
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Bjoern HartmannAssociate Professor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Gustavo SoaresResearcher, MicrosoftVerified email at microsoft.com
Qinheping HuUniversity of Wisconsin, MadisonVerified email at wisc.edu
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceVerified email at imperial.ac.uk
Ryo SuzukiAssistant Professor at the University of Calgary, Department of Computer ScienceVerified email at ucalgary.ca
David MolnarVerified email at microsoft.com
Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Mukund RaghothamanUniversity of Southern CaliforniaVerified email at usc.edu
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniVerified email at unifi.it
Nobuko YoshidaDepartment of Computing, Imperial College LondonVerified email at doc.ic.ac.uk
Aditya AkellaProfessor, Computer Science, UW-MadisonVerified email at cs.wisc.edu
Kausik SubramanianSoftware Engineer, GoogleVerified email at cs.wisc.edu
Elena L. GlassmanHarvard University Paulson School of Engineering and Applied Sciences, Radcliffe Institute ofVerified email at seas.harvard.edu
Andrew HeadUniversity of California, BerkeleyVerified email at berkeley.edu
Reudismam RolimFederal Rural University of the Semi-aridVerified email at copin.ufcg.edu.br

Loris D'Antoni

University of Wisconsin, Madison

Verified email at cs.wisc.edu - Homepage

Automata Theory Program synthesis Programming Languages Program Repair


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Global progress in dynamically interleaved multiparty sessions L Bettini, M Coppo, L D’Antoni, M De Luca, M Dezani-Ciancaglini, ... International Conference on Concurrency Theory, 418-433, 2008	229	2008
Learning syntactic program transformations from examples R Rolim, G Soares, L D'Antoni, O Polozov, S Gulwani, R Gheyi, R Suzuki, ... 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017	144	2017
Minimization of symbolic automata L D'Antoni, M Veanes Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014	96	2014
Regular functions and cost register automata R Alur, L DAntoni, J Deshmukh, M Raghothaman, Y Yuan 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 13-22, 2013	93	2013
Qlose: Program repair with quantitative objectives L D’Antoni, R Samanta, R Singh International Conference on Computer Aided Verification, 383-401, 2016	90	2016
Automated grading of DFA constructions R Alur, L D'Antoni, S Gulwani, D Kini, M Viswanathan Proceedings of the Twenty-Third international joint conference on Artificial …, 2013	74	2013
Writing reusable code feedback at scale with mixed-initiative program synthesis A Head, E Glassman, G Soares, R Suzuki, L Figueredo, L D'Antoni, ... Proceedings of the Fourth (2017) ACM Conference on Learning@ Scale, 89-98, 2017	73	2017
Streaming tree transducers R Alur, L D’Antoni International Colloquium on Automata, Languages, and Programming, 42-53, 2012	71*	2012
Program boosting: Program synthesis via crowd-sourcing RA Cochran, L D'Antoni, B Livshits, D Molnar, M Veanes Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	52	2015
HARE: Hardware accelerator for regular expressions V Gogte, A Kolli, MJ Cafarella, L D'Antoni, TF Wenisch 2016 49th Annual IEEE/ACM International Symposium on Microarchitecture …, 2016	49	2016
How can automatic feedback help students construct automata? L D'antoni, D Kini, R Alur, S Gulwani, M Viswanathan, B Hartmann ACM Transactions on Computer-Human Interaction (TOCHI) 22 (2), 1-24, 2015	45	2015
Learning symbolic automata S Drews, L D’Antoni International Conference on Tools and Algorithms for the Construction and …, 2017	43	2017
The power of symbolic automata and transducers L D’Antoni, M Veanes International Conference on Computer Aided Verification, 47-67, 2017	41	2017
FairSquare: probabilistic verification of program fairness A Albarghouthi, L D'Antoni, S Drews, AV Nori Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-30, 2017	40	2017
Genesis: Synthesizing forwarding tables in multi-tenant networks K Subramanian, L D'Antoni, A Akella Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017	38	2017
Operating system support for augmented reality applications L D'Antoni, A Dunn, S Jana, T Kohno, B Livshits, D Molnar, A Moshchuk, ... 14th Workshop on Hot Topics in Operating Systems (HotOS {XIV}), 2013	37	2013
Extended symbolic finite automata and transducers L D’antoni, M Veanes Formal Methods in System Design 47 (1), 93-119, 2015	31	2015
DReX: A declarative language for efficiently evaluating regular string transformations R Alur, L D'Antoni, M Raghothaman ACM SIGPLAN Notices 50 (1), 125-137, 2015	31	2015
Static analysis of string encoders and decoders L D’Antoni, M Veanes International Workshop on Verification, Model Checking, and Abstract …, 2013	31	2013
High-performance complex event processing over hierarchical data B Mozafari, K Zeng, L D'antoni, C Zaniolo ACM Transactions on Database Systems (TODS) 38 (4), 1-39, 2013	27	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors