×

Found 4,177 Documents (Results 1–100)

Reasoning about promises in weak memory models with event structures. (English) Zbl 07728848

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 282-300 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Symbolic abstract heaps for polymorphic information-flow guard inference. (English) Zbl 07728615

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 66-90 (2023).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Distributing and parallelizing non-canonical loops. (English) Zbl 07728612

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 1-24 (2023).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI

On the expressiveness of mixed choice sessions. (English) Zbl 07800872

Castiglioni, Valentina (ed.) et al., Proceedings of the combined 29th international workshop on expressiveness in concurrency and the 19th workshop on structural operational semantics, EXPRESS/SOS 2022, Warsaw, Poland, September 12, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 368, 113-130 (2022).
MSC:  68Q85 68N19
PDFBibTeX XMLCite
Full Text: arXiv Link

Decidability of liveness for concurrent objects on the TSO memory model. (English) Zbl 1528.68073

Dong, Wei (ed.) et al., Dependable software engineering. Theories, tools, and applications. 8th international symposium, SETTA 2022, Beijing, China, October 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13649, 149-165 (2022).
MSC:  68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

A predicate transformer for choreographies. Computing preconditions in choreographic programming. (English) Zbl 1528.68080

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 520-547 (2022).
MSC:  68N30 68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Extracting total Amb programs from proofs. (English) Zbl 1528.68077

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 85-113 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Foundations for entailment checking in quantitative separation logic. (English) Zbl 1528.68208

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 57-84 (2022).
MSC:  68Q60 03B70 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

An automated quantitative information flow analysis for concurrent programs. (English) Zbl 1522.68135

Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 43-63 (2022).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

Distribution estimation for probabilistic loops. (English) Zbl 1522.68132

Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 26-42 (2022).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Moment-based invariants for probabilistic loops with non-polynomial assignments. (English) Zbl 1522.68133

Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 3-25 (2022).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Model checking meets auto-tuning of high-performance programs. (English) Zbl 1522.68317

Villanueva, Alicia (ed.), Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13474, 63-82 (2022).
MSC:  68Q60 68N19
PDFBibTeX XMLCite
Full Text: DOI

Abstraction-refinement for hierarchical probabilistic models. (English) Zbl 1514.68029

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 102-123 (2022).
MSC:  68N19 68Q60 90C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Does a program yield the right distribution? Verifying probabilistic programs via generating functions. (English) Zbl 1514.68028

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 79-101 (2022).
MSC:  68N19 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sound and complete certificates for quantitative termination analysis of probabilistic programs. (English) Zbl 1514.68027

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 55-78 (2022).
MSC:  68N19 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Data-driven invariant learning for probabilistic programs. (English) Zbl 1514.68026

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 33-54 (2022).
MSC:  68N19 68Q60 68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computing race variants in message-passing concurrent programming with selective receives. (English) Zbl 1499.68070

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 188-207 (2022).
MSC:  68N30 68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

The reversible temporal process language. (English) Zbl 1499.68220

Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 31-49 (2022).
MSC:  68Q85 68N19
PDFBibTeX XMLCite
Full Text: DOI

New relativity in the gravitational universe. The theory of cosmic relativity and its experimental evidence. (English) Zbl 1519.83028

Fundamental Theories of Physics 209. Cham: Springer (ISBN 978-3-031-08934-3/hbk; 978-3-031-08937-4/pbk; 978-3-031-08935-0/ebook). xxi, 485 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

The Braga method: extracting certified algorithms from complex recursive schemes in Coq. (English) Zbl 1528.68392

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 305-386 (2022).
MSC:  68V15 68N19 68N30
PDFBibTeX XMLCite
Full Text: DOI HAL

AQUA: automated quantized inference for probabilistic programs. (English) Zbl 1497.68099

Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 229-246 (2021).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

Improving thread-modular abstract interpretation. (English) Zbl 1497.68122

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 359-383 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Communicating finite state machines and an extensible toolchain for multiparty session types. (English) Zbl 1487.68168

Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 18-35 (2021).
MSC:  68Q85 68N19 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Ghost signals: verifying termination of busy waiting. (English) Zbl 1493.68097

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 27-50 (2021).
MSC:  68N19 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Product programs in the wild: retrofitting program verifiers to check information flow security. (English) Zbl 1493.68106

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 718-741 (2021).
MSC:  68N30 68N19 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Verification of concurrent programs using Petri net unfoldings. (English) Zbl 1472.68087

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 174-195 (2021).
MSC:  68Q60 68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Concurrent correctness in vector space. (English) Zbl 1472.68092

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 151-173 (2021).
MSC:  68Q60 68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Bayesian strategies: probabilistic programs as generalised graphical models. (English) Zbl 1473.68054

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 519-547 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Automated termination analysis of polynomial probabilistic programs. (English) Zbl 1473.68053

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 491-518 (2021).
MSC:  68N30 68N19 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Densities of almost surely terminating probabilistic programs are differentiable almost everywhere. (English) Zbl 1473.68048

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 432-461 (2021).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Correctness of sequential Monte Carlo inference for probabilistic programming languages. (English) Zbl 1473.68038

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 404-431 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reconfigurable lattice agreement and applications. (English) Zbl 1504.68017

Felber, Pascal (ed.) et al., 23rd international conference on principles of distributed systems, OPODIS 2019, Neuchâtel, Switzerland, December 17–19, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 153, Article 31, 17 p. (2020).
MSC:  68M14 68N19 68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Defining and verifying durable opacity: correctness for persistent software transactional memory. (English) Zbl 1511.68072

Gotsman, Alexey (ed.) et al., Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12136, 39-58 (2020).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modular relaxed dependencies in weak memory concurrency. (English) Zbl 1508.68045

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 599-625 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Continualization of probabilistic programs with correction. (English) Zbl 1508.68044

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 366-393 (2020).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

A general framework for static cost analysis of parallel logic programs. (English) Zbl 1502.68068

Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 19-35 (2020).
MSC:  68N17 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Typestates to automata and back: a tool. (English) Zbl 1477.68073

Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25-42 (2020).
PDFBibTeX XMLCite
Full Text: arXiv Link

Syntactically restricting bounded polymorphism for decidable subtyping. (English) Zbl 1476.68041

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 125-144 (2020).
MSC:  68N15 68N18 68N19
PDFBibTeX XMLCite
Full Text: DOI

Symbolic partial-order execution for testing multi-threaded programs. (English) Zbl 1478.68046

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 376-400 (2020).
MSC:  68N19 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Root causing linearizability violations. (English) Zbl 1478.68043

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 350-375 (2020).
MSC:  68N19 68P05 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Refinement for structured concurrent programs. (English) Zbl 1478.68044

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 275-298 (2020).
MSC:  68N19 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Semantics, specification, and bounded verification of concurrent libraries in replicated systems. (English) Zbl 1478.68045

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 251-274 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Linear dependent type theory for quantum programming languages: extended abstract. (English) Zbl 1502.68076

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 440-453 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A methodology approach to compare performance of parallel programming models for shared-memory architectures. (English) Zbl 1468.68035

Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11973, 318-325 (2020).
MSC:  68M20 68N19
PDFBibTeX XMLCite
Full Text: DOI Link

Data assimilation for ocean drift trajectories using massive ensembles and GPUs. (English) Zbl 1454.65089

Klöfkorn, Robert (ed.) et al., Finite volumes for complex applications IX – methods, theoretical aspects, examples. FVCA 9, Bergen, Norway, June 15–19, 2020. In 2 volumes. Volume I and II. Cham: Springer. Springer Proc. Math. Stat. 323, 715-723 (2020).
PDFBibTeX XMLCite
Full Text: DOI Link

Reversible session-based concurrency in Haskell. (English) Zbl 1525.68015

Pałka, Michał (ed.) et al., Trends in functional programming. 19th international symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11457, 20-45 (2019).
MSC:  68N18 68N15 68N19
PDFBibTeX XMLCite
Full Text: DOI

Tail probabilities for randomized program runtimes via martingales for higher moments. (English) Zbl 1527.68037

Vojnar, Tomáš (ed.) et al., Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11428, 135-153 (2019).
MSC:  68N19 60G48 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

On reachability in parameterized phaser programs. (English) Zbl 1527.68128

Vojnar, Tomáš (ed.) et al., Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11427, 299-315 (2019).
MSC:  68Q60 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Data races and static analysis for interrupt-driven kernels. (English) Zbl 1524.68063

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 697-723 (2019).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic programming inference via intensional semantics. (English) Zbl 1524.68054

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 322-349 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Codata in action. (English) Zbl 1524.68083

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 119-146 (2019).
MSC:  68N30 68N18 68N19
PDFBibTeX XMLCite
Full Text: DOI

Safe deferred memory reclamation with types. (English) Zbl 1524.68093

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 88-116 (2019).
MSC:  68N30 68N19 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software