Folgen
Loris D'Antoni
Titel
Zitiert von
Zitiert von
Jahr
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
2492017
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
2452008
Qlose: Program Repair with Quantitative Objectives
L D’Antoni, R Samanta, R Singh
International Conference on Computer Aided Verification, 383-401, 2016
1352016
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
1272017
Minimization of symbolic automata
L D'Antoni, M Veanes
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
1172014
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
1072013
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
992017
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
982013
Streaming tree transducers
R Alur, L D’Antoni
Automata, Languages, and Programming: 39th International Colloquium, ICALP …, 2012
90*2012
The power of symbolic automata and transducers
L D’Antoni, M Veanes
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
812017
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
762016
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
712015
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
70*2021
Learning symbolic automata
S Drews, L D’Antoni
International Conference on Tools and Algorithms for the Construction and …, 2017
692017
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
612015
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
542017
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
472013
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
402015
Extended symbolic finite automata and transducers
L D’antoni, M Veanes
Formal Methods in System Design 47, 93-119, 2015
392015
The learnability of symbolic automata
G Argyros, L D’Antoni
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
372018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20