308 citations · 818 across the 33 of their papers we have counts for
3 papers · 1 filter
ProvMark: A Provenance Expressiveness Benchmarking System
Sheung Chi Chan, James Cheney, Pramod Bhatotia +5
System level provenance is of widespread interest for applications such as security enforcement and information protection. However, testing the correctness or completeness of prov…
Aquarium: Cassiopea and Alewife Languages
David A. Holland, Jingmei Hu, Ming Kawaguchi +3
This technical report describes two of the domain specific languages used in the Aquarium kernel code synthesis project. It presents the language cores in terms of abstract syntax.…
Optimal Sparse Decision Trees
Xiyang Hu, Cynthia Rudin, Margo Seltzer
Decision tree algorithms have been among the most popular algorithms for interpretable (transparent) machine learning since the early 1980's. The problem that has plagued decision…