Tim Nelson -

Not registered as user

Name:Tim Nelson

Country:United States

Affiliation:Brown University

Personal website: https://cs.brown.edu/~tn/

Contributions

2025

HATRA

Committee Member in Program Committee within the HATRA 2025-track

2024

HATRA

Committee Member in Program Committee within the HATRA 2024-track

SPLASH

Author of Forge: A Tool and Language for Teaching Formal Methods within the OOPSLA 2024-track

‹Programming›

Author of Little Tricky Logic: Misconceptions in the Understanding of LTL within the Research Papers-track
Author of Conceptual Mutation Testing for Student Programming Misconceptions within the Research Papers-track

2023

‹Programming›

Author of Little Tricky Logic: Misconceptions in the Understanding of LTL within the Research Papers-track

2022

SPLASH

Author of Applying cognitive principles to model-finding output: the positive value of negative information within the OOPSLA-track

‹Programming›

Author of Automated, Targeted Testing of Property-Based Testing Predicates within the Research Papers-track

2021

ASE

Committee Member in Program Committee within the Tool Demonstrations-track

ICSE

Committee Member in Additional Reviewers within the Technical Track-track

‹Programming›

Author of Using Relational Problems to Teach Property-Based Testing within the Research Papers-track

2019

SEInfraConfig

Author of Synthesizing Mutable Configurations: Setting up Systems for Success within the SEConfig 2019-track

ESOP

Committee Member in Program Committee within the ESOP 2019-track