Eli Barzilay

According to our database, Eli Barzilay authored at least 11 papers between 2002 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

MMLSpark: Unifying Machine Learning Ecosystems at Massive Scales.

Mark Hamilton, Sudarshan Raghunathan, Ilya Matiach, Andrew Schonhoffer, Anand Raman, Eli Barzilay, Minsoo Thigpen, Karthik Rajendran, Janhavi Suresh Mahajan, Courtney Cochrane, Abhiram Eswaran, Ari Green

CoRR, 2018

A programmable programming language.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt

Commun. ACM, 2018

2017

Flexible and Scalable Deep Learning with MMLSpark.

Mark Hamilton, Sudarshan Raghunathan, Akshaya Annavajhala, Danil Kirsanov, Eduardo de Leon, Eli Barzilay, Ilya Matiach, Joe Davison, Maureen Busch, Miruna Oprescu, Ratan Sur, Roope Astala, Tong Wen, ChangYoung Park

Proceedings of the 4th International Conference on Predictive Applications and APIs, 2017

2015

The Racket Manifesto.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2011

Stepping Lazy Programs

Stephen Chang, John Clements, Eli Barzilay, Matthias Felleisen

CoRR, 2011

From Stack Traces to Lazy Rewriting Sequences.

Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen

Proceedings of the Implementation and Application of Functional Languages, 2011

2009

Scribble: closing the book on ad hoc documentation tools.

Matthew Flatt, Eli Barzilay, Robert Bruce Findler

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2006

Implementing Reflection in Nuprl.

Eli Barzilay

PhD thesis, 2006

2005

Laziness without all the hard work: combining lazy and strict languages for teaching.

Eli Barzilay, John Clements

Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, 2005

2003

MetaPRL - A Modular Logical Environment.

Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

2002

Abstraction as a means for end-user computing in creative applications.

Mira Balaban, Eli Barzilay, Michael Elhadad

IEEE Trans. Syst. Man Cybern. Part A, 2002