Loris D'Antoni
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Learned load balancing Theoretical Computer Science | 2024-06-04 | Paper |
| Symbolic register automata Computer Aided Verification | 2024-02-16 | Paper |
| Proving unrealizability for syntax-guided synthesis Computer Aided Verification | 2024-02-16 | Paper |
| Efficient synthesis with probabilistic constraints Computer Aided Verification | 2024-02-16 | Paper |
| Syntax-guided synthesis with quantitative syntactic objectives Computer Aided Verification | 2023-05-26 | Paper |
| The learnability of symbolic automata Computer Aided Verification | 2023-05-26 | Paper |
| Solving program sketches with large integer values Programming Languages and Systems | 2022-10-13 | Paper |
| The power of symbolic automata and transducers | 2022-07-01 | Paper |
| Repairing decision-making programs under uncertainty | 2022-07-01 | Paper |
| A symbolic decision procedure for symbolic alternating finite automata | 2022-04-25 | Paper |
| Programmable program synthesis | 2022-03-25 | Paper |
| Synthesis with asymptotic resource bounds | 2022-03-25 | Paper |
| Automata Tutor v3 | 2021-02-09 | Paper |
| Learning symbolic automata Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Forward bisimulations for nondeterministic symbolic finite automata Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Streaming tree transducers Journal of the ACM | 2018-05-17 | Paper |
| Minimization of symbolic tree automata Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Monadic second-order logic on finite sequences Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Genesis: synthesizing forwarding tables in multi-tenant networks Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Regular functions and cost register automata (invited paper) 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
| DReX: a declarative language for efficiently evaluating regular string transformations Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Program boosting: program synthesis via crowd-sourcing Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Extended symbolic finite automata and transducers Formal Methods in System Design | 2015-10-20 | Paper |
| High-performance complex event processing over hierarchical data ACM Transactions on Database Systems | 2015-09-03 | Paper |
| Static analysis of string encoders and decoders Lecture Notes in Computer Science | 2014-11-03 | Paper |
| Minimization of symbolic automata Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Streaming tree transducers Lecture Notes in Computer Science | 2012-11-01 | Paper |
| Global Progress in Dynamically Interleaved Multiparty Sessions CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Research outcomes over time
This page was built for person: Loris D'Antoni
