Write a Blog >>
LCTES 2019
Sat 22 - Fri 28 June 2019
Phoenix, Arizona, United States
co-located with
PLDI 2019
Toggle navigation
Attending
Venue: Phoenix Convention Center
Program
LCTES Program
Your Program
Filter by Day
Sat 22 Jun
Sun 23 Jun
Mon 24 Jun
Tue 25 Jun
Wed 26 Jun
Thu 27 Jun
Fri 28 Jun
Track/Call
Organization
LCTES 2019 Committees
Track Committees
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Contributors
People Index
Search
Series
Series
LCTES 2024
LCTES 2023
LCTES 2022
LCTES 2021
LCTES 2020
LCTES 2019
LCTES 2018
LCTES 2017
LCTES 2016
Sign in
Sign up
PLDI 2019
(
series
) /
LCTES 2019 (
series
) /
Weihao Qu
PLDI 2019 profile
conf.research.org general profile
ICFP 2019 profile
ICFP/SPLASH 2025 profile
POPL 2018 profile
Registered user since Tue 5 Dec 2017
Name:
Weihao Qu
Affiliation:
University at Buffalo, SUNY
Contributions
2019
PLDI
Bidirectional Type Checking for Relational Properties
Show activities from other conferences
Share
PLDI 2019-profile
View general profile
x
Sun 24 Nov 01:16