‹Programming› 2021
Mon 22 - Fri 26 March 2021 Online, United Kingdom
  • Attending
    • Venue: Online
    • Registration
    • Instructions For Authors / Presenters
  • Program
    • ‹Programming› Program
    • Your Program
    • Mon 22 Mar
    • Tue 23 Mar
    • Wed 24 Mar
    • Thu 25 Mar
    • Fri 26 Mar
  • Tracks
      • ‹Programming› 2021
      • Conversation Starters
      • Keynotes
      • Research Papers
      • Student Volunteers
      • Workshops
      • Workshops
      • ADEIRA (Canceled)
      • MoreVMs ’21
      • PX/21
      • ProWeb21
      • Salon Littéraire
      • Co-hosted Coding Dojos
      • CoCoDo
        • CoCoDo
        • - A Tutorial on the Spoofax Language Workbench
        • - An Interactive Exploration of a Simple Compiler
        • - From Abstract Syntax Trees to Machine Code with LLVM
      • Tutorials
      • OAF Open Applications Development
  • Organization
      • ‹Programming› 2021 Committees
      • Organizing Committee
      • Steering Committee
      • Track Committees
      • Conversation Starters
      • Research Papers
      • Student Volunteers
        • Organizing committee
        • Student Volunteers
      • Workshops
      • Contributors
      • People Index
      • Workshops
      • ADEIRA
        • Organizing Committee
        • Program Committee
      • MoreVMs
        • Organizing Committee
        • Program Committee
      • PX/21
        • Organizing Committee
        • Program Committee
      • ProWeb21
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • Salon Littéraire
        • Organizing Committee
        • Program Committee
      • Co-hosted Coding Dojos
      • CoCoDo
        • Organizing Committee
        • Program Committee
      • Tutorials
      • OAF
        • Organizing Committee
  • Search
  • Series
    • Series
    • ‹Programming› 2025
    • ‹Programming› 2024
    • ‹Programming› 2023
    • ‹Programming› 2022
    • ‹Programming› 2021
    • ‹Programming› 2020
    • ‹Programming› 2019
    • ‹Programming› 2018
    • ‹Programming› 2017
  • Sign in
  • Sign up
‹Programming› 2021 (series) / Ranjit Jhala
  • conf.research.org general profile
  • APLAS 2019 profile
  • ASE 2019 profile
  • ECOOP 2015 profile
  • ECOOP and ISSTA 2021 profile
  • ESOP 2015 profile
  • ICFP 2016 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP 2024 profile
  • ISSTA/ECOOP 2024 profile
  • PLDI 2015 profile
  • PLDI 2016 profile
  • PLDI 2018 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • PLDI 2023 profile
  • PLDI 2024 profile
  • PLDI 2025 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • POPL 2025 profile
  • SPLASH 2012 profile
  • SPLASH 2014 profile
  • SPLASH 2017 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
  • SPLASH 2024 profile
  • ‹Programming› 2022 profile
Ranjit Jhala

Registered user since Tue 20 Dec 2016

Name:Ranjit Jhala
Bio:

Nom nom. Chomp. Burp.

Affiliation:University of California at San Diego
Personal website: http://ranjitjhala.github.io
Research interests:Programming Languages, Formal Verification, Software Engineering

Contributions

2021

‹Programming›

  • SIGPLAN Observer in Steering Committee

Show activities from other conferences

Share
‹Programming› 2021-profile
View general profile
xSun 25 May 22:08

‹Programming› 2021

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

Conversation Starters
Keynotes

Research Papers
Student Volunteers
Workshops

Workshops

ADEIRA 2021
MoreVMs 2021
PX/21
ProWeb21
Salon Littéraire 2021

Co-hosted Coding Dojos

CoCoDo 2021

Tutorials

OAF 2021

Attending

Venue: Online
Registration
Instructions For Authors / Presenters
Sign Up