Eli Barzilay
Microsoft (United States)(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Parallel Computing and Optimization Techniques, Software Engineering Research, Logic, Reasoning, and Knowledge
Most-Cited Works
- → A programmable programming language(2018)72 cited
- → MetaPRL – A Modular Logical Environment(2003)50 cited
- → The Racket Manifesto(2015)40 cited
- → Scribble(2009)32 cited
- → Laziness without all the hard work(2005)14 cited
- Foreign Interface for PLT Scheme(2004)
- → Implementing reflection in nuprl(2005)10 cited
- Keeping it Clean with Syntax Parameters(2011)
- → Flexible and Scalable Deep Learning with MMLSpark(2018)4 cited