PPaperPicks

Cristina David

5 papers at tracked venues · 5 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

FSE ×2PLDI ×2AAAI ×1

Frequent coauthors

Henrijs Princis
×2
Daniel Kroening
×2
Hanliang Zhang
×2
Arindam Sharma
×1
Alan Mycroft
×1
Yoav Alon
×1
Pascal Kesseli
×1
Meng Wang
×1
Brandon Paulsen
×1

Papers

  1. TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation
    PLDI 2026 ·
    Henrijs Princis
    ,
    Arindam Sharma
    , Cristina David
  2. Enhancing SQL Query Generation with Neurosymbolic Reasoning
    AAAI 2025 ·
    Henrijs Princis
    , Cristina David,
    Alan Mycroft
  3. Integrating Large Language Models and Reinforcement Learning for Non-linear Reasoning
    FSE 2025 ·
    Yoav Alon
    , Cristina David
  4. Quantifying the benefits of code hints for refactoring deprecated Java APIs
    FSE 2025 · Cristina David,
    Pascal Kesseli
    ,
    Daniel Kroening
    ,
    Hanliang Zhang
  5. Scalable, Validated Code Translation of Entire Projects using Large Language Models
    PLDI 2025 ·
    Hanliang Zhang
    , Cristina David,
    Meng Wang
    ,
    Brandon Paulsen
    ,
    Daniel Kroening