Risultati della ricerca - Delaware, Benjamin

  • Mostra 1 - 11 risultati su 11
Raffina i risultati
  1. 1
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  6. 6
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  7. 7
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  8. 8
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  9. 9
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  10. 10
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  11. 11
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: