Artifact Digital Object Group
Latest Publications

TOTAL DOCUMENTS

446
(FIVE YEARS 298)

H-INDEX

2
(FIVE YEARS 1)

Published By Association For Computing Machinery (ACM)

518403626
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

String solver and benchmarks from 'Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables'

2022 ◽  
Author(s):  
Taolue Chen ◽  
Alejandro Flores-Lamas ◽  
Matthew Hague ◽  
Zhilei Han ◽  
Denghang Hu ◽  
...  

Prototype Typechecker for the Article 'On Type-Cases, Union Elimination, and Occurrence Typing'

2022 ◽  
Author(s):  
Giuseppe Castagna ◽  
Mickaël Laurent ◽  
Kim Nguyễn ◽  
Matthew Lutze

Artifact for article: PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations

2022 ◽  
Author(s):  
Mark Niklas Müller ◽  
Gleb Makarchuk ◽  
Gagandeep Singh ◽  
Markus Püschel ◽  
Martin Vechev
Keyword(s):  
Neural Network ◽  
Convex Hull

Software Artifact for Paper: Dependently-Typed Data Plane Programming

2022 ◽  
Author(s):  
Matthias Eichholz ◽  
Eric Hayden Campbell ◽  
Matthias Krebs ◽  
Nate Foster ◽  
Mira Mezini
Keyword(s):  
Data Plane ◽  
Software Artifact

FairCheck

2022 ◽  
Author(s):  
Luca Ciccone ◽  
Luca Padovani

Replication Package for Artifact: Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution

2022 ◽  
Author(s):  
Anders Miltner ◽  
Adrian Trejo Nuñez ◽  
Ana Brendel ◽  
Swarat Chaudhuri ◽  
Isil Dillig
Keyword(s):  
Bottom Up

scholarly journals X86_64 Memory Type Tests.

2022 ◽  
Author(s):  
Azalea Raad ◽  
Luc Maranget ◽  
Viktor Vafeiadis
Keyword(s):  
Memory Type

agda-calf

2022 ◽  
Author(s):  
Yue Niu ◽  
Jonathan Sterling ◽  
Harrison Grodin ◽  
Robert Harper

Artifact for "Relational E-matching"

2022 ◽  
Author(s):  
Yihong Zhang ◽  
Yisu Remy Wang ◽  
Max Willsey ◽  
Zachary Tatlock
Load More ...
Sign in / Sign up

Export Citation Format

Share Document