يعرض 1 - 10 نتائج من 38 نتيجة بحث عن '"Delaware, Benjamin"', وقت الاستعلام: 1.14s تنقيح النتائج
  1. 1
    تقرير
    KestRel: Relational Verification Using E-Graphs for Program Alignment

    المؤلفون: Dickerson, Robert, Mukherjee, Prasita, Delaware, Benjamin

    مصطلحات موضوعية: Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/2404.08106

    أضف إلى المفضلة
  2. 2
    تقرير
    A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata

    المؤلفون: Zhou, Zhe, Ye, Qianchuan, Delaware, Benjamin, Jagannathan, Suresh

    مصطلحات موضوعية: Computer Science - Programming Languages, D.3.0, F.3.1

    URL الوصول: http://arxiv.org/abs/2404.01484

    أضف إلى المفضلة
  3. 3
    تقرير
    Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation

    المؤلفون: Ye, Qianchuan, Delaware, Benjamin

    المصدر: Proc. ACM Program. Lang. 8, OOPSLA1, Article 144 (April 2024), 30 pages

    مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2311.09393

    أضف إلى المفضلة
  4. 4
    تقرير
    Covering All the Bases: Type-Based Verification of Test Input Generators

    المؤلفون: Zhou, Zhe, Mishra, Ashish, Delaware, Benjamin, Jagannathan, Suresh

    مصطلحات موضوعية: Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/2304.03393

    أضف إلى المفضلة
  5. 5
    تقرير
    Data-Driven Abductive Inference of Library Specifications

    المؤلفون: Zhou, Zhe, Dickerson, Robert, Delaware, Benjamin, Jagannathan, Suresh

    مصطلحات موضوعية: Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/2108.04783

    أضف إلى المفضلة
  6. 6
    تقرير
    Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring

    المؤلفون: Rahmani, Kia, Nagar, Kartik, Delaware, Benjamin, Jagannathan, Suresh

    مصطلحات موضوعية: Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/2103.05573

    أضف إلى المفضلة
  7. 7
    تقرير
    Relational Type Theory (All Proofs)

    المؤلفون: Stump, Aaron, Delaware, Benjamin, Jenkins, Christopher

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2101.09655

    أضف إلى المفضلة
  8. 8
    تقرير
    HACCLE: Metaprogramming for Secure Multi-Party Computation -- Extended Version

    المؤلفون: Bao, Yuyan, Sundararajah, Kirshanthan, Malik, Raghav, Ye, Qianchuan, Wagner, Christopher, Jaber, Nouraldin, Wang, Fei, Ameri, Mohammad Hassan, Lu, Donghang, Seto, Alexander, Delaware, Benjamin, Samanta, Roopsha, Kate, Aniket, Garman, Christina, Blocki, Jeremiah, Letourneau, Pierre-David, Meister, Benoit, Springer, Jonathan, Rompf, Tiark, Kulkarni, Milind

    مصطلحات موضوعية: Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/2009.01489

    أضف إلى المفضلة
  9. 9
    تقرير
    RHLE: Modular Deductive Verification of Relational $\forall\exists$ Properties

    المؤلفون: Dickerson, Robert, Ye, Qianchuan, Zhang, Michael K., Delaware, Benjamin

    مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, F.3.1, D.2.4

    URL الوصول: http://arxiv.org/abs/2002.02904

    أضف إلى المفضلة
  10. 10
    تقرير
    CLOTHO: Directed Test Generation for Weakly Consistent Database Systems

    المؤلفون: Rahmani, Kia, Nagar, Kartik, Delaware, Benjamin, Jagannathan, Suresh

    مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing

    URL الوصول: http://arxiv.org/abs/1908.05655

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء