متابعة
Loris D'Antoni
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
2912017
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‏
2552008
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‏
1582017
Qlose: Program Repair with Quantitative Objectives‏
L D’Antoni, R Samanta, R Singh‏
International Conference on Computer Aided Verification, 383-401, 2016‏
1512016
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‏
1422017
Minimization of symbolic automata‏
L D'Antoni, M Veanes‏
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014‏
1332014
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‏
1142013
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‏
1142013
The power of symbolic automata and transducers‏
L D’Antoni, M Veanes‏
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017‏
1012017
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‏
912017
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‏
902016
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‏
792015
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‏
69*2001
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‏
672017
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 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
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20