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) / Samuel Gruetter
  • conf.research.org general profile
  • ECOOP 2022 profile
  • ICFP 2023 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • PLDI 2024 profile
  • PLDI 2025 profile
  • POPL 2019 profile
  • POPL 2023 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
  • ‹Programming› 2022 profile
Samuel Gruetter

Registered user since Fri 15 Jun 2018

Name:Samuel Gruetter
Affiliation:Massachusetts Institute of Technology
Research interests:Programming Languages and Verification

Contributions

2018

DeepSpec

  • A Quick Hack to ask any SMT Solver if my Coq Goal is True

Show activities from other conferences

Share
PLDI 2018-profile
View general profile
xFri 9 May 11:41

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