Ohad Kammar - POPL 2023 (original) (raw)

• Attending

  • Venue: Boston Park Plaza
  • Supporting POPL
  • Registration
  • Information for Students
  • Information for Presenters
  • Information for Virtual Attendees
  • Nearby Events

• Program

  • POPL Program
  • Your Program
  • Filter by Day
    * Sun 15 Jan
    * Mon 16 Jan
    * Tue 17 Jan
    * Wed 18 Jan
    * Thu 19 Jan
    * Fri 20 Jan
    * Sat 21 Jan

• Tracks
  * POPL 2023
  * POPL
  * Session Previews
  * Artifact Evaluation
  * Diversity, Equity and Inclusion
  * Student Research Competition
  * Student Volunteers
  * TutorialFest
  * Workshops and Co-located Events
  * Co-hosted Conferences
  * CPP
  * VMCAI
  * Workshops
  * CoqPL
  * LAFI
  * LAFI
  * - Introduction to the tensor-programs framework, a PL approach that helps analyse theoretical properties of deep learning.
  * PEPM
  * PLMW @ POPL
  * PriSC
  * ProLaLa
  * Co-hosted Symposia
  * PADL

• Organization
  * POPL 2023 Committees
  * Organizing Committee
  * Track Committees
  * POPL
  * Artifact Evaluation
  * Student Research Competition
  * TutorialFest
  * Contributors
  * People Index
  * Co-hosted Conferences
  * CPP
  * Organizing Committee
  * Program Committee
  * Steering Committee
  * VMCAI
  * Organizing Committee
  * Program Committee
  * Artifact Evaluation Committee
  * Workshops
  * CoqPL
  * Program Committee
  * LAFI
  * Organizing Committee
  * Program Committee
  * Steering Committee
  * PEPM
  * Organizing Committee
  * Program Committee
  * Steering Committee
  * PLMW @ POPL
  * Organizing Committee
  * Speakers
  * Panelists
  * PriSC
  * Program Committee
  * Steering Committee
  * ProLaLa
  * Program Committee
  * Co-hosted Symposia
  * PADL
  * Programme Chairs
  * Program Committee

• Search

• Series

  • Series
  • POPL 2027
  • POPL 2026
  • POPL 2025
  • POPL 2024
  • POPL 2023
  • POPL 2022
  • POPL 2021
  • POPL 2020
  • POPL 2019
  • POPL 2018
  • POPL 2017
  • POPL 2016

• Sign in

• Sign up

Registered user since Thu 4 May 2017

x_Fri 10 Apr 18:25_