Search for 'all'
0 results
One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes
POPL People: Jay P. Lim, Santosh Nagarakatte
… rounded results for all inputs. In contrast, CR-LIBM and RLIBM provide correctly … that produces correctly rounded results for all inputs for multiple rounding modes … results for all five rounding modes in the standard and for multiple representations …
Fair termination of binary sessions
POPL People: Luca Ciccone, Luca Padovani
… sessions. A session fairly terminates if all of the infinite executions admitted … assumptions*. Fair termination entails the eventual completion of all pending … carefully account for all usages of fair subtyping to avoid compromising its …
Effectful Program Distancing
POPL People: Ugo Dal Lago, Francesco Gavazzo
… Semantics is traditionally concerned with program equivalence, in which all pairs of programs which are \emph{not} equivalent are treated the same, and simply … for a new contextual form of reasoning. In this paper, we show that all this can …
Pirouette: Higher-Order Typed Functional Choreographies
POPL People: Andrew Hirsch, Deepak Garg
… . All of our results are verified in Coq. …
Supporting POPL
… relationship with our sponsors:
- We acknowledge all sources of financial support.
- We disclose all benefits that sponsors receive in exchange … researchers together from all over the world, does so at a considerable …
CPP 2022
… and theoretical topics in all areas that consider formal verification … conference on practical and theoretical topics in all areas that consider formal …, in cooperation with ACM SIGLOG.
CPP 2022 will welcome contributions from all members …
Certified Programs and Proofs
… and theoretical topics in all areas that consider formal verification …/POPL-2021-venue) meeting, where all papers are presented online. The main room …) is an international conference on practical and theoretical topics in all areas …
The Seventh International Workshop on Languages for Inference
… This workshop aims to bring programming-language and machine-learning researchers together to advance all aspects of languages for inference.
Topics … researchers together to advance all aspects of languages for inference. Topics …
CPP 2022 Homepage
… CPP 2022 Welcome to the website of the CPP 2022 conference. We are working hard to fill the website with all related information. Please check back soon! 69ce875b-2046-469a-a257-585d3750753e …
VMCAI 2022 Homepage
… VMCAI 2022 Welcome to the website of the VMCAI 2022 conference. We are working hard to fill the website with all related information. Please check back soon! 556b8334-deff-48a6-b0c8-52ea9a2afea2 …
LAFI 2022 Homepage
… LAFI 2022 Welcome to the website of the LAFI 2022 conference. We are working hard to fill the website with all related information. Please check back soon! 2af4dab4-b1ad-466a-adab-a9b3acbaa803 …