Justus Adam

According to our database, Justus Adam authored at least 7 papers between 2018 and 2023.

Collaborative distances:

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

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