PLDI 2018
Mon 18 - Fri 22 June 2018
Philadelphia, Pennsylvania, United States
Toggle navigation
Attending
Venue: Hilton Philadelphia at Penn's Landing
Registration
Sponsorship
Students
Accessibility FAQ
Visas
Code of Conduct
Childcare
Tourist Information
Remote Participation
Program
Complete 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
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 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2018
(
series
) /
Rui Zhang
PLDI 2018 profile
conf.research.org general profile
Registered user since Mon 21 May 2018
Name:
Rui Zhang
Contributions
FMS 2018
Author of A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs within the FMS 2018-track
Show activities from other conferences
Share
PLDI 2018-profile
View general profile
x
Tue 31 Mar 15:04