Justus Adam

According to our database, Justus Adam authored at least 14 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Towards Practically-Secure Tools for AI Agents.

Justus Adam, Yuchen Lu, Deepti Raghavan, Malte Schwarzkopf, Nikos Vasilakis

Proceedings of the Sixth European Workshop on Machine Learning and Systems, EuroMLSys 2026, 2026

2025

Paralegal OSDI 2025 Artifact.

Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Mithi Jethwa, Nathan Harbison, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf

Dataset, May, 2025

Paralegal OSDI 2025 Artifact.

Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Mithi Jethwa, Nathan Harbison, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf

Dataset, May, 2025

Paralegal OSDI 2025 Artifact.

Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Mithi Jethwa, Nathan Harbison, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf

Dataset, May, 2025

Paralegal OSDI 2025 Artifact.

Justus Adam, Malte Schwarzkopf, Shriram Krishnamurthi, Will Crichton, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Nathan Harbison, Mithi Jethwa

Dataset, May, 2025

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

Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, 2025

Kernel Extension DSLs Should Be Verifier-Safe!

Franco Solleza, Justus Adam, Akshay Narayan, Malte Schwarzkopf, Andrew Crotty, Nesime Tatbul

Proceedings of the 3rd Workshop on eBPF and Kernel Extensions, 2025

2023

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

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

2020

Towards Scalable UDTFs in Noria.

Justus Adam

Proceedings of the 2020 International Conference on Management of Data, 2020

Type checking beyond type checkers, via slice & run.

Justus Adam, Stephen Kell

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, 2020

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

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

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

2018

Supporting Fine-grained Dataflow Parallelism in Big Data Systems.

Sebastian Ertel, Justus Adam, Jerónimo Castrillón

Proceedings of the 9th International Workshop on Programming Models and Applications for Multicores and Manycores, 2018

Compiling for concise code and efficient I/O.

Sebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón

Proceedings of the 27th International Conference on Compiler Construction, 2018