Compiling symbolic execution with staging and algebraic effects
Wei, Guannan, Bračevac, Oliver, Tan, Shangyin, Rompf, Tiark
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Compiling Parallel Symbolic Execution with Continuations
Wei, Guannan, Jia, Songlin, Gao, Ruiqi, Deng, Haotian, Tan, Shangyin, Bracevac, Oliver, Rompf, Tiark
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) (01.05.2023)
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) (01.05.2023)
Get full text
Conference Proceeding
Versatile event correlation with algebraic effects
Bračevac, Oliver, Amin, Nada, Salvaneschi, Guido, Erdweg, Sebastian, Eugster, Patrick, Mezini, Mira
Published in Proceedings of ACM on programming languages (01.09.2018)
Published in Proceedings of ACM on programming languages (01.09.2018)
Get full text
Journal Article
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Bračevac, Oliver, Wei, Guannan, Jia, Songlin, Abeysinghe, Supun, Jiang, Yuxuan, Bao, Yuyan, Rompf, Tiark
Published in Proceedings of ACM on programming languages (16.10.2023)
Published in Proceedings of ACM on programming languages (16.10.2023)
Get full text
Journal Article
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
Wei, Guannan, Bračevac, Oliver, Jia, Songlin, Bao, Yuyan, Rompf, Tiark
Published in arXiv.org (25.07.2023)
Published in arXiv.org (25.07.2023)
Get full text
Paper
Journal Article
Graph IRs for Impure Higher-Order Languages (Technical Report)
Bračevac, Oliver, Wei, Guannan, Jia, Songlin, Abeysinghe, Supun, Jiang, Yuxuan, Bao, Yuyan, Rompf, Tiark
Published in arXiv.org (15.09.2023)
Published in arXiv.org (15.09.2023)
Get full text
Paper
Journal Article
Type-safe, Polyvariadic Event Correlation
Bračevac, Oliver, Salvaneschi, Guido, Erdweg, Sebastian, Mezini, Mira
Published in arXiv.org (05.07.2019)
Published in arXiv.org (05.07.2019)
Get full text
Paper
Journal Article
A Co-contextual Type Checker for Featherweight Java (incl. Proofs)
Kuci, Edlira, Erdweg, Sebastian, Bračevac, Oliver, Bejleri, Andi, Mezini, Mira
Published in arXiv.org (23.05.2018)
Published in arXiv.org (23.05.2018)
Get full text
Paper
Journal Article
CPL: A Core Language for Cloud Computing -- Technical Report
Bračevac, Oliver, Erdweg, Sebastian, Salvaneschi, Guido, Mezini, Mira
Published in arXiv.org (05.02.2016)
Published in arXiv.org (05.02.2016)
Get full text
Paper
Journal Article