Dr.-Ing. Oliver Bračevac
Dr.-Ing. Oliver Bračevac
Postdoctoral Reseearcher - Purdue University
Bestätigte E-Mail-Adresse bei purdue.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
132018
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
132015
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
102016
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
92017
Type-safe, polyvariadic event correlation
O Bračevac, G Salvaneschi, S Erdweg, M Mezini
arXiv preprint arXiv:1907.02990, 2019
12019
Event Correlation with Algebraic Effects-Theory, Design and Implementation
O Bračevac
Technische Universität, 2019
2019
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
Compiling Symbolic Execution with Staging and Algebraic Effects
G WEI, O BRAČEVAC, S TAN, T ROMPF
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9