Cristina David

View Scopus Profile

Dr Cristina David

BSc, PhD

 https://orcid.org/0000-0002-9106-934X

  • BS8 1UB

  • 14 Conference Contribution (Conference Proceeding)
  • 6 Article (Academic Journal)
  • 1 Conference Paper
Filter
Conference Contribution (Conference Proceeding)

Search results

  • 2025

    Cognacy Queries over Dependence Graphs for Transparent Visualisations

    Bond, J. E. C., David, C., Nguyen, M. H., Orchard, D. & Perera, R. N. T., 1 May 2025, Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Vafeiadis, V. (ed.). Springer, p. 144-171 28 p. (Lecture Notes in Computer Science (LNCS); vol. 15694).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access

  • Enhancing SQL Query Generation with Neurosymbolic Reasoning

    Princis, H., David, C. & Mycroft, A., 11 Apr 2025, AAAI-25 Technical Tracks 19. AAAI Press, p. 19959-19968 10 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 39, no. 19).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    8428 Downloads (Pure)

  • Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning

    Alon, Y. & David, C., 1 Jul 2025, FSE '25: ACM International Conference on the Foundations of Software Engineering (FSE). Association for Computing Machinery (ACM), p. 957-977 21 p. FSE044. ( Proceedings of the ACM on Software Engineering; vol. 2, no. FSE).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File

  • Scalable, Validated Code Translation of Entire Projects using Large Language Models

    Zhang, H., David, C., Wang, M., Paulsen, B. & Kroening, D., 13 Jun 2025, Issue PLDI. Association for Computing Machinery (ACM), p. 1616-1641 26 p. (Proceedings of the ACM on Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
  • 2023

    Ownership guided C to Rust translation

    Zhang, H., David, C., Yu, Y. & Wang, M., 17 Jul 2023, Proceedings of the International Conference on Computer Aided Verification. Enea, C. & Lal, A. (eds.). Springer, Cham, Vol. III. p. 459-482 24 p. (Lecture Notes in Computer Science (CAV: International Conference on Computer Aided Verification)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    7 Citations (Scopus)
  • 2022

    Using Graph Neural Networks for Program Termination

    Alon, Y. & David, C., 9 Nov 2022, (E-pub ahead of print) ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association for Computing Machinery (ACM), 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    100 Downloads (Pure)
  • 2021

    Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches

    Yamaguchi, M., Matsuda, K., David, C. & Wang, M., 20 Oct 2021, ACM on Programming Languages: OOPSLA. OOPSLA ed. Association for Computing Machinery (ACM), Vol. 5. p. 1-31 31 p. 105. (Proceedings of the ACM on Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    4 Citations (Scopus)
    82 Downloads (Pure)
  • 2018

    Counterexample Guided Inductive Synthesis Modulo Theories

    Abate, A., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 18 Jul 2018, Computer Aided Verification. Chockler, H. & Weissenbacher, G. (eds.). Springer Nature, p. 270-288 19 p. (Lecture Notes in Computer Science ; vol. 10981).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    44 Citations (Scopus)
    155 Downloads (Pure)
  • 2017

    Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants

    Abate, A., Bessa, I., Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 13 Jul 2017, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Springer, Cham, p. 462-482 (Lecture Notes in Computer Science ; no. 10426).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    22 Citations (Scopus)
    69 Downloads (Pure)

  • DSSynth: An automated digital controller synthesis tool for physical plants

    Abate, A., Bessa, L., Cattaruzza, D., Chaves, L., Cordeiro, L., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 23 Nov 2017, ASE 2017: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering. Association for Computing Machinery (ACM), p. 919–924 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    5 Citations (Scopus)
    143 Downloads (Pure)

  • Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

    Abate, A., Bessa, L., Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P. & Kroening, D., 18 Apr 2017, HSCC '17: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery (ACM), p. 197–206 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    15 Citations (Scopus)
    68 Downloads (Pure)
  • 2016

    Danger Invariants

    David, C., Kesseli, P. & Lewis, M., 8 Nov 2016, (E-pub ahead of print) Formal Methods. Fitzgerald, J., Heitmeyer, C., Gnesi, S. & Philippou, A. (eds.). Springer Nature, p. 182-198 17 p. ( Lecture Notes in Computer Science; vol. 9995).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    12 Citations (Scopus)
    128 Downloads (Pure)
  • 2015

    Using Program Synthesis for Program Analysis

    David, C., Kroening, D. & Lewis, M., 22 Nov 2015, (E-pub ahead of print) Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. Davis, M., Fehnker, A., McIver, A. & Voronkov, A. (eds.). p. 483-498 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    13 Citations (Scopus)
    91 Downloads (Pure)
  • 2014

    Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs

    David, C., 12 Dec 2014, (Accepted/In press) European Symposium on Programming.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)