Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lukáš Holík
conf.researchr.org general profile
APLAS 2019 profile
ECOOP 2022 profile
PLDI 2020 profile
PLDI 2022 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2020 profile
POPL 2025 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2023 profile
Registered user since Mon 18 Oct 2021
Name:
Lukáš Holík
Country:
Czechia
Affiliation:
Brno University of Technology
Contributions
2025
POPL
Author of Verifying Quantum Circuits with Level-Synchronized Tree Automata within the POPL-track
2023
SPLASH
Author of Solving String Constraints with Lengths by Stabilization within the OOPSLA-track
2022
ECOOP
Author of Low-Level Bi-Abduction within the Research Papers-track
PLDI
Author of (PLDI 2020) Efficient Handling of String-Number Conversion within the SIGPLAN Track-track
2021
SPLASH
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
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
2020
SPLASH
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
Author of Efficient Handling of String-Number Conversion within the PLDI Research Papers-track
ADSL
Committee Member in Program Committee within the ADSL 2020-track
2019
APLAS
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
2018
POPL
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
Author of From Shapes to Amortized Complexity within the VMCAI 2018-track
2017
PLDI
Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track
VMCAI
Author of Counterexample Validation and Interpolation-Based Refinement for Forest Automata within the VMCAI-track
2016
VMCAI
Author of From Low Level Pointers to High Level Containers within the VMCAI-track
Author of Pointer Race Freedom within the VMCAI-track
Share
x
Tue 3 Dec 18:04