A pattern calculus for rule languages: Expressiveness, compilation, and mechanization
- Avraham Shinnar
- Jérôme Siméon
- et al.
- 2015
- ECOOP 2015
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
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