Compiling for concise code and efficient I/O. - Sebastian Ertel; Andrés Goens; Justus Adam; Jerónimo Castrillón (CC, 2018)

Supporting Fine-grained Dataflow Parallelism in Big Data Systems. - Sebastian Ertel; Justus Adam; Jerónimo Castrillón (PMAM@PPoPP, 2018)

STCLang: state thread composition as a foundation for monadic dataflow parallelism. - Sebastian Ertel; Justus Adam; Norman A. Rink; Andrés Goens; Jerónimo Castrillón (Haskell@ICFP, 2019)

Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism". - Sebastian Ertel; Justus Adam; Norman A. Rink; Andrés Goens; Jerónimo Castrillón (CoRR, 2019)

Type checking beyond type checkers, via slice & run. - Justus Adam; Stephen Kell (TAPAS@SPLASH, 2020)

Towards Scalable UDTFs in Noria. - Justus Adam (SIGMOD Conference, 2020)

K9db: Privacy-Compliant Storage For Web Applications By Construction. - Kinan Dak Albab; Ishan Sharma; Justus Adam; Benjamin Kilimnik; Aaron R. Jeyaraj; Raj Paul; Artem Agvanian; Leonhard F. Spiegelberg; Malte Schwarzkopf (OSDI, 2023)

Paralegal: Practical Static Analysis for Privacy Bugs. - Justus Adam; Carolyn Zech; Livia Zhu; Sreshtaa Rajesh; Nathan Harbison; Mithi Jethwa; Will Crichton; Shriram Krishnamurthi; Malte Schwarzkopf (OSDI, 2025)