Follow
Loris D'Antoni
Title
Cited by
Cited by
Year
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
2862017
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
2542008
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
1542017
Qlose: Program Repair with Quantitative Objectives
L D’Antoni, R Samanta, R Singh
International Conference on Computer Aided Verification, 383-401, 2016
1502016
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
1352017
Minimization of symbolic automata
L D'Antoni, M Veanes
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
1322014
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
1122013
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
1112013
The power of symbolic automata and transducers
L D’Antoni, M Veanes
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
1002017
Streaming tree transducers
R Alur, L D’Antoni
Automata, Languages, and Programming: 39th International Colloquium, ICALP …, 2012
92*2012
Learning symbolic automata
S Drews, L D’Antoni
International Conference on Tools and Algorithms for the Construction and …, 2017
892017
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
88*2021
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
882016
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
772015
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
662017
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
642015
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
ACM Join
Communications of the ACM 44 (6), 15-20, 2001
59*2001
The learnability of symbolic automata
G Argyros, L D’Antoni
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
512018
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
492013
Automatic program inversion using symbolic transducers
Q Hu, L D'Antoni
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
432017
The system can't perform the operation now. Try again later.
Articles 1–20