PLDI 2018
Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States
  • Attending
    • Venue: Hilton Philadelphia at Penn's Landing
    • Registration
    • Sponsorship
    • Students
    • Accessibility FAQ
    • Visas
    • Code of Conduct
    • Childcare
    • Tourist Information
    • Remote Participation
  • Program
    • PLDI Program
    • Your Program
    • Mon 18 Jun
    • Tue 19 Jun
    • Wed 20 Jun
    • Thu 21 Jun
    • Fri 22 Jun
  • Tracks
      • PLDI 2018
      • PLDI Research Papers
      • PLDI Invited Speakers
      • Student Research Competition (SRC)
      • Student Volunteers
      • PLDI Research Artifacts
      • PLDI Workshops
      • PLDI Tutorials
      • Co-hosted Conferences
      • ISMM
        • ISMM
        • ISMM
      • LCTES
        • LCTES
        • LCTES
      • Workshops
      • ARRAY
      • DeepSpec
      • FMS
      • MAPL
      • PLMW @ PLDI
  • Organization
      • PLDI 2018 Committees
      • Organizing Committee
      • Program Committee
      • External Program Committee
      • External Review Committee
      • Student Research Competition Committee
      • Artifact Evaluation Committee
      • Distinguished Paper Committee
      • Steering Committee
      • Contributors
      • People Index
      • Co-hosted Conferences
      • ISMM
        • Organizing Committee
        • Program Committee
        • External Review Committee
        • Steering Committee
      • LCTES
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • Workshops
      • ARRAY
        • Organizing Committee
        • Program Committee
      • DeepSpec
        • Organizing Committee
        • Program Committee
      • FMS
        • Organizing Committee
        • Program Committee
      • MAPL
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • PLMW @ PLDI
        • Organizing Committee
        • Speakers
  • Search
  • Series
    • Series
    • PLDI 2025
    • PLDI 2024
    • PLDI 2023
    • PLDI 2022
    • PLDI 2021
    • PLDI 2020
    • PLDI 2019
    • PLDI 2018
    • PLDI 2017
    • PLDI 2016
    • PLDI 2015
  • Sign in
  • Sign up
PLDI 2018 (series) / P. Madhusudan
  • conf.research.org general profile
  • PLDI 2015 profile
  • PLDI 2016 profile
  • PLDI 2019 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 2022 profile
  • POPL 2024 profile
  • POPL 2025 profile
  • SPLASH 2014 profile
  • SPLASH 2018 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
P. Madhusudan

Registered user since Tue 19 Apr 2016

Name:P. Madhusudan
Country:United States
Affiliation:University of Illinois at Urbana-Champaign
Personal website: http://madhu.cs.illinois.edu
Research interests:Software verification, Certified software, Security

Contributions

2018

FMS

  • Committee Member in Organizing Committee within the FMS 2018-track
  • Committee Member in Program Committee within the FMS 2018-track

Show activities from other conferences

Share
PLDI 2018-profile
View general profile
xMon 12 May 10:27

PLDI 2018

contact form

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

Tracks

PLDI Research Papers
PLDI Invited Speakers
Student Research Competition (SRC)
Student Volunteers
PLDI Research Artifacts
PLDI Workshops
PLDI Tutorials

Co-hosted Conferences

ISMM 2018
LCTES 2018

Workshops

ARRAY 2018
DeepSpec 2018
FMS 2018
MAPL 2018
PLMW @ PLDI 2018

Attending

Venue: Hilton Philadelphia at Penn's Landing
Registration
Sponsorship
Students
Accessibility FAQ
Visas
Code of Conduct
Childcare
Tourist Information
Remote Participation
Sign Up