Search Results - Delaware, Benjamin

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Cover Image

    Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation Autoría: Ye, Qianchuan, Delaware, Benjamin

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  2. 2
    Cover Image

    Towards Automated Verification of LLM-Synthesized C Programs Autoría: Mukherjee, Prasita, Delaware, Benjamin

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  3. 3
    Cover Image

    KestRel: Relational Verification Using E-Graphs for Program Alignment Autoría: Dickerson, Robert, Mukherjee, Prasita, Delaware, Benjamin

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  4. 4
    Cover Image

    Proof Automation with Large Language Models Autoría: Lu, Minghai, Delaware, Benjamin, Zhang, Tianyi

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  5. 5
    Cover Image

    Type-Based Incorrectness Reasoning Autoría: Zhou, Zhe, Delaware, Benjamin, Jagannathan, Suresh

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  6. 6
    Cover Image

    Polymorphic Coverage Types Autoría: Zhou, Zhe, Mishra, Ashish, Delaware, Benjamin, Jagannathan, Suresh

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  7. 7
    Cover Image

    A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata Autoría: Zhou, Zhe, Ye, Qianchuan, Delaware, Benjamin, Jagannathan, Suresh

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  8. 8
    Cover Image

    Trace-Guided Synthesis of Effectful Test Generators Autoría: Zhou, Zhe, Desai, Ankush, Delaware, Benjamin, Jagannathan, Suresh

    Published 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  9. 9
    Cover Image

    From Traces to Program Incorrectness: A Type-Theoretic Approach Autoría: Yuan, Yongwei, Zhou, Zhe, Belyakova, Julia, Delaware, Benjamin, Jagannathan, Suresh

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  10. 10
    Cover Image

    We've Got You Covered: Type-Guided Repair of Incomplete Input Generators Autoría: LaFontaine, Patrick, Zhou, Zhe, Mishra, Ashish, Jagannathan, Suresh, Delaware, Benjamin

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  11. 11
    Cover Image

    Adaptive Proof Refinement with LLM-Guided Strategy Selection Autoría: Lu, Minghai, Zhou, Zhe, Xie, Danning, Jia, Songlin, Delaware, Benjamin, Zhang, Tianyi

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:

Search Tools: