×

Found 10 Documents (Results 1–10)

Newest Citations Relevance
Liu, Yuandong Cyrus; Pang, Chengbin; Dietsch, Daniel; Koskinen, Eric; Le, Ton-Chanh; Portokalidis, Georgios; Xu, Jun

Proving LTL properties of bitvector programs and decompiled binaries. (English) Zbl 1520.68076

Oh, Hakjoo (ed.), Programming languages and systems. 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13008, 285-304 (2021).
MSC:  68Q60
Cite Review PDF
Full Text: DOI arXiv
Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura

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
Cite Review PDF
Full Text: DOI arXiv
OA License
Meyer, Fabian; Hark, Marcel; Giesl, Jürgen

Inferring expected runtimes of probabilistic integer programs using expected sizes. (English) Zbl 1467.68066

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 250-269 (2021).
MSC:  68Q25 90C10 90C15
Cite Review PDF
Full Text: DOI arXiv
OA License

Filter Results by …

Document Type

all top 5

Author

Serial

all top 3

Main Field

all top 3

Software