Loris D'Antoni
From MaRDI portal
Person:746775
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
