Thomas Wies -

Registered user since Fri 10 Apr 2015

Name:Thomas Wies

Country:United States

Affiliation:New York University

Personal website:https://cs.nyu.edu/wies/

Contributions

PLDI 2022	Committee Member in PLDI within the PLDI-track
VMCAI 2022	Program Co-Chair in Organizing Committee within the VMCAI 2022-track
SPLASH 2021	Author of Verifying Concurrent Multicopy Search Structures within the OOPSLA-track Author of Verifying Concurrent Search Structure Templates within the SIGPLAN Papers-track
POPL 2021	Author of Data Flow Refinement Type Inference within the POPL-track
ADSL 2020	Committee Member in Program Committee within the ADSL 2020-track Author of Local Reasoning for Global Graph Properties within the ADSL 2020-track
VMCAI 2020	Session Chair of Papers 7 (part of VMCAI 2020) PC Member in Program Committee within the VMCAI 2020-track
PLDI 2020	Author of Verifying Concurrent Search Structure Templates within the PLDI Research Papers-track
POPL 2020	Committee Member in Program Committee within the Research Papers-track Session Chair of Reasoning about Program Complexity/Efficiency (part of Research Papers)
TACAS 2019	Committee Member in Program Committee within the TACAS 2019-track
SPLASH 2018	Committee Member in Program Committee within the DocSymposium-track Mentor in Mentors within the Breakfasts-track
VMCAI 2018	Committee Member in Program Committee within the VMCAI 2018-track
Onward! 2017	Committee Member in Program Committee within the Onward! Papers-track
POPL 2018	Author of Go with the Flow: Compositional Abstractions for Concurrent Data Structures within the Research Papers-track
VMCAI 2017	Author of Partitioned Memory Models for Program Analysis. within the VMCAI-track
ECOOP 2017	Committee Member in Program Committee within the ECOOP Research Papers-track
VMCAI	Committee Member in Program Committee
POPL 2016	ERC member in External Reviewing Committee within the Research Papers-track ERC member in External Reviewing Committee
FOOL	Committee Member in Program Committee within the FOOL-track
SPLASH 2014	Author of Finding Minimum Type Error Sources within the OOPSLA-track