Two papers accepted at top-tier conference OOPSLA

Sound and Reusable Components for Abstract Interpretation
Sven Keidel and Sebastian Erdweg. In Proceedings of the ACM on Programming Languages (OOPSLA). ACM, 2019. [ Details ]

Language-Integrated Privacy-Aware Distributed Queries
Guido Salvaneschi, Mirko K√∂hler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, and Mira Mezini. In Proceedings of the ACM on Programming Languages (OOPSLA). ACM, 2019. [ Details ]

Posted on | Posted in Allgemein