Login / Signup
Justus Adam
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 7
Top Topics
Relational Calculus
Query Processor
Type Checking
Mashup
Top Venues
CoRR
Haskell@ICFP
PMAM@PPoPP
CC
</>
Publications
</>
Kinan Dak Albab
,
Ishan Sharma
,
Justus Adam
,
Benjamin Kilimnik
,
Aaron R. Jeyaraj
,
Raj Paul
,
Artem Agvanian
,
Leonhard F. Spiegelberg
,
Malte Schwarzkopf
K9db: Privacy-Compliant Storage For Web Applications By Construction.
OSDI
(2023)
Justus Adam
Towards Scalable UDTFs in Noria.
SIGMOD Conference
(2020)
Justus Adam
,
Stephen Kell
Type checking beyond type checkers, via slice & run.
TAPAS@SPLASH
(2020)
Sebastian Ertel
,
Justus Adam
,
Norman A. Rink
,
Andrés Goens
,
Jerónimo Castrillón
Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism".
CoRR
(2019)
Sebastian Ertel
,
Justus Adam
,
Norman A. Rink
,
Andrés Goens
,
Jerónimo Castrillón
STCLang: state thread composition as a foundation for monadic dataflow parallelism.
Haskell@ICFP
(2019)
Sebastian Ertel
,
Justus Adam
,
Jerónimo Castrillón
Supporting Fine-grained Dataflow Parallelism in Big Data Systems.
PMAM@PPoPP
(2018)
Sebastian Ertel
,
Andrés Goens
,
Justus Adam
,
Jerónimo Castrillón
Compiling for concise code and efficient I/O.
CC
(2018)