56 citations · 73 across the 8 of their papers we have counts for
5 papers · 1 filter
Translating Canonical SQL to Imperative Code in Coq
Véronique Benzaken, Évelyne Contejean, Mohammed Houssem Hachmaoui +4
SQL is by far the most widely used and implemented query language. Yet, on some key features, such as correlated queries and NULL value semantics, many implementations diverge or c…
Type Safety with JSON Subschema
Andrew Habib, Avraham Shinnar, Martin Hirzel +1
JSON is a popular data format used pervasively in web APIs, cloud computing, NoSQL databases, and increasingly also machine learning. JSON Schema is a language for declaring the st…
Type-Driven Automated Learning with Lale
Martin Hirzel, Kiran Kate, Avraham Shinnar +2
Machine-learning automation tools, ranging from humble grid-search to hyperopt, auto-sklearn, and TPOT, help explore large search spaces of possible pipelines. Unfortunately, each…
Yaps: Python Frontend to Stan
Guillaume Baudart, Martin Hirzel, Kiran Kate +2
Stan is a popular probabilistic programming language with a self-contained syntax and semantics that is close to graphical models. Unfortunately, existing embeddings of Stan in Pyt…
Ariadne: Analysis for Machine Learning Program
Julian Dolby, Avraham Shinnar, Allison Allain +1
Machine learning has transformed domains like vision and translation, and is now increasingly used in science, where the correctness of such code is vital. Python is popular for ma…