Výsledky vyhľadávania - "Viktor Vafeiadis"

Model Checking C/C++ with Mixed-Size Accesses

Autori: Iason Marmanis Michalis Kokologiannakis Viktor Vafeiadis

Zdroj: Proceedings of the ACM on Programming Languages, 9 (POPI)

Predmety: Mixed-Sized Accesses, Dynamic Partial Order Reduction, Model Checking

Popis súboru: application/application/pdf

Prístupová URL adresa: http://hdl.handle.net/20.500.11850/722294

RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency

Autori: Pavel Golovin Michalis Kokologiannakis Viktor Vafeiadis

Zdroj: Proceedings of the ACM on Programming Languages, 9 (POPL)

Predmety: Linearizability, Model Checking, Weak Memory Consistency

Popis súboru: application/application/pdf

Prístupová URL adresa: http://hdl.handle.net/20.500.11850/722295

Extending the C/C++ Memory Model with Inline Assembly

Autori: Paulo Emílio de Vilhena Ori Lahav Viktor Vafeiadis a ďalší

Zdroj: Proceedings of the ACM on Programming Languages. 8:1081-1107

Predmety: FOS: Computer and information sciences, Computer Science - Programming Languages, F.3.2, Programming Languages (cs.PL)

Prístupová URL adresa: http://arxiv.org/abs/2408.17208

Aspect-oriented linearizability proofs

Autori: Soham Chakraborty Thomas A. Henzinger Ali Sezgin a ďalší

Zdroj: Logical Methods in Computer Science, Vol 11, Issue 1 (2015)

Predmety: computer science - logic in computer science, computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Popis súboru: electronic resource

Relation: https://lmcs.episciences.org/1051/pdf; https://doaj.org/toc/1860-5974

Prístupová URL adresa: https://doaj.org/article/6735816f14644ed298f912c6500b7972

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autori: Viktor Vafeiadis

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

SPORE: Combining Symmetry and Partial Order Reduction

Autori: Michalis Kokologiannakis Iason Marmanis Viktor Vafeiadis

Zdroj: Proceedings of the ACM on Programming Languages
ACM SIGPLAN Conference on Programming Languages Design and Implementation

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/21.11116/0000-000F-7637-F
http://hdl.handle.net/21.11116/0000-000F-7639-D

Challenges in Empirically Testing Memory Persistency Models

Autori: Vasileios Klimis Alastair F. Donaldson Viktor Vafeiadis a ďalší

Zdroj: Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results. :82-86

AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM

Autori: Martin Beck Koustubha Bhat Lazar Stričević a ďalší

Zdroj: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2. :61-73

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Kater: Automating Weak Memory Model Metatheory and Consistency Checking

Autori: Michalis Kokologiannakis Ori Lahav Viktor Vafeiadis

Zdroj: Proceedings of the ACM on Programming Languages
50th ACM SIGPLAN Symposium on Principles of Programming Languages
Proc. ACM Program. Lang.

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/21.11116/0000-000C-433B-7
http://hdl.handle.net/21.11116/0000-000C-4339-9

The Path to Durable Linearizability

Autori: Emanuele D'Osualdo Azalea Raad Viktor Vafeiadis

Zdroj: Proceedings of the ACM on Programming Languages
50th ACM SIGPLAN Symposium on Principles of Programming Languages
Proc. ACM Program. Lang.

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2211.07631
http://hdl.handle.net/21.11116/0000-000C-433D-5
http://hdl.handle.net/21.11116/0000-000B-B593-2
http://hdl.handle.net/21.11116/0000-000B-B595-0

Enhancing GenMC’s Usability and Performance

Autori: Michalis Kokologiannakis Rupak Majumdar Viktor Vafeiadis

Zdroj: Lecture Notes in Computer Science ISBN: 9783031572487
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science
TACAS 2024
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/21.11116/0000-000F-55E7-D
http://hdl.handle.net/21.11116/0000-000F-1866-4
http://hdl.handle.net/21.11116/0000-000F-1868-2

Model checking for a multi-execution memory model

Autori: Evgenii Moiseenko Michalis Kokologiannakis Viktor Vafeiadis

Zdroj: Proceedings of the ACM on Programming Languages
ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Proc. ACM Program. Lang.

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/21.11116/0000-000B-5E6B-5
http://hdl.handle.net/21.11116/0000-000B-5E69-7

Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores: Formalising the Semantics of Intel-x86 Memory Types and Non-Temporal Stores

Autori: Azalea Raad Luc Maranget Viktor Vafeiadis a ďalší

Prispievatelia: Azalea Raad Luc Maranget Viktor Vafeiadis a ďalší

Zdroj: Proceedings of the ACM on Programming Languages
49th ACM SIGPLAN Symposium on Principles of Programming Languages

Predmety: Non-volatile memory, Cacheability, Memory persistency, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Memory types, Non-temporal accesses, Intel-x86, 02 engineering and technology, 01 natural sciences, Weak memory, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3498683
http://hdl.handle.net/10044/1/97417
http://hdl.handle.net/21.11116/0000-0009-C6DA-2
http://hdl.handle.net/21.11116/0000-0009-C6DC-0

VSync: push-button verification and optimization for synchronization primitives on weak memory models

Autori: Jonas Oberhauser Rafael Lourenco de Lima Chehab Diogo Behrens a ďalší

Prispievatelia: Jonas Oberhauser Rafael Lourenco de Lima Chehab Diogo Behrens a ďalší

Zdroj: Twenty-Sixth International Conference on Architectural Support for Programming Languages and Operating Systems

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, model checking, weak memory models

Popis súboru: application/pdf

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3445814.3446748
https://dblp.uni-trier.de/db/conf/asplos/asplos2021.html#OberhauserCBFPO21
https://dl.acm.org/doi/pdf/10.1145/3445814.3446748
http://hdl.handle.net/21.11116/0000-0009-55C1-D
http://hdl.handle.net/21.11116/0000-0009-55BF-1
https://biblio.vub.ac.be/vubir/vsync-pushbutton-verification-and-optimization-for-synchronization-primitives-on-weak-memory-models(db9423d9-57b3-49c6-9600-d30ca4e2729c).html

Truly stateless, optimal dynamic partial order reduction

Autori: Michalis Kokologiannakis Iason Marmanis Vladimir Gladstein a ďalší

Zdroj: Proceedings of the ACM on Programming Languages
49th ACM SIGPLAN Symposium on Principles of Programming Languages
Proc. ACM Program. Lang.

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis súboru: application/pdf

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3498711
http://hdl.handle.net/21.11116/0000-0009-CBBA-1
http://hdl.handle.net/21.11116/0000-0009-CBB8-3

Making weak memory models fair

Autori: Ori Lahav Egor Namakonov Jonas Oberhauser a ďalší

Zdroj: Proceedings of the ACM on Programming Languages
ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Proc. ACM Program. Lang.

Predmety: FOS: Computer and information sciences, D.3.1, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, F.3.2, 02 engineering and technology, 16. Peace & justice, Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3485475
http://arxiv.org/abs/2012.01067
https://dlnext.acm.org/doi/10.1145/3485475
https://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-01067
https://dl.acm.org/doi/10.1145/3485475
https://doi.org/10.1145/3485475
https://dl.acm.org/doi/pdf/10.1145/3485475
http://hdl.handle.net/21.11116/0000-0009-61BF-3
http://hdl.handle.net/21.11116/0000-0009-61C1-F

PerSeVerE: persistency semantics for verification under ext4

Autori: Michalis Kokologiannakis Ilya Kaysin Azalea Raad a ďalší

Zdroj: Proceedings of the ACM on Programming Languages
48th ACM SIGPLAN Symposium on Principles of Programming Languages

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Popis súboru: application/pdf

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3434324
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#Kokologiannakis21
https://dl.acm.org/doi/pdf/10.1145/3434324
https://popl21.sigplan.org/details/POPL-2021-research-papers/43/PerSeVerE-Persistency-Semantics-for-Verification-under-Ext4
https://dl.acm.org/doi/abs/10.1145/3434324
https://pure.mpg.de/pubman/item/item_3338413_2/component/file_3338414/3434324.pdf
https://pure.mpg.de/pubman/faces/ViewItemOverviewPage.jsp?itemId=item_3338413
http://hdl.handle.net/10044/1/86870
http://hdl.handle.net/21.11116/0000-0009-16B8-F
http://hdl.handle.net/21.11116/0000-0009-16BA-D

Unblocking Dynamic Partial Order Reduction

Autori: Michalis Kokologiannakis Iason Marmanis Viktor Vafeiadis

Zdroj: Lecture Notes in Computer Science ISBN: 9783031377051
Computer Aided Verification
Lecture Notes in Computer Science
CAV 2023
Lecture Notes in Computer Science-Computer Aided Verification

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/21.11116/0000-000F-1872-6
http://hdl.handle.net/21.11116/0000-000F-1874-4

Reconciling Preemption Bounding with DPOR

Autori: Iason Marmanis Michalis Kokologiannakis Viktor Vafeiadis

Zdroj: Lecture Notes in Computer Science ISBN: 9783031308222
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science
TACAS 2023
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/21.11116/0000-000D-0DD6-4
http://hdl.handle.net/21.11116/0000-000D-0DD8-2

Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86

Autori: Azalea Raad Ori Lahav Viktor Vafeiadis

Zdroj: Proceedings of the ACM on Programming Languages

Predmety: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Popis súboru: application/pdf

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3428219
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#RaadLV20
https://dl.acm.org/doi/10.1145/3428219
https://dl.acm.org/doi/pdf/10.1145/3428219
https://pure.mpg.de/pubman/faces/ViewItemOverviewPage.jsp?itemId=item_3318609
http://hdl.handle.net/10044/1/97398
http://hdl.handle.net/10044/1/84612
http://hdl.handle.net/21.11116/0000-000F-192C-5
http://hdl.handle.net/21.11116/0000-0008-7CDC-6