Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cristina David
conf.researchr.org general profile
APLAS 2020 profile
ECOOP and ISSTA 2018 profile
ESEC/FSE 2022 profile
ESOP 2015 profile
FSE 2024 profile
ICSE 2023 profile
ICSE 2024 profile
POPL 2023 profile
SPLASH 2011 profile
SPLASH 2021 profile
Registered user since Thu 15 Sep 2022
Name:
Cristina David
Country:
United Kingdom
Affiliation:
University of Bristol
Contributions
2024
ESEC/FSE
Workshops Co-Chair in Organizing Committee
Co-chair in Workshop Committee within the Workshops-track
ICSE
Committee Member in Research Track within the Research Track-track
2023
ICSE
Program Committee Member in Technical Track within the Technical Track-track
PEPM
Committee Member in Program Committee within the PEPM 2023-track
2022
ESEC/FSE
Author of Using Graph Neural Networks for Program Termination within the Research Papers-track
2021
SPLASH
Author of Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches within the OOPSLA-track
2020
APLAS
Committee Member in Program Committee
Session Chair of Synthesis and Program Transformation (part of Research Papers)
2015
ESOP
Author of Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs within the ESOP-track
Author of Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs within the ESOP-track
2011
SPLASH
Author of Immutable Specifications for More Concise and Precise Verification within the OOPSLA-track
Share
x
Tue 28 Nov 23:38
