Loris D'Antoni

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Synthesizing Transducers from Complex Specifications.

[BibT_eX]

[DOI]

Anvay Grover

Ruediger Ehlers

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Semantics-guided synthesis.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

Automata modulo theories.

[BibT_eX]

[DOI]

Commun. ACM, 2021

D2R: Policy-Compliant Fast Reroute.

[BibT_eX]

[DOI]

Anubhavnidhi Abhashkumar

Proceedings of the SOSR '21: The ACM SIGCOMM Symposium on SDN Research, Virtual Event, USA, October 11, 2021

Prognosis: closed-box analysis of network protocol implementations.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

Learning Quick Fixes from Code Repositories.

[BibT_eX]

[DOI]

Reudismam Rolim de Sousa

Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

Certifying Robustness to Programmable Data Bias in Decision Trees.

[BibT_eX]

[DOI]

Anna P. Meyer

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Certified Robustness to Programmable Transformations in LSTMs.

[BibT_eX]

[DOI]

Yuhao Zhang

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

Synthesis with Asymptotic Resource Bounds.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Programmable Program Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Detecting network load violations for distributed control planes.

[BibT_eX]

[DOI]

Anubhavnidhi Abhashkumar

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.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Robustness to Programmable String Transformations via Augmented Abstract Training.

[BibT_eX]

[DOI]

Yuhao Zhang

Proceedings of the 37th International Conference on Machine Learning, 2020

Solving Program Sketches with Large Integer Values.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2020

Automata Tutor v3.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Automatic repair of regular expressions.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

D2R: Dataplane-Only Policy-Compliant Routing Under Failures.

[BibT_eX]

[DOI]

Anubhavnidhi Abhashkumar

CoRR, 2019

Direct Manipulation for Imperative Programs.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 26th International Symposium, 2019

Proving Unrealizability for Syntax-Guided Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Efficient Synthesis with Probabilistic Constraints.

[BibT_eX]

[DOI]

Samuel Drews

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Symbolic Register Automata.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Synthesis of Fault-Tolerant Distributed Router Configurations.

[BibT_eX]

[DOI]

Proc. ACM Meas. Anal. Comput. Syst., 2018

A Symbolic Decision Procedure for Symbolic Alternating Finite Automata.

[BibT_eX]

[DOI]

Zachary Kincaid

Fang Wang

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Program Repair via Direct State Manipulation.

[BibT_eX]

[DOI]

CoRR, 2018

Learning Quick Fixes from Code Repositories.

[BibT_eX]

[DOI]

CoRR, 2018

Syntax-Guided Synthesis with Quantitative Syntactic Objectives.

[BibT_eX]

[DOI]

Qinheping Hu

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

The Learnability of Symbolic Automata.

[BibT_eX]

[DOI]

George Argyros

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

FairSquare: probabilistic verification of program fairness.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Streaming Tree Transducers.

[BibT_eX]

[DOI]

J. ACM, 2017

Quantifying Program Bias.

[BibT_eX]

[DOI]

CoRR, 2017

TraceDiff: Debugging unexpected code behavior using trace divergences.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

Learning Symbolic Automata.

[BibT_eX]

[DOI]

Samuel Drews

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Forward Bisimulations for Nondeterministic Symbolic Finite Automata.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

NoFAQ: synthesizing command repairs from examples.

[BibT_eX]

[DOI]

Rishabh Singh

Michael Vaughn

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Genesis: synthesizing forwarding tables in multi-tenant networks.

[BibT_eX]

[DOI]

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Monadic second-order logic on finite sequences.

[BibT_eX]

[DOI]

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Control-flow recovery from partial failure reports.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Automatic program inversion using symbolic transducers.

[BibT_eX]

[DOI]

Qinheping Hu

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.

[BibT_eX]

[DOI]

Proceedings of the Fourth ACM Conference on Learning @ Scale, 2017

Weighted Model Integration with Orthogonal Transformations.

[BibT_eX]

[DOI]

David Merrell

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Learning syntactic program transformations from examples.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Exploring the Design Space of Automatically Synthesized Hints for Introductory Programming Assignments.

[BibT_eX]

[DOI]

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

The Power of Symbolic Automata and Transducers.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Repairing Decision-Making Programs Under Uncertainty.

[BibT_eX]

[DOI]

Samuel Drews

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Fairness as a Program Property.

[BibT_eX]

[DOI]

CoRR, 2016

HARE: Hardware accelerator for regular expressions.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual IEEE/ACM International Symposium on Microarchitecture, 2016

Minimization of Symbolic Tree Automata.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Qlose: Program Repair with Quantitative Objectives.

[BibT_eX]

[DOI]

Roopsha Samanta

Rishabh Singh

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Fast: A Transducer-Based Language for Tree Manipulation.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2015

How Can Automatic Feedback Help Students Construct Automata?

[BibT_eX]

[DOI]

ACM Trans. Comput. Hum. Interact., 2015

Extended symbolic finite automata and transducers.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2015

Automata Tutor and what we learned from building an online teaching tool.

[BibT_eX]

[DOI]

Bull. EATCS, 2015

Program Boosting: Program Synthesis via Crowd-Sourcing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mukund Raghothaman

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Symbolic WS1S.

[BibT_eX]

[DOI]

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

2014

Minimization of symbolic automata.

[BibT_eX]

[DOI]

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

Symbolic Visibly Pushdown Automata.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

High-performance complex event processing over hierarchical data.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2013

Static Analysis of String Encoders and Decoders.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2013

Regular Functions and Cost Register Automata.

[BibT_eX]

[DOI]

Jyotirmoy V. Deshmukh

Mukund Raghothaman

Yifei Yuan

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Automated Grading of DFA Constructions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Sensitivity analysis using type-based constraints.

[BibT_eX]

[DOI]

Emilio Jesús Gallego Arias

Marco Gaboardi

Andreas Haeberlen

Benjamin C. Pierce

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Operating System Support for Augmented Reality Applications.

[BibT_eX]

[DOI]

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

Equivalence of Extended Symbolic Finite Transducers.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

In the Maze of Data Languages

[BibT_eX]

[DOI]

CoRR, 2012

2011

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

[BibT_eX]

[DOI]