Not registered as user yet

Name:Lukáš Holík
Affiliation:Brno University of Technology

Contributions

APLAS 2021 Author of Preprocessing of Alternating Automata for Language Emptiness Testing within the Research Papers-track
Author of Solving Not-Substring with Flat Abstraction within the Research Papers-track
SPLASH 2021 Author of Efficient Handling of String-Number Conversion within the SIGPLAN Papers-track
Author of Regex Matching with Counting-Set Automata within the SIGPLAN Papers-track
SPLASH 2020 Author of Regex Matching with Counting-Set Automata within the OOPSLA Artifacts-track
Author of Regex Matching with Counting-Set Automata within the OOPSLA-track
ADSL 2020 Committee Member in Program Committee within the ADSL 2020-track
PLDI 2020 Author of Efficient Handling of String-Number Conversion within the PLDI Research Papers-track
APLAS 2019 Author of J-ReCoVer: Java Reducer Commutativity Verifier [Tool Paper] within the Research Papers-track
Author of Succinct Determinisation of Counting Automata via Sphere Construction within the Research Papers-track
VMCAI 2018 Author of From Shapes to Amortized Complexity within the VMCAI 2018-track
POPL 2018 Author of String Constraints with Concatenation and Transducers Solved Efficiently within the Research Papers-track
Author of String Constraints with Concatenation and Transducers Solved Efficiently within the Artifact Evaluation-track
VMCAI 2017 Author of Counterexample Validation and Interpolation-Based Refinement for Forest Automata within the VMCAI-track
PLDI 2017 Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track
VMCAI Author of From Low Level Pointers to High Level Containers within the VMCAI-track
Author of Pointer Race Freedom within the VMCAI-track