David Herman

According to our database, David Herman authored at least 15 papers between 1989 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Planning for Future Inquiry: Gaps in the CALL Research.

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

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

2015

Experience Report: Developing the Servo Web Browser Engine using Rust.

Brian Anderson, Lars Bergstrom, David Herman, Josh Matthews, Keegan McAllister, Manish Goregaokar, Jack Moffitt, Simon Sapin

CoRR, 2015

2014

To Flip Or Not To Flip? That's Not The Question: Exploring Flipped Instruction in Technology Supported Language Learning Environments.

Joy Egbert, David Herman, Aichia Chang

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

Protecting Users by Confining JavaScript with COWL.

Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, David Herman, Brad Karp, David Mazières

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Typed objects in JavaScript.

Nicholas D. Matsakis, David Herman, Dmitry Lomov

Proceedings of the DLS'14, 2014

Sweeten your JavaScript: hygienic macros for ES5.

Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan

Proceedings of the DLS'14, 2014

2012

Dependent types for JavaScript.

Ravi Chugh, David Herman, Ranjit Jhala

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

Evolution of the IBM Cloud: Enabling an enterprise cloud services ecosystem.

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

IBM J. Res. Dev., 2011

2010

Space-efficient gradual typing.

David Herman, Aaron Tomb, Cormac Flanagan

High. Order Symb. Comput., 2010

2008

A Theory of Hygienic Macros.

David Herman, Mitchell Wand

Proceedings of the Programming Languages and Systems, 2008

2007

Status report: specifying javascript with ML.

David Herman, Cormac Flanagan

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

Functional pearl: the great escape or, how to jump the border without getting caught.

David Herman

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Emotion Discourse as Design Heuristic: Creating Emotional Intelligence for Virtual Narrative Agents.

David Herman, Joshua Steskal

Proceedings of the Intelligent Narrative Technologies, 2007

2004

Improving the static analysis of embedded languages via partial evaluation.

David Herman, Philippe Meunier

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

1989

Building Routine Planning Systems and Explaining Their Behaviour.

B. Chandrasekaran, John R. Josephson, Anne M. Keuneke, David Herman

Int. J. Man Mach. Stud., 1989