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 | 281 | 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 | 247 | 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 | 149 | 2017 |
Qlose: Program Repair with Quantitative Objectives L D’Antoni, R Samanta, R Singh International Conference on Computer Aided Verification, 383-401, 2016 | 143 | 2016 |
Minimization of symbolic automata L D'Antoni, M Veanes Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 126 | 2014 |
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 | 122 | 2017 |
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 | 109 | 2013 |
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 | 107 | 2013 |
The power of symbolic automata and transducers L D’Antoni, M Veanes Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 92 | 2017 |
Streaming tree transducers R Alur, L D’Antoni Automata, Languages, and Programming: 39th International Colloquium, ICALP …, 2012 | 87* | 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 | 84 | 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 | 82* | 2021 |
Learning symbolic automata S Drews, L D’Antoni International Conference on Tools and Algorithms for the Construction and …, 2017 | 79 | 2017 |
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 | 71 | 2015 |
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 | 64 | 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 | 63 | 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 | 49 | 2013 |
The learnability of symbolic automata G Argyros, L D’Antoni Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 46 | 2018 |
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 | 41 | 2015 |
Automatic program inversion using symbolic transducers Q Hu, L D'Antoni Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 40 | 2017 |