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

POPL 2024 Committee Member in Program Committee within the POPL-track
PLDI 2023 Author of Embedding Hindsight Reasoning in Separation Logic within the PLDI Research Papers-track
SPLASH 2022 Author of A Concurrent Program Logic with a Future and History within the OOPSLA-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
Author of (POPL 2021) Data Flow Refinement Type Inference within the SIGPLAN Track-track
VMCAI 2022 Session Chair of Static Analysis and Abstract Interpretation (part of VMCAI 2022)
Session Chair of Invited Talk (part of VMCAI 2022)
Program Co-Chair in Organizing Committee within the VMCAI 2022-track
SPLASH 2021 Author of Verifying Concurrent Multicopy Search Structures within the Posters-track
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
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)
VMCAI 2020 Session Chair of Papers 7 (part of VMCAI 2020)
PC Member in Program Committee within the VMCAI 2020-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
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
POPL 2018 Author of Go with the Flow: Compositional Abstractions for Concurrent Data Structures within the Research Papers-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
ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
VMCAI 2017 Author of Partitioned Memory Models for Program Analysis. within the VMCAI-track
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
VMCAI Committee Member in Program Committee
FOOL Committee Member in Program Committee within the FOOL-track
SPLASH 2014 Author of Finding Minimum Type Error Sources within the OOPSLA-track