发布求助
文献互助 智能选刊 最新文献

Artifact Digital Object Group最新文献

筛选
英文 中文
dZ3: Artifact for "Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints" dZ3:用于“有效求解扩展正则表达式约束的符号布尔导数”的工件
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410296
C. Stanford, Margus Veanes, N. Bjørner
{"title":"dZ3: Artifact for \"Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints\"","authors":"C. Stanford, Margus Veanes, N. Bjørner","doi":"10.1145/3410296","DOIUrl":"https://doi.org/10.1145/3410296","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121457238","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Mechanized Proof and Model Checker for Article: Revamping Hardware Persistency Models 文章的机械化证明和模型检查:改进硬件持久性模型
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410292
K. Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang
{"title":"Mechanized Proof and Model Checker for Article: Revamping Hardware Persistency Models","authors":"K. Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang","doi":"10.1145/3410292","DOIUrl":"https://doi.org/10.1145/3410292","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"5 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131437353","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Software artifact for the paper "Quantum Abstract Interpretation" “量子抽象解释”论文的软件构件
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410291
Nengkun Yu, J. Palsberg
{"title":"Software artifact for the paper \"Quantum Abstract Interpretation\"","authors":"Nengkun Yu, J. Palsberg","doi":"10.1145/3410291","DOIUrl":"https://doi.org/10.1145/3410291","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121045724","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Replication Package for Robustness Certification with Generative Models 生成模型鲁棒性认证的复制包
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410308
M. Mirman, A. Hägele, Pavol Bielik, Timon Gehr, Martin T. Vechev
{"title":"Replication Package for Robustness Certification with Generative Models","authors":"M. Mirman, A. Hägele, Pavol Bielik, Timon Gehr, Martin T. Vechev","doi":"10.1145/3410308","DOIUrl":"https://doi.org/10.1145/3410308","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124455814","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Artifact for "Concurrent Deferred Reference Counting with Constant-Time Overhead" “具有恒定时间开销的并发延迟引用计数”的构件
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410290
Daniel Anderson, G. Blelloch, Yuanhao Wei
{"title":"Artifact for \"Concurrent Deferred Reference Counting with Constant-Time Overhead\"","authors":"Daniel Anderson, G. Blelloch, Yuanhao Wei","doi":"10.1145/3410290","DOIUrl":"https://doi.org/10.1145/3410290","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121933093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Source code and virtual machine image for CompCertO: Compiling Certified Open C Components 源代码和虚拟机镜像的CompCertO:编译认证开放C组件
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410306
Jérémie Koenig, Zhong Shao
{"title":"Source code and virtual machine image for CompCertO: Compiling Certified Open C Components","authors":"Jérémie Koenig, Zhong Shao","doi":"10.1145/3410306","DOIUrl":"https://doi.org/10.1145/3410306","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130648283","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
DreamCoder software and data DreamCoder软件和数据
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410302
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke B. Hewitt, Luc Cary, Armando Solar-Lezama, J. Tenenbaum
{"title":"DreamCoder software and data","authors":"Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke B. Hewitt, Luc Cary, Armando Solar-Lezama, J. Tenenbaum","doi":"10.1145/3410302","DOIUrl":"https://doi.org/10.1145/3410302","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133846512","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Replication Package for Article: Sound Probabilistic Inference via Guide Types 文章复制包:通过指南类型进行合理的概率推断
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410300
Di Wang, Jan Hoffmann, T. Reps
{"title":"Replication Package for Article: Sound Probabilistic Inference via Guide Types","authors":"Di Wang, Jan Hoffmann, T. Reps","doi":"10.1145/3410300","DOIUrl":"https://doi.org/10.1145/3410300","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134276387","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Artifact for PLDI'21 paper #156 "Fast and Precise Certification of Transformers" PLDI'21论文#156“变压器的快速和精确认证”
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410287
Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin T. Vechev
{"title":"Artifact for PLDI'21 paper #156 \"Fast and Precise Certification of Transformers\"","authors":"Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin T. Vechev","doi":"10.1145/3410287","DOIUrl":"https://doi.org/10.1145/3410287","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127470609","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Replication Package for Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs 高架桥复制包:安全分布式程序的可扩展优化编译器
Artifact Digital Object Group Pub Date : 2021-06-15 DOI: 10.1145/3410299
Cosku Acay, Rolph Recto, Joshua Gancher, A. Myers, Elaine Shi
{"title":"Replication Package for Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs","authors":"Cosku Acay, Rolph Recto, Joshua Gancher, A. Myers, Elaine Shi","doi":"10.1145/3410299","DOIUrl":"https://doi.org/10.1145/3410299","url":null,"abstract":"Modern distributed systems involve interactions between principals with limited trust, so cryptographic mechanisms are needed to protect confidentiality and integrity. At the same time, most developers lack the training to securely employ cryptography.We present Viaduct, a compiler that transforms high-level programs into secure, efficient distributed realizations. Viaduct’s source language allows developers to declaratively specify security policies by annotating their programs with information flow labels. The compiler uses these labels to synthesize distributed programs that use cryptography efficiently while still defending the source-level security policy. The Viaduct approach is general, and can be easily extended with new security mechanisms. Our implementation of the Viaduct compiler comes with an extensible runtime system that includes plug-in support for multiparty computation, commitments, and zero-knowledge proofs. We have evaluated the system on a set of benchmarks, and the results indicate that our approach is feasible and can use cryptography in efficient, nontrivial ways. CCS Concepts: • Security and privacy → Information flow control; Cryptography; Domain-specific security and privacy architectures.","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114686729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信