Loris D'Antoni

Latest news

Oct 2

Revisar selected as Distinguished Paper at SBES21!

Sep 30

Antidote selected as SIGPLAN Research Highlight and its follow-up Antidote-P accepted at NeurIPS!

Apr 29

Prognosis accepted at SIGCOMM 21!

Apr 16

Synthesis with Asymptotic Resource Bounds accepted at CAV21!

Oct 1

Semantics-guided synthesis conditionally accepted at POPL21!

Jun 1

Robustness to Programmable String Transformations via Augmented Abstract Training accepted at ICML20!

Apr 16

Honored to have been selected as one of the Microsoft Research Fellows 2020!

Apr 6

Automata Tutor v3 accepted at CAV20!

Feb 28

Our ESOP20 paper has been nominated for EAPLS Award for the best ETAPS paper on PL and systems!

Feb 21

Antidote, Nay, and QARC accepted at PLDI20!

Feb 20

Our ESOP20 paper on synthesizing programs that operate over large integer values selected for a special issue of TOPLAS!

Jan 23

Our work on synthesis for large integer values accepted at ESOP20!

July 1

RFixer conditionally accepted at OOPSLA19!

June 16

I'll be giving an invited talk at SYNT19 on "computational synthesis theory"!

June 14

JDial accepted at SAS19!

Apr 16

Three papers accepted at CAV19. See you in NYC!

Oct 10

I'm co-organizing the first Meeting on String Constraints and Applications (MOSCA) in Bertinoro next May!

Oct 2

Facebook partially funded my proposal to the Testing and Verification Research Award!

Jun 21

Rong Pan wins PLDI18 SRC (undergraduate) for our work on synthesizing programs with large constants!

Apr 19

I will be serving in the program committee for PLATEAU 18.

Apr 2

I will be serving in the program committee for LPAR-22 and I am excited to organize the Midwest Programming Languages Summit 2018.

Mar 31

Two papers accepted at CAV 2018! The Learnability of Symbolic Automata and Syntax Guided Synthesis with Quantitative Syntactic Objectives.

Dec 20

Got the NSF CAREER! ... and Synthesis of Fault-Tolerant Distributed Router Configurations accepted at SIGMETRICS 2018!

July 10

Some press about our fairness project (led by Aws) on UW News and the Wisconsin State Journal.

June 20

FairSquare: Probabilistic Verification of Program Fairness accepted at OOPSLA 2017!

June 2

NoFAQ: Synthesizing Command Repairs from Examples accepted at FSE 2017!

May 5

The long version of Streaming tree transducers will appear in JACM!

May 3

A Symbolic Decision Procedure for Symbolic Alternating Automata accepted at MFPS XXXIII!

Apr 24

Weighted Model Integration with Orthogonal Transformations accepted at IJCAI 2017!

Apr 12

Repairing Decision-Making Programs under Uncertainty accepted at CAV 2017, where I was also invited to give a tutorial on The power of Symbolic Automata and Transducers!

Feb 13

Received the Google Faculty Research Award! Moreover, Automatic Program Inversion using Symbolic Transducers and Control-Flow Recovery from Partial Failure Reports accepted at PLDI 2017!

Dec 22

Learning Symbolic Automata accepted at TACAS 2017 and nominated for best paper award! Forward Bisimulations for Nondeterministic Symbolic Finite Automata also accepted at TACAS 2017!

Dec 21

The work on Refazer produced one paper at L@S and one at ICSE17.

Oct 3

Monadic second-order logic on finite sequences and Genesis: Synthesizing Forwarding Tables in Multi-tenant Networks accepted at POPL 2017!

Sep 20

The next time you need to evaluated your tool on Automata and Temporal Logic you can use the benchmark AutomatArk and contribute with new benchmark for the community to use.

Sep 10

We open-sourced the frontend and backend of Automata Tutor. Feel free to contribute, address issues, and add features. We also made publicly available most of the data we collected.

Apr 15

Qlose: Program Repair with Quantitative Objectives with Roopsha Samanta and Rishabh Singh accepted at CAV 2016!

Apr 4

Minimization of symbolic tree automata accepted at LICS 2016!