E-LIB Suche - Ergebnisse für: Bracevac, Oliver

1

Polymorphic Reachability Types: Tracking Freshness, Aliasin..:

Wei, Guannan ; Bračevac, Oliver ; Jia, Songlin..
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 393-424 , 2024

Link: https://doi.org/10.1145/..

2

Compiling Parallel Symbolic Execution with Continuations:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE),

Wei, Guannan ; Jia, Songlin ; Gao, Ruiqi... - p. 1316-1328 , 2023

Link: https://doi.org/10.1109/..

3

Graph IRs for Impure Higher-Order Languages: Making Aggress..:

Bračevac, Oliver ; Wei, Guannan ; Jia, Songlin...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 400-430 , 2023

Link: https://doi.org/10.1145/..

4

Reachability types: tracking aliasing and separation in hig..:

Bao, Yuyan ; Wei, Guannan ; Bračevac, Oliver...
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-32 , 2021

Link: https://doi.org/10.1145/..

5

LLSC: a parallel symbolic execution compiler for LLVM IR:

, In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Wei, Guannan ; Tan, Shangyin ; Bračevac, Oliver. - p. 1495-1499 , 2021

Link: https://dl.acm.org/doi/1..

6

Reachability types: tracking aliasing and separation in hig..:

Bao, Yuyan ; Wei, Guannan ; Bračevac, Oliver...
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-32 , 2021

Link: https://dl.acm.org/doi/1..

7

Compiling symbolic execution with staging and algebraic eff..:

Wei, Guannan ; Bračevac, Oliver ; Tan, Shangyin.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-33 , 2020

Link: https://doi.org/10.1145/..

8

Compiling symbolic execution with staging and algebraic eff..:

Wei, Guannan ; Bračevac, Oliver ; Tan, Shangyin.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-33 , 2020

Link: https://dl.acm.org/doi/1..

9

Event Correlation with Algebraic Effects - Theory, Design a..:

Bračevac, Oliver , 2019

Link: https://nbn-resolving.de..

10

Versatile event correlation with algebraic effects:

Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido...
Proceedings of the ACM on Programming Languages. 2 (2018) ICFP - p. 1-31 , 2018

Link: https://dl.acm.org/doi/1..

11

Versatile event correlation with algebraic effects:

Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido...
Proceedings of the ACM on Programming Languages. 2 (2018) ICFP - p. 1-31 , 2018

Link: https://doi.org/10.1145/..

12

CPL: a core language for cloud computing:

, In: Proceedings of the 15th International Conference on Modularity,

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido. - p. 94-105 , 2016

Link: https://dl.acm.org/doi/1..

13

A co-contextual formulation of type rules and its applicati..:

Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira..
ACM SIGPLAN Notices. 50 (2015) 10 - p. 880-897 , 2015

Link: https://doi.org/10.1145/..

14

A co-contextual formulation of type rules and its applicati..:

, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,

Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira.. - p. 880-897 , 2015

Link: https://dl.acm.org/doi/1..

15

Polymorphic Reachability Types: Tracking Freshness, Aliasin..:

Wei, Guannan ; Bračevac, Oliver ; Jia, Songlin..
http://arxiv.org/abs/2307.13844. , 2023

Link: http://arxiv.org/abs/230..