• Sign in
  • Sign up
conf.researchr.org / Petr Janků
  • PLDI 2020 profile
  • PLDI 2022 profile
  • POPL 2018 profile
  • SPLASH 2021 profile

Not registered as user yet

Name:Petr Janků
Affiliation:Brno University of Technology, Czechia

Contributions

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
PLDI 2020 Author of Efficient Handling of String-Number Conversion within the PLDI 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

Share
xWed 6 Jul 00:52
using conf.researchr.org (v1.56.1)
Support page
Sign Up