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

2024

ECOOP

Author of Verifying Lock-free Search Structure Templates within the Technical Papers-track

PLDI

Chair of PODELSKI within the Tutorials-track

PODELSKI

Co-chair in Program Committee within the PLDI 2024 Workshop Honoring Andreas Podelski-track
Author of Session Types for People who Love Automata within the PLDI 2024 Workshop Honoring Andreas Podelski-track

POPL

Committee Member in Program Committee within the POPL-track

2023

ST

Author of Complete Multiparty Session Type Projection with Automata within the ST30-track

PLDI

Author of Embedding Hindsight Reasoning in Separation Logic within the PLDI Research Papers-track

2022

SPLASH

Author of A Concurrent Program Logic with a Future and History within the OOPSLA-track

PLDI

VMCAI

2021

SPLASH

POPL

Author of Data Flow Refinement Type Inference within the POPL-track

2020

PLDI

Author of Verifying Concurrent Search Structure Templates within the PLDI Research Papers-track

POPL

VMCAI

ADSL

2019

TACAS

Committee Member in Program Committee within the TACAS 2019-track

2018

SPLASH

POPL

Author of Go with the Flow: Compositional Abstractions for Concurrent Data Structures within the Research Papers-track

VMCAI

Committee Member in Program Committee within the VMCAI 2018-track

2017

Onward!

Committee Member in Program Committee within the Onward! Papers-track

ECOOP

Committee Member in Program Committee within the ECOOP Research Papers-track

VMCAI

Author of Partitioned Memory Models for Program Analysis. within the VMCAI-track

2016

POPL

VMCAI

Committee Member in Program Committee

2014

FOOL

Committee Member in Program Committee within the FOOL-track

SPLASH

Author of Finding Minimum Type Error Sources within the OOPSLA-track