conf.researchr.org / Justus Adam
Justus Adam

Registered user since Thu 1 Aug 2019

Name:Justus Adam
Country:United Kingdom
Affiliation:University of Kent, UK
Personal website:https://justus.science
Twitter:https://twitter.com/justusadam_
GitHub:https://github.com/JustusAdam
Research interests:Compilers, Parallel Computing, Type Checking, Distributed Systems, PL

Contributions

TAPAS 2020 Author of Type checking beyond type checkers, via Slice & Run within the TAPAS-track
ICFP 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Haskell 2019 Author of STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism within the Haskell 2019-track