×

Found 5,236 Documents (Results 1–100)

100
MathJax

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

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
PDF BibTeX XML Cite
Full Text: DOI

Thread-modular analysis of release-acquire concurrency. (English) Zbl 07543924

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, 384-404 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

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).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software