Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Authors: Din, Crystal, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar, Pun, Violet, Tarifa, S. Lizeth Tapia

Contributors: Henrio, Ludovic

Source: ACM Transactions on Programming Languages and Systems

Subject Terms: CCS Concepts, Programming logic, Theory of computation → Parallel computing models, • Software and its engineering → Concurrent programming structures, CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Program semantics, 01 natural sciences

File Description: application/pdf

Access URL: https://hal.science/hal-04732946v1
https://hal.science/hal-04732946v1/document
https://doi.org/10.1145/3648439
https://hdl.handle.net/11250/3152463

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable

Authors: Czerwiński, Wojciech, Hofman, Piotr

Contributors: Wojciech Czerwiński and Piotr Hofman, Klin, Bartek, Lasota, Sławomir, Muscholl, Anca

Source: Logical Methods in Computer Science. 21

Subject Terms: FOS: Computer and information sciences, unambiguity, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), vector addition systems, determinism, Petri nets, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), bounded ambiguity, Theory of computation → Parallel computing models, language inclusion, 0202 electrical engineering, electronic engineering, information engineering, language equivalence, ddc:004, well-structured transition systems

File Description: application/pdf

Access URL: http://arxiv.org/abs/2202.08033
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.16

Verification of Flat FIFO Systems

Authors: Finkel, Alain, Praveen, M.

Source: Logical Methods in Computer Science, Volume 16, Issue 4 (October 14, 2020) lmcs:5999

Subject Terms: Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, Theory of computation - Parallel computing models

Access URL: http://arxiv.org/abs/1908.07282

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact)

Authors: Suchert, Felix, Zeidler, Lisza, Castrillon, Jeronimo, Ertel, Sebastian

Contributors: Felix Suchert and Lisza Zeidler and Jeronimo Castrillon and Sebastian Ertel

Subject Terms: concurrent programming, Theory of computation → Parallel computing models, ddc:004, verification, Software and its engineering → Parallel programming languages, scalability

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.16

Precision Tuning in Parallel Applications

Authors: Magnani, Gabriele, Denisov, Lev, Cattaneo, Daniele, Agosta, Giovanni

Contributors: Gabriele Magnani and Lev Denisov and Daniele Cattaneo and Giovanni Agosta, Palumbo, Francesca, Bispo, João, Cherubin, Stefano

Subject Terms: Parallel Programming, Compilers, Theory of computation → Parallel computing models, Precision Tuning, ddc:004, Software and its engineering → Compilers

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PARMA-DITAM.2022.5
https://drops.dagstuhl.de/opus/volltexte/2022/16121/
https://hdl.handle.net/11311/1217631
https://doi.org/10.4230/oasics.parma-ditam.2022.5

Sublinear-Round Parallel Matroid Intersection

Authors: Blikstad, Joakim

Contributors: Joakim Blikstad, Bojańczyk, Mikołaj, Merelli, Emanuela, Woodruff, David P.

Subject Terms: Theory of computation → Parallel computing models, Mathematics of computing → Matroids and greedoids, Combinatorial Optimization, Parallel Algorithms, Theory of computation → Discrete optimization, Matroid Intersection, ddc:004, Theory of computation → Approximation algorithms analysis

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.25

Improved Lower Bounds for Reachability in Vector Addition Systems

Authors: Czerwiński, Wojciech, Lasota, Sławomir, Orlikowski, Łukasz

Contributors: Wojciech Czerwiński and Sławomir Lasota and Łukasz Orlikowski, Bansal, Nikhil, Merelli, Emanuela, Worrell, James

Subject Terms: Theory of computation → Parallel computing models, vector addition systems, reachability problem, Petri nets, ddc:004

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.128

enInvolved VASS Zoo (Invited Talk)

Authors: Czerwiński, Wojciech

Contributors: Klin, Bartek, Lasota, Sławomir, Muscholl, Anca

Subject Terms: vector addition systems, Theory of computation → Parallel computing models, reachability problem, examples, low dimensions

Parallelizing Rendering on Devices with Multi-Core CPUs - Implementation Suggestion for Education

Authors: Porath, Ron

Subject Terms: Theory of computation → Parallel computing models, Software and its engineering → Data flow architectures, CCS Concepts: Software and its engineering → Data flow architectures