0 results

People (4 results)
Isil Dillig

Isil Dillig

… …

Pavel Panchekha

Pavel Panchekha

… …

Mooly Sagiv

Mooly Sagiv

… …

Events (23 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. …

Attending Information (1 results)

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 …
Tracks (12 results)

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 …

General (11 results)

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 …