Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tim Nelson
conf.researchr.org general profile
ASE 2019 profile
ASE 2021 profile
ECOOP 2025 profile
ETAPS 2019 profile
ICFP/SPLASH 2025 profile
ICSE 2021 profile
SPLASH 2022 profile
SPLASH 2024 profile
‹Programming› 2021 profile
‹Programming› 2022 profile
‹Programming› 2023 profile
‹Programming› 2024 profile
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
ECOOP
Author of Lightweight Diagramming for Formal Methods: A Grounded Language Design within the Technical Papers-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
Share
x
Thu 19 Jun 10:48
