| A co-contextual formulation of type rules and its application to incremental type checking S Erdweg, O Bračevac, E Kuci, M Krebs, M Mezini Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 33 | 2015 |
| Versatile event correlation with algebraic effects O Bračevac, N Amin, G Salvaneschi, S Erdweg, P Eugster, M Mezini Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018 | 29 | 2018 |
| Reachability types: tracking aliasing and separation in higher-order functional programs Y Bao, G Wei, O Bračevac, Y Jiang, Q He, T Rompf Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-32, 2021 | 28 | 2021 |
| Graph IRS for impure higher-order languages: making aggressive optimizations affordable with precise effect dependencies O Bračevac, G Wei, S Jia, S Abeysinghe, Y Jiang, Y Bao, T Rompf Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 400-430, 2023 | 18 | 2023 |
| A co-contextual type checker for featherweight java (incl. proofs) E Kuci, S Erdweg, O Bračevac, A Bejleri, M Mezini arXiv preprint arXiv:1705.05828, 2017 | 18 | 2017 |
| Compiling symbolic execution with staging and algebraic effects G Wei, O Bračevac, S Tan, T Rompf Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-33, 2020 | 17 | 2020 |
| Polymorphic reachability types: Tracking freshness, aliasing, and separation in higher-order generic programs G Wei, O Bračevac, S Jia, Y Bao, T Rompf Proceedings of the ACM on Programming Languages 8 (POPL), 393-424, 2024 | 15 | 2024 |
| Compiling parallel symbolic execution with continuations G Wei, S Jia, R Gao, H Deng, S Tan, O Bračevac, T Rompf 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 13 | 2023 |
| CPL: A core language for cloud computing O Bračevac, S Erdweg, G Salvaneschi, M Mezini Proceedings of the 15th International Conference on Modularity, 94-105, 2016 | 13 | 2016 |
| LLSC: A parallel symbolic execution compiler for LLVM IR G Wei, S Tan, O Bračevac, T Rompf Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 10 | 2021 |
| Graph irs for impure higher-order languages (technical report) O Bračevac, G Wei, S Jia, S Abeysinghe, Y Jiang, Y Bao, T Rompf arXiv preprint arXiv:2309.08118, 2023 | 6 | 2023 |
| What If We Don't Pop the Stack? The Return of 2nd-Class Values A Xhebraj, O Bračevac, G Wei, T Rompf 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 6 | 2022 |
| Event Correlation with Algebraic Effects-Theory, Design and Implementation O Bračevac Technische Universität, 2019 | 2 | 2019 |
| Modeling Reachability Types with Logical Relations Y Bao, G Wei, O Bračevac, T Rompf arXiv preprint arXiv:2309.05885, 2023 | 1 | 2023 |
| What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact) A Xhebraj, O Bračevac, G Wei, T Rompf Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022 | 1 | 2022 |
| Type-safe, polyvariadic event correlation O Bračevac, G Salvaneschi, S Erdweg, M Mezini arXiv preprint arXiv:1907.02990, 2019 | 1 | 2019 |
| Reachability Types: Expressive Ownership-Style Reasoning for Higher-Order Programs with (Co) Effects O Bračevac | | 2022 |
| CPL: A Core Language for Cloud Computing--Technical Report O Bračevac, S Erdweg, G Salvaneschi, M Mezini arXiv preprint arXiv:1602.00981, 2016 | | 2016 |
| A Formal Model for Event Correlation in Information Flow Processing O Bracevac | | 2013 |
| Towards Full Dependent Types in O Bračevac, NJ Raj, G Wei, T Rompf | | |
Tiark RompfPurdue University在 purdue.edu 的电子邮件经过验证
