Loris D'Antoni

According to our database1, Loris D'Antoni authored at least 61 papers between 2008 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Semantics-guided synthesis.
Proc. ACM Program. Lang., 2021

Synthesis with Asymptotic Resource Bounds.
CoRR, 2021

Certified Robustness to Programmable Transformations in LSTMs.
CoRR, 2021

2020
Detecting network load violations for distributed control planes.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Proving data-poisoning robustness in decision trees.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Robustness to Programmable String Transformations via Augmented Abstract Training.
Proceedings of the 37th International Conference on Machine Learning, 2020

Solving Program Sketches with Large Integer Values.
Proceedings of the Programming Languages and Systems, 2020

Automata Tutor v3.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Automatic repair of regular expressions.
Proc. ACM Program. Lang., 2019

D2R: Dataplane-Only Policy-Compliant Routing Under Failures.
CoRR, 2019

Direct Manipulation for Imperative Programs.
Proceedings of the Static Analysis - 26th International Symposium, 2019

Proving Unrealizability for Syntax-Guided Synthesis.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Efficient Synthesis with Probabilistic Constraints.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Symbolic Register Automata.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Synthesis of Fault-Tolerant Distributed Router Configurations.
Proc. ACM Meas. Anal. Comput. Syst., 2018

A Symbolic Decision Procedure for Symbolic Alternating Finite Automata.
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Program Repair via Direct State Manipulation.
CoRR, 2018

Learning Quick Fixes from Code Repositories.
CoRR, 2018

Syntax-Guided Synthesis with Quantitative Syntactic Objectives.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

The Learnability of Symbolic Automata.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
FairSquare: probabilistic verification of program fairness.
Proc. ACM Program. Lang., 2017

Streaming Tree Transducers.
J. ACM, 2017

Quantifying Program Bias.
CoRR, 2017

TraceDiff: Debugging unexpected code behavior using trace divergences.
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

Learning Symbolic Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Forward Bisimulations for Nondeterministic Symbolic Finite Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

NoFAQ: synthesizing command repairs from examples.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Genesis: synthesizing forwarding tables in multi-tenant networks.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Monadic second-order logic on finite sequences.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Control-flow recovery from partial failure reports.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Automatic program inversion using symbolic transducers.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Writing Reusable Code Feedback at Scale with Mixed-Initiative Program Synthesis.
Proceedings of the Fourth ACM Conference on Learning @ Scale, 2017

Weighted Model Integration with Orthogonal Transformations.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Learning syntactic program transformations from examples.
Proceedings of the 39th International Conference on Software Engineering, 2017

Exploring the Design Space of Automatically Synthesized Hints for Introductory Programming Assignments.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

The Power of Symbolic Automata and Transducers.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Repairing Decision-Making Programs Under Uncertainty.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Fairness as a Program Property.
CoRR, 2016

HARE: Hardware accelerator for regular expressions.
Proceedings of the 49th Annual IEEE/ACM International Symposium on Microarchitecture, 2016

Minimization of Symbolic Tree Automata.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Qlose: Program Repair with Quantitative Objectives.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Fast: A Transducer-Based Language for Tree Manipulation.
ACM Trans. Program. Lang. Syst., 2015

How Can Automatic Feedback Help Students Construct Automata?
ACM Trans. Comput. Hum. Interact., 2015

Extended symbolic finite automata and transducers.
Formal Methods Syst. Des., 2015

Automata Tutor and what we learned from building an online teaching tool.
Bull. EATCS, 2015

Program Boosting: Program Synthesis via Crowd-Sourcing.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Symbolic WS1S.
Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

2014
Minimization of symbolic automata.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Symbolic Visibly Pushdown Automata.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
High-performance complex event processing over hierarchical data.
ACM Trans. Database Syst., 2013

Static Analysis of String Encoders and Decoders.
Proceedings of the Verification, 2013

Regular Functions and Cost Register Automata.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Automated Grading of DFA Constructions.
Proceedings of the IJCAI 2013, 2013

Sensitivity analysis using type-based constraints.
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Operating System Support for Augmented Reality Applications.
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

Equivalence of Extended Symbolic Finite Transducers.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
In the Maze of Data Languages
CoRR, 2012

2011
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems
CoRR, 2011

2008
Global Progress in Dynamically Interleaved Multiparty Sessions.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008


  Loading...