by Gill, Andy, Hage, Jurriaan
Year of Publication 2012

by Chang, Stephen, Barzilay, Eli, Clements, John, Felleisen, Matthias
Published in Implementation and Application of Functional Languages (2012)

by Balaban, M., Barzilay, E., Elhadad, M.
Published in IEEE transactions on systems, man and cybernetics. Part A, Systems and humans (01.11.2002)

by Hamilton, Mark, Raghunathan, Sudarshan, Matiach, Ilya, Schonhoffer, Andrew, Raman, Anand, Barzilay, Eli, Rajendran, Karthik, Banda, Dalitso, Hong, Casey Jisoo, Knoertzer, Manon, Brodsky, Ben, Thigpen, Minsoo, Mahajan, Janhavi Suresh, Cochrane, Courtney, Eswaran, Abhiram, Green, Ari
Year of Publication 19.10.2018

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

by Chang, Stephen, Clements, John, Barzilay, Eli, Felleisen, Matthias
Year of Publication 23.08.2011

by Hamilton, Mark, Raghunathan, Sudarshan, Matiach, Ilya, Schonhoffer, Andrew, Raman, Anand, Barzilay, Eli, Rajendran, Karthik, Banda, Dalitso, Casey Jisoo Hong, Knoertzer, Manon, Brodsky, Ben, Thigpen, Minsoo, Mahajan, Janhavi Suresh, Cochrane, Courtney, Eswaran, Abhiram, Green, Ari
Published in arXiv.org (21.06.2019)

by Hamilton, Mark, Raghunathan, Sudarshan, Annavajhala, Akshaya, Kirsanov, Danil, de Leon, Eduardo, Barzilay, Eli, Matiach, Ilya, Davison, Joe, Busch, Maureen, Oprescu, Miruna, Sur, Ratan, Astala, Roope, Tong, Wen, Park, ChangYoung
Published in arXiv.org (11.04.2018)

by Felleisen, Matthias, Findler, Robert Bruce, Flatt, Matthew, Krishnamurthi, Shriram, Barzilay, Eli, McCarthy, Jay, Tobin-Hochstadt, Sam
Published in Communications of the ACM (01.03.2018)