A pattern calculus for rule languages: Expressiveness, compilation, and mechanization
- Avraham Shinnar
- Jérôme Siméon
- et al.
- 2015
- ECOOP 2015
Publications
Date
Featured collections
Popular topics
32 results for Avi Shinnar
X10 and APGAS at petascale
- Olivier Tardieu
- Benjamin Herta
- et al.
- 2014
- PPoPP 2014
A language for information flow: Dynamic tracking in multiple interdependent dimensions
- Avraham Shinnar
- Marco Pistoia
- et al.
- 2009
- PLAS 2009
General Probability in Coq
- Avraham Shinnar
- Barry Trager
- 2022
- DSN 2022
Lale: Consistent Automated Machine Learning
- Guillaume Baudart
- Martin Hirzel
- et al.
- 2020
- KDD 2020
Gradual AutoML using Lale
- Martin Hirzel
- Kiran Kate
- et al.
- 2022
- KDD 2022
Extracting enhanced artificial intelligence model metadata from software repositories
- Jason Tsay
- Alan Braz
- et al.
- 2022
- Empirical Software Engineering
Translating canonical SQL to imperative code in Coq
- Véronique Benzaken
- Évelyne Contejean
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
Failure recovery in resilient X10
- David Grove
- Sara S. Hamouda
- et al.
- 2019
- ACM TOPLAS
Prototyping a query compiler using coq (Experience report)
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- Proceedings of the ACM on Programming Languages