David Herman

16 papers A* 1A 4C 2Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2018 J jnl
Planning for Future Inquiry: Gaps in the CALL Research.
Int. J. Comput. Assist. Lang. Learn. Teach.
Joy Egbert, Seyed Abdollah Shahrokni, Xue Zhang, Intissar Ahmed Yahia, Nataliia Borysenko, Adnan F. Saad Mohamed, David Herman, Sonia Lopez-Lopez, Chioma Ezeh, Faraj Aljarih
2015 J jnl
Experience Report: Developing the Servo Web Browser Engine using Rust.
CoRR
Brian Anderson, Lars Bergstrom, David Herman, Josh Matthews, Keegan McAllister, Manish Goregaokar, Jack Moffitt, Simon Sapin
2014 A* conf
Protecting Users by Confining JavaScript with COWL.
OSDI
Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, David Herman, Brad Karp, David Mazières
2014 C conf
Sweeten your JavaScript: hygienic macros for ES5.
DLS
Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan
2014 J jnl
To Flip Or Not To Flip? That's Not The Question: Exploring Flipped Instruction in Technology Supported Language Learning Environments.
Int. J. Comput. Assist. Lang. Learn. Teach.
Joy Egbert, David Herman, Aichia Chang
2014 C conf
Typed objects in JavaScript.
DLS
Nicholas D. Matsakis, David Herman, Dmitry Lomov
2012 A conf
Dependent types for JavaScript.
OOPSLA
Ravi Chugh, David Herman, Ranjit Jhala
2011 J jnl
Evolution of the IBM Cloud: Enabling an enterprise cloud services ecosystem.
IBM J. Res. Dev.
Andrzej Kochut, Yu Deng, Michael R. Head, Jonathan P. Munson, Anca Sailer, Hidayatullah Shaikh, Chunqiang Tang, Alexander Amies, Murray Beaton, David Geiss, David Herman, Holger Macho, Stephan Pappe, Scott Peddle, Randy Rendahl, Angel E. Tomala Reyes, Harm Sluiman, Brian Snitzer, Troy Volin, Hendrik Wagner
2010 J jnl
Space-efficient gradual typing.
High. Order Symb. Comput.
David Herman, Aaron Tomb, Cormac Flanagan
2008 A conf
A Theory of Hygienic Macros.
ESOP
David Herman, Mitchell Wand
2007 — conf
Emotion Discourse as Design Heuristic: Creating Emotional Intelligence for Virtual Narrative Agents.
AAAI Fall Symposium: Intelligent Narrative Technologies
David Herman, Joshua Steskal
2007 A conf
Functional pearl: the great escape or, how to jump the border without getting caught.
ICFP
David Herman
2007 — conf
Space-Efficient Gradual Typing.
Trends in Functional Programming
David Herman, Aaron Tomb, Cormac Flanagan
2007 — conf
Status report: specifying javascript with ML.
ML
David Herman, Cormac Flanagan
2004 A conf
Improving the static analysis of embedded languages via partial evaluation.
ICFP
David Herman, Philippe Meunier
1989 J jnl
Building Routine Planning Systems and Explaining Their Behaviour.
Int. J. Man Mach. Stud.
B. Chandrasekaran, John R. Josephson, Anne M. Keuneke, David Herman