0 results

People (1 results)
Talia Ringer

Talia Ringer

… …

Events (27 results)

Recursive Subtyping for All

POPL People: Litao Zhou, Yaoda Zhou, Bruno C. d. S. Oliveira

… } instead of the conventional (upper) bounded quantification of $F_\le$. All

FaJITa: Verifying Optimizations on Just-In-Time Programs

PriSC 2023 People: David Thien, Michael Smith, Evan Johnson, Sorin Lerner, Hovav Shacham, Deian Stefan, Fraser Brown

… Firefox’s optimizing JIT compiler. We are able to verify practically all

Designing an experiment for comparing user interfaces for legal formalization

ProLaLa 2023 People: Tereza Novotná, Tomer Libal

… in order to create such knowledge bases. A major goal of all the approaches …

The Structure and Legal Interpretation of Computer Programs

ProLaLa 2023 People: James Grimmelmann

… , it is conventional all the same. …

Attending Information (2 results)

Information for Students

… volunteers receive:

  • Access to all workshops, tutorials and the main conference,
  • Daily lunches and coffee breaks,
  • Access to all social events …

Supporting POPL

… minorities, to attend both POPL and PLMW. All funds designated for PLMW mentoring … costs. POPL, which has brought researchers together from all over the world …

Tracks (13 results)

CPP 2023

… and theoretical topics in all areas that consider formal verification …) is an international conference on practical and theoretical topics in all areas that consider … will welcome contributions from all members of the community. The CPP 2023 …

LAFI 2023

… The Languages for Inference (LAFI) workshop aims to bring programming-language and machine-learning researchers together to advance all aspects of languages … to advance all aspects of languages for inference. Topics include …

PADL 2023: The 25th International Symposium on Practical Aspects of Declarative Languages

… emphasizing novel applications and implementation techniques for all forms … and implementation techniques for all forms of declarative programming, including functional … in the formal proceedings.

All page limits exclude references. Submissions must …

General (10 results)

CPP 2023 Homepage

… CPP 2023 Welcome to the website of the CPP 2023 conference. We are working hard to fill the website with all related information. Please check back soon! eff8e4d2-ca4f-4540-a4e9-9cf31d726075 …

PLMW @ POPL 2023 Homepage

… PLMW @ POPL 2023 Welcome to the website of the PLMW @ POPL 2023 conference. We are working hard to fill the website with all related information. Please check back soon! …

PriSC 2023 Homepage

… PriSC 2023 Welcome to the website of the PriSC 2023 conference. We are working hard to fill the website with all related information. Please check back soon! b8c1d952-a22c-4eaa-a148-385f8f5b516a …