• Sign in
  • Sign up
conf.researchr.org / Jan Strejcek
  • ETAPS 2019 profile
  • POPL 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile

Registered user since Thu 1 Aug 2019

Name:Jan Strejcek
Country:Czech Republic
Affiliation:Masaryk University
Personal website: https://www.fi.muni.cz/~xstrejc/

Contributions

2022

Static Analysis Symposium

  • Author of Case Study on Verification-Witness Validators: Where We Are and Where We Go within the SAS-track

2021

Static Analysis Symposium

  • Author of Backward Symbolic Execution with Loop Folding within the SAS-track

2020

VMCAI

  • PC Member in Program Committee within the VMCAI 2020-track

2019

TACAS

  • Committee Member in Program Committee within the TACAS 2019-track
Share
xFri 22 Sep 17:45
using conf.researchr.org (v1.62.0)
Support page
Sign Up