FSE 2024
Mon 15 - Fri 19 July 2024 Porto de Galinhas, Brazil, Brazil
  • Attending
    • Venue: Hotel Armação
    • Registration
    • Porto de Galinhas, Brazil
    • Reaching Porto de Galinhas
    • Visa Application
    • Code of Conduct
    • Travel Support
    • Social Events
  • Sponsorship
    • Sponsorship Opportunities
    • Sponsors and Supporters
  • Program
    • FSE Program
    • Your Program
    • Program Summary
    • Awards
    • Mon 15 Jul
    • Tue 16 Jul
    • Wed 17 Jul
    • Thu 18 Jul
    • Fri 19 Jul
  • Tracks
      • FSE 2024
      • Diversity and Inclusion
      • Plenary Events
      • How to Submit
      • Research Papers
      • Industry Papers
      • Ideas, Visions and Reflections
      • Journal First
      • Student Research Competition
      • Demonstrations
      • Posters
      • Artifacts
      • Workshops
      • Doctoral Symposium
      • New Faculty Symposium
      • Tutorials
      • Student Volunteers
      • Open Science Policy
      • Co-hosted Conferences
      • AIware
        • AIware
        • AIware Main Track
        • AIware Challenge Track
        • AIware Industry Statements and Demo Track
        • AIware Late Breaking Arxiv Track
      • PROMISE
      • Workshops
      • 2030 Software Engineering
      • FaSE4Games
      • MODAL@FSE
      • QSE-NE
      • SEA4DQ https://sea4dq.github.io/
      • Co-hosted Symposia
      • SSBSE
        • SSBSE
        • SSBSE Research Papers
        • SSBSE RENE/NIER
        • SSBSE Challenge
        • SSBSE Hot off the Press
        • SSBSE Keynote
  • Organization
      • FSE 2024 Committees
      • Organizing Committee
      • Test of Time Award Committee
      • Track Committees
      • Diversity and Inclusion
      • Research Papers
      • Industry Papers
      • Ideas, Visions and Reflections
      • Journal First
      • Student Research Competition
      • Demonstrations
      • Posters
      • Artifacts
      • Workshops
      • Doctoral Symposium
      • New Faculty Symposium
      • Tutorials
      • Student Volunteers
      • Contributors
      • People Index
      • Co-hosted Conferences
      • AIware
        • Steering Committee
        • Organizing Committee
        • Main Track
        • Challenge Track
        • Industry Statements and Demo Track
      • PROMISE
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • Workshops
      • 2030 Software Engineering
        • Program Committee
      • FaSE4Games
        • N/A - check homepage
      • MODAL@FSE
        • Organizing Committee
        • Program Committee
      • QSE-NE
        • N/A - check homepage
      • SEA4DQ
        • N/A - check homepage
      • Co-hosted Symposia
      • SSBSE
        • Organizing Committee
        • Steering Committee
        • Research Papers Organizing Committee
        • Research Papers Program Committee
        • RENE/NIER
        • SSBSE Challenge
        • Hot off the Press
  • Search
  • Series
    • Series
    • FSE 2026
    • FSE 2025
    • FSE 2024
    • ESEC/FSE 2023
    • ESEC/FSE 2022
    • ESEC/FSE 2021
    • ESEC/FSE 2020
    • ESEC/FSE 2018
  • Sign in
  • Sign up
FSE 2024 (series) / Crista Lopes
  • conf.research.org general profile
  • * ICSE 2018 * profile
  • ASE 2019 profile
  • ECOOP 2016 profile
  • ECOOP and ISSTA 2018 profile
  • ESEC/FSE 2018 profile
  • ESEC/FSE 2021 profile
  • ESEC/FSE 2022 profile
  • ESEC/FSE 2023 profile
  • ESEM 2021 profile
  • FSE 2025 profile
  • ICFP 2020 profile
  • ICSE 2019 profile
  • ICSE 2020 profile
  • ICSE 2021 profile
  • ICSE 2022 profile
  • ICSE 2023 profile
  • Modularity 2016 profile
  • PLDI 2021 profile
  • SIGCSE Virtual 2024 profile
  • SPLASH 2011 profile
  • SPLASH 2012 profile
  • SPLASH 2013 profile
  • SPLASH 2014 profile
  • SPLASH 2015 profile
  • SPLASH 2016 profile
  • SPLASH 2017 profile
  • SPLASH 2018 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
  • SPLASH 2024 profile
  • ‹Programming› 2017 profile
  • ‹Programming› 2018 profile
  • ‹Programming› 2019 profile
  • ‹Programming› 2020 profile
  • ‹Programming› 2021 profile
  • ‹Programming› 2022 profile
  • ‹Programming› 2023 profile
  • ‹Programming› 2025 profile
Crista Lopes

Registered user since Wed 19 Aug 2015

Name:Crista Lopes
Country:United States
Affiliation:University of California Irvine
Personal website: http://www.ics.uci.edu/~lopes
Research interests:Software analytics, programming language design, distributed virtual environments

Contributions

2024

ESEC/FSE

  • Towards AI-Assisted Synthesis of Verified Dafny Methods

Show activities from other conferences

Share
FSE 2024-profile
View general profile
xSun 25 May 19:13

FSE 2024

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

Diversity and Inclusion
Plenary Events
How to Submit
Research Papers
Industry Papers
Ideas, Visions and Reflections
Journal First
Student Research Competition
Demonstrations
Posters
Artifacts
Workshops
Doctoral Symposium
New Faculty Symposium
Tutorials
Student Volunteers
Open Science Policy

Co-hosted Conferences

AIware 2024
PROMISE 2024

Workshops

2030 Software Engineering
FaSE4Games 2024
MODAL@FSE 2024
QSE-NE 2024
SEA4DQ 2024

Co-hosted Symposia

SSBSE 2024

Attending

Venue: Hotel Armação
Registration
Porto de Galinhas, Brazil
Reaching Porto de Galinhas
Visa Application
Code of Conduct
Travel Support
Social Events
Sign Up