Algorithmic Verification of String Manipulating Programs

Informacje na temat projektu

AV-SMP

Identyfikator umowy o grant: 759969

DOI

10.3030/759969

Projekt został zamknięty

Data podpisania przez KE 19 Września 2017

Data rozpoczęcia 1 Listopada 2017

Data zakończenia 31 Października 2022

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 496 687,00

Wkład UE

€ 1 496 687,00

Koordynowany przez

RHEINLAND-PFALZISCHE TECHNISCHE UNIVERSITAT
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Book chapters (5)

Regular Model Checking Revisited

Autorzy: Anthony W. Lin, Philipp Ruemmer
Opublikowane w: Model Checking, Synthesis, and Learning 2021, 2021, Strona(/y) 97-114
Wydawca: Springer
DOI: 10.1007/978-3-030-91384-7_6

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

Autorzy: Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
Opublikowane w: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Numer 12302, 2020, Strona(/y) 325-342, ISBN 978-3-030-59151-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-59152-6_18

Monadic Decomposition in Integer Linear Arithmetic

Autorzy: Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Opublikowane w: Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Numer 12166, 2020, Strona(/y) 122-140, ISBN 978-3-030-51073-2
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-51074-9_8

Complexity Analysis of Tree Share Structure

Autorzy: Xuan-Bach Le, Aquinas Hobor, Anthony W. Lin
Opublikowane w: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings, Numer 11275, 2018, Strona(/y) 89-108, ISBN 978-3-030-02767-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-02768-1_5

Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols)

Autorzy: Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
Opublikowane w: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Numer 11561, 2019, Strona(/y) 455-474, ISBN 978-3-030-25539-8
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-25540-4_27

Conference proceedings (10)

Data Path Queries over Embedded Graph Databases

Autorzy: Diego Figueira; Artur Jez; Anthony W. Lin
Opublikowane w: PODS '22: Proceedings of ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Numer 41, 2022
Wydawca: ACM
DOI: 10.1145/3517804.3524159

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems

Autorzy: Daniel Stan, Anthony W. Lin
Opublikowane w: 2021, Strona(/y) 1254–1262
Wydawca: Association for Computing Machinery
DOI: 10.5555/3463952.3464097

Parameterized Synthesis with Safety Properties

Autorzy: Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Opublikowane w: APLAS 2020 (Asian Programming Languages and Systems), 2020, Strona(/y) 273-292
Wydawca: Springer
DOI: 10.1007/978-3-030-64437-6_14

Learning-Based Synthesis of Safety Controllers

Autorzy: Daniel Neider, Oliver Markgraf
Opublikowane w: 2019 Formal Methods in Computer Aided Design (FMCAD), 2019, Strona(/y) 120-128, ISBN 978-0-9835678-9-9
Wydawca: IEEE
DOI: 10.23919/fmcad.2019.8894254

Reasoning on Data Words over Numeric Domains

Autorzy: Diego Figueira; Anthony Widjaja Lin
Opublikowane w: Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Numer 37, 2022
Wydawca: ACM/IEEE
DOI: 10.1145/3531130.3533354

CertiStr: A Certified String Solver

Autorzy: Shuanglong Kan, Anthony W. Lin, Philipp Ruemmer, Micha Schrader
Opublikowane w: CPP 2022: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022, Strona(/y) 210-224
Wydawca: Association for Computing Machinery
DOI: 10.1145/3497775.3503691

Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition)

Autorzy: Oliver Markgraf, Daniel Stan, Anthony W. Lin
Opublikowane w: Computer Aided Verification 2021, 2021, Strona(/y) 243-265
Wydawca: Springer
DOI: 10.1007/978-3-030-81688-9_12

Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

Autorzy: Anthony W. Lin, Rupak Majumdar
Opublikowane w: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Numer 11138, 2018, Strona(/y) 352-369, ISBN 978-3-030-01089-8
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-01090-4_21

Monadic Decomposability of Regular Relation

Autorzy: Pablo Barcelo, Chih-Duo Hong, Xuan-Bach Le, Anthony W. Lin, Reino Niskanen
Opublikowane w: International Colloquium on Automata, Languages and Programming, 2019, Strona(/y) 103:1-103:14, ISBN 978-3-95977-109-2
Wydawca: LIPIcs–Leibniz International Proceedings in Informatics
DOI: 10.4230/lipics.icalp.2019.103

Ramsey Quantifiers over Automatic Structures: {C}omplexity and Applications to Verification

Autorzy: Pascal Bergsträßer; Moses Ganardi; Anthony W. Lin; Georg Zetzsche
Opublikowane w: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Numer 37, 2022
Wydawca: ACM/IEEE
DOI: 10.48550/arxiv.2205.09015

Peer reviewed articles (7)

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games

Autorzy: Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Opublikowane w: Artificial Intelligence, Numer 287, 2020, Strona(/y) 103353, ISSN 0004-3702
Wydawca: Elsevier BV
DOI: 10.1016/j.artint.2020.103353

Decision procedures for path feasibility of string-manipulating programs with complex operations

Autorzy: Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 3/POPL, 2019, Strona(/y) 1-30, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3290362

String constraints with concatenation and transducers solved efficiently

Autorzy: Lukáš Holík, Petr Janků, Anthony W. Lin, Philipp Rümmer, Tomáš Vojnar
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 2/POPL, 2018, Strona(/y) 1-32, ISSN 2475-1421
Wydawca: ACM

What is decidable about string constraints with the ReplaceAll function

Autorzy: Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 2/POPL, 2018, Strona(/y) 1-29, ISSN 2475-1421
Wydawca: ACM

CSS Minification via Constraint Solving

Autorzy: Matthew Hague, Anthony W. Lin, Chih-Duo Hong
Opublikowane w: ACM Transactions on Programming Languages and Systems, Numer 41/2, 2019, Strona(/y) 1-76, ISSN 0164-0925
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3310337

Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

Autorzy: Anthony W. Lin; Rupak Majumdar
Opublikowane w: lmcs:6693 - Logical Methods in Computer Science, 2021-10-29, Volume 17, Numer 4, Numer 12, 2021, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-17(4:4)2021

Solving string constraints with Regex-dependent functions through transducers with priorities and variables

Autorzy: Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 6 (POPL), 2022, Strona(/y) 1-31, ISSN 2475-1421
Wydawca: Association for Computing Machinery
DOI: 10.1145/3498707