Loris D'Antoni

Citada per

	Totes	Des de 2020
Citacions	3495	2106
Índex h	32	27
Índex i10	64	55

520

260

130

390

2009201020112012201320142015201620172018201920202021202220232024202517 25 25 31 45 84 132 137 274 253 300 333 385 404 400 514 68

Accés públic

Mostra-ho tot

37 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Margus VeanesMicrosoft ResearchCorreu electrònic verificat a microsoft.com
Aws AlbarghouthiUniversity of Wisconsin–MadisonCorreu electrònic verificat a cs.wisc.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaCorreu electrònic verificat a seas.upenn.edu
Qinheping HuUniversity of Wisconsin, MadisonCorreu electrònic verificat a wisc.edu
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinCorreu electrònic verificat a cs.wisc.edu
Gustavo SoaresResearcher, MicrosoftCorreu electrònic verificat a microsoft.com
Bjoern HartmannAssociate Professor of EECS, University of California, BerkeleyCorreu electrònic verificat a eecs.berkeley.edu
Ryo SuzukiAssistant Professor at the University of Colorado Boulder, ATLAS Institute and Computer ScienceCorreu electrònic verificat a colorado.edu
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceCorreu electrònic verificat a imperial.ac.uk
Rishabh SinghResearch Scientist, Google BrainCorreu electrònic verificat a google.com
Kausik SubramanianSoftware Engineer, GoogleCorreu electrònic verificat a cs.wisc.edu
David MolnarCorreu electrònic verificat a microsoft.com
Sumit GulwaniDistinguished Scientist, MicrosoftCorreu electrònic verificat a microsoft.com
Aditya AkellaProfessor, Computer Science, UT AustinCorreu electrònic verificat a cs.utexas.edu
Reudismam Rolim de SousaFederal Rural University of the Semi-aridCorreu electrònic verificat a ufersa.edu.br
Rohit GheyiFederal University of Campina GrandeCorreu electrònic verificat a dsc.ufcg.edu.br
Elena L. GlassmanHarvard UniversityCorreu electrònic verificat a seas.harvard.edu
Andrew HeadAssistant Professor @ University of PennsylvaniaCorreu electrònic verificat a seas.upenn.edu
Yuhao ZhangUniversity of Wisconsin-MadisonCorreu electrònic verificat a wisc.edu
Aditya NoriMicrosoft ResearchCorreu electrònic verificat a microsoft.com

Segueix

Loris D'Antoni

University of California-San Diego

Correu electrònic verificat a ucsd.edu - Pàgina d'inici

Program synthesis Programming Languages Program Analysis LLMs for code


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
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	288	2017
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	262	2008
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	159	2017
Qlose: Program Repair with Quantitative Objectives L D’Antoni, R Samanta, R Singh International Conference on Computer Aided Verification, 383-401, 2016	150	2016
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	142	2017
Minimization of symbolic automata L D'Antoni, M Veanes Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014	136	2014
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	117	2013
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	117	2013
The power of symbolic automata and transducers L D’Antoni, M Veanes International Conference on Computer Aided Verification, 47-67, 2017	106	2017
The magazine archive includes every article published in Communications of the ACM for over the past 50 years. KL Kroeker Communications of the ACM 54 (6), 11-13, 2011	104*	2011
Learning symbolic automata S Drews, L D’Antoni International Conference on Tools and Algorithms for the Construction and …, 2017	94	2017
Streaming tree transducers R Alur, L D’Antoni Automata, Languages, and Programming: 39th International Colloquium, ICALP …, 2012	93*	2012
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	91	2016
Learning quick fixes from code repositories R Sousa, G Soares, R Gheyi, T Barik, L D'Antoni Proceedings of the XXXV Brazilian Symposium on Software Engineering, 74-83, 2021	89*	2021
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	79	2015
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	67	2017
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	62	2015
The learnability of symbolic automata G Argyros, L D’Antoni Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018	52	2018
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	48	2013
Semantics-guided synthesis J Kim, Q Hu, L D'Antoni, T Reps Proceedings of the ACM on Programming Languages 5 (POPL), 1-32, 2021	44	2021

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors