| 2018 |
J |
jnl |
Commun. ACM
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
|
| 2018 |
J |
jnl |
CoRR
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
|
| 2018 |
J |
jnl |
CoRR
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
|
| 2017 |
— |
conf |
PAPIs
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
|
| 2015 |
— |
conf |
SNAPL
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
|
| 2011 |
— |
conf |
IFL
Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen
|
| 2011 |
J |
jnl |
CoRR
Stephen Chang, John Clements, Eli Barzilay, Matthias Felleisen
|
| 2009 |
A |
conf |
ICFP
Matthew Flatt, Eli Barzilay, Robert Bruce Findler
|
| 2006 |
— |
— |
Implementing Reflection in Nuprl.
Eli Barzilay
|
| 2005 |
— |
conf |
FDPE@ICFP
Eli Barzilay, John Clements
|
| 2003 |
— |
conf |
TPHOLs
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
|
| 2002 |
J |
jnl |
IEEE Trans. Syst. Man Cybern. Part A
Mira Balaban, Eli Barzilay, Michael Elhadad
|