Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jan Midtgaard
conf.researchr.org general profile
APLAS 2020 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2020 profile
ICFP 2022 profile
ICFP 2023 profile
POPL 2018 profile
POPL 2019 profile
SPLASH 2011 profile
Registered user since Mon 21 Mar 2016
Name:
Jan Midtgaard
Country:
Denmark
Affiliation:
Tarides
Personal website:
https://janmidtgaard.dk/
Contributions
2023
ICFP
Committee Member in Program Committee within the ICFP Papers and Events-track
2022
OCaml
Author of Multicoretests - Parallel Testing Libraries for OCaml 5.0 within the OCaml 2022-track
2020
APLAS
Author of Stack-Driven Program Generation of WebAssembly within the Research Papers-track
ICFP
Committee Member in External Review Committee within the ICFP Program-track
miniKanren
Committee Member in Program Committee within the miniKanren 2020-track
OCaml
Author of A Simple State-Machine Framework for Property-Based Testing in OCaml within the OCaml 2020-track
2019
PEPM
Committee Member in Program Committee within the PEPM 2019-track
2018
PEPM
Invited Speaker of Developments in Property-Based Testing (Invited Talk) within the PEPM 2018-track
2017
ICFP
Author of Effect-Driven QuickChecking of Compilers within the Research Papers-track
2016
ML
Committee Member in Program Committee within the ML-track
2011
Scheme
Committee Member in Program Committee within the Scheme 2011-track
SPLASH
Author of Flow-Sensitive Type Recovery in Linear-Log Time within the OOPSLA-track
Share
x
Tue 10 Jun 16:15
