David Herman

Publication Activity (10 Years)

Years Active: 1989-2018
Publications (10 Years): 1

Top Topics

Stochastic Domains

Macro Operators

Technology Supported

Top Venues

Int. J. Comput. Assist. Lang. Learn. Teach.

Publications

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
Planning for Future Inquiry: Gaps in the CALL Research. Int. J. Comput. Assist. Lang. Learn. Teach. 8 (2) (2018)
Brian Anderson, Lars Bergstrom, David Herman, Josh Matthews, Keegan McAllister, Manish Goregaokar, Jack Moffitt, Simon Sapin
Experience Report: Developing the Servo Web Browser Engine using Rust. CoRR (2015)
Nicholas D. Matsakis, David Herman, Dmitry Lomov
Typed objects in JavaScript. DLS (2014)
Joy Egbert, David Herman, Aichia Chang
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. 4 (2) (2014)
Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, David Herman, Brad Karp, David Mazières
Protecting Users by Confining JavaScript with COWL. OSDI (2014)
Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan
Sweeten your JavaScript: hygienic macros for ES5. DLS (2014)
Ravi Chugh, David Herman, Ranjit Jhala
Dependent types for JavaScript. OOPSLA (2012)
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
Evolution of the IBM Cloud: Enabling an enterprise cloud services ecosystem. IBM J. Res. Dev. 55 (6) (2011)
David Herman, Aaron Tomb, Cormac Flanagan
Space-efficient gradual typing. High. Order Symb. Comput. 23 (2) (2010)
David Herman, Mitchell Wand
A Theory of Hygienic Macros. ESOP (2008)
David Herman, Aaron Tomb, Cormac Flanagan
Space-Efficient Gradual Typing. Trends in Functional Programming (2007)
David Herman, Joshua Steskal
Emotion Discourse as Design Heuristic: Creating Emotional Intelligence for Virtual Narrative Agents. AAAI Fall Symposium: Intelligent Narrative Technologies (2007)
David Herman
Functional pearl: the great escape or, how to jump the border without getting caught. ICFP (2007)
David Herman, Cormac Flanagan
Status report: specifying javascript with ML. ML (2007)
David Herman, Philippe Meunier
Improving the static analysis of embedded languages via partial evaluation. ICFP (2004)
B. Chandrasekaran, John R. Josephson, Anne M. Keuneke, David Herman
Building Routine Planning Systems and Explaining Their Behaviour. Int. J. Man Mach. Stud. 30 (4) (1989)