Lukáš Holík -

Registered user since Mon 18 Oct 2021

Name:Lukáš Holík

Affiliation:Brno University of Technology

Contributions

ECOOP 2022	Author of Low-Level Bi-Abduction within the Research Papers-track
PLDI 2022	Author of (PLDI 2020) Efficient Handling of String-Number Conversion within the SIGPLAN Track-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
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 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
PLDI 2020	Author of Efficient Handling of String-Number Conversion within the PLDI Research Papers-track
ADSL 2020	Committee Member in Program Committee within the ADSL 2020-track
APLAS 2019	Author of J-ReCoVer: Java Reducer Commutativity Veriﬁer [Tool Paper] within the Research Papers-track Author of Succinct Determinisation of Counting Automata via Sphere Construction within the Research Papers-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 2018	Author of From Shapes to Amortized Complexity within the VMCAI 2018-track
PLDI 2017	Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track
VMCAI 2017	Author of Counterexample Validation and Interpolation-Based Refinement for Forest Automata within the VMCAI-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