Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Anton Podkopaev"'
Publikováno v:
Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 22:517-527
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7132087f2be4c92d424183e67cdfa3ec
https://doi.org/10.17586/2226-1494-2022-22-3-517-527
https://doi.org/10.17586/2226-1494-2022-22-3-517-527
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1-30
Program logics and semantics tell a pleasant story about sequential composition: when executing (S1;S2), we first execute S1 then S2. To improve performance, however, processors execute instructions out of order, and compilers reorder programs even m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::15c1706b2e451d14bbdbe9ab2e1a5403
https://doi.org/10.1145/3498716
https://doi.org/10.1145/3498716
Publikováno v:
Proceedings of the ACM on Programming Languages. 3:1-31
We develop a new intermediate weak memory model, IMM, as a way of modularizing the proofs of correctness of compilation from concurrent programming languages with weak memory consistency semantics to mainstream multi-core architectures, such as POWER
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ef67cade98a139aa4399888ef9d66f01
https://doi.org/10.1145/3290382
https://doi.org/10.1145/3290382
Publikováno v:
Proceedings of the ACM on Programming Languages
ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Liveness properties, such as termination, of even the simplest shared-memory concurrent programs under sequential consistency typically require some fairness assumptions about the scheduler. Under weak memory models, we observe that the standard noti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8752294fc77a8c59edd08a078fd18bce
http://arxiv.org/abs/2012.01067
http://arxiv.org/abs/2012.01067
Autor:
Anton Podkopaev, Minki Cho, Chung-Kil Hur, Viktor Vafeiadis, Sung-Hwan Lee, Ori Lahav, Soham Chakraborty
Publikováno v:
PLDI
For more than fifteen years, researchers have tried to support global optimizations in a usable semantics for a concurrent programming language, yet this task has been proven to be very difficult because of (1) the infamous “out of thin air” prob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::13b816ee24b01070d1d845e8581f8bcf
https://doi.org/10.1145/3385412.3386010
https://doi.org/10.1145/3385412.3386010
Autor:
Anton Podkopaev, Christopher Pulte, Guillaume Barbier, Jean Pichon-Pharabod, Shaked Flur, Conrad Watt, Shu-yu Guo, Stephen K. Dolan
Publikováno v:
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI
PLDI
Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the JavaScript specification defines an axiomatic relaxed memory model to de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe4d3ef82ef5ee8ff0d263f9f5db1dc7
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 149-164 (2018)
Concurrent programs have behaviors, which cannot be explained by interleaving execution of their threads on a single processing unit due to optimizations, which are performed by modern compilers and CPUs. How to correctly and completely define a sema
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8bd85b25aad704e1490b667018f91033
https://doi.org/10.15514/ispras-2017-29(5)-9
https://doi.org/10.15514/ispras-2017-29(5)-9
Autor:
Anton Podkopaev, Dmitri Boulytchev
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783662468227
Ershov Memorial Conference
Ershov Memorial Conference
We describe pretty-printing combinators with choice which provide optimal document layout in polynomial time. Bottom-up tree rewriting and dynamic programming (BURS) is used to calculate a set of possible layouts for a given output width. We also pre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6f9c69a2e30f0e0356a89bc7dfaa762
https://doi.org/10.1007/978-3-662-46823-4_21
https://doi.org/10.1007/978-3-662-46823-4_21