A pattern calculus for rule languages: Expressiveness, compilation, and mechanization
- Avraham Shinnar
- Jérôme Siméon
- et al.
- 2015
- ECOOP 2015
Publications
34 results for Avi Shinnar
X10 and APGAS at petascale
- Olivier Tardieu
- Benjamin Herta
- et al.
- 2014
- PPoPP 2014
M3R: Increased performance for in-emory hadoop jobs
- Avraham Shinnar
- David Cunningham
- et al.
- 2012
- VLDB
A language for information flow: Dynamic tracking in multiple interdependent dimensions
- Avraham Shinnar
- Marco Pistoia
- et al.
- 2009
- PLAS 2009