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
ICFP/SPLASH 2025 profile
POPL 2018 profile
POPL 2019 profile
SPLASH 2011 profile
Registered user since Mon 21 Mar 2016
Name:
Jan Midtgaard
Country:
Denmark
Personal website:
https://janmidtgaard.dk/
Contributions
2025
OlivierFest
Author of Property-Based Testing of OCaml 5’s Runtime System: Fun and Segfaults with Interpreters and State Transition Functions within the OlivierFest 2025-track
Programme Committee in Program Committee within the OlivierFest 2025-track
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 23 Sep 14:22
