E-LIB Suche - Ergebnisse für: Podkopaev, Anton

1

The leaky semicolon: compositional semantic dependencies fo..:

Jeffrey, Alan ; Riely, James ; Batty, Mark...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-30 , 2022

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

2

The leaky semicolon: compositional semantic dependencies fo..:

Jeffrey, Alan ; Riely, James ; Batty, Mark...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-30 , 2022

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

3

Making weak memory models fair:

Lahav, Ori ; Namakonov, Egor ; Oberhauser, Jonas..
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-27 , 2021

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

4

Making weak memory models fair:

Lahav, Ori ; Namakonov, Egor ; Oberhauser, Jonas..
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-27 , 2021

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

5

Promising 2.0: global optimizations in relaxed memory concu..:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Lee, Sung-Hwan ; Cho, Minki ; Podkopaev, Anton... - p. 362-376 , 2020

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

6

Repairing and mechanising the JavaScript relaxed memory mod..:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Watt, Conrad ; Pulte, Christopher ; Podkopaev, Anton... - p. 346-361 , 2020

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

7

Bridging the gap between programming languages and hardware..:

Podkopaev, Anton ; Lahav, Ori ; Vafeiadis, Viktor
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-31 , 2019

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

8

Bridging the gap between programming languages and hardware..:

Podkopaev, Anton ; Lahav, Ori ; Vafeiadis, Viktor
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-31 , 2019

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

9

Promising 2.0: Global optimizations in relaxed memory concu..:

Lee, Sung-Hwan ; Cho, Minki ; Podkopaev, Anton...
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.362-376. , 2021

Link: https://hdl.handle.net/1..

10

Repairing and Mechanising the JavaScript Relaxed Memory Mod..:

Watt, Conrad ; Pulte, Christopher ; Podkopaev, Anton...
http://arxiv.org/abs/2005.10554. , 2020

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

11

Reconciling Event Structures with Modern Multiprocessors:

Moiseenko, Evgenii ; Podkopaev, Anton ; Lahav, Ori..
doi:10.4230/LIPIcs.ECOOP.2020.5. , 2020

Link: https://doi.org/10.4230/..

12

Reconciling Event Structures with Modern Multiprocessors (A..:

Moiseenko, Evgenii ; Podkopaev, Anton ; Lahav, Ori..
doi:10.4230/DARTS.6.2.4. , 2020

Link: https://doi.org/10.4230/..

13

Making Weak Memory Models Fair:

Lahav, Ori ; Namakonov, Egor ; Oberhauser, Jonas..
http://arxiv.org/abs/2012.01067. , 2020

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

14

Reconciling Event Structures with Modern Multiprocessors:

Moiseenko, Evgenii ; Podkopaev, Anton ; Lahav, Ori..
http://arxiv.org/abs/1911.06567. , 2019

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

15

Bridging the Gap between Programming Languages and Hardware..:

Podkopaev, Anton ; Lahav, Ori ; Vafeiadis, Viktor
http://arxiv.org/abs/1807.07892. , 2018

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