David Musser

Computer Science

Publications

The following is a selection of recent publications in Scopus. David Musser has 52 indexed publications in the subjects of Computer Science, Mathematics, Engineering.

Structured reasoning about actor systems
David R. Musser, Carlos A. Varela
AGERE! 2013 - Proceedings of the 2013 ACM Workshop on Programming Based on Actors, Agents, and Decentralized Control
, 2013
, pp.37-48
.
Code-carrying theory
Aytekin Vargun, David R. Musser
Proceedings of the ACM Symposium on Applied Computing
, 2008
, pp.376-383
.
A secure programming paradigm for network virtualization (invited paper)
Ana Milanova, Sonia Fahmy, David Musser, Bulent Yener
2006 3rd International Conference on Broadband Communications, Networks and Systems, BROADNETS 2006
, 2006
.
LCSD: Library-centric software design
Josh Bloch, Jaakko Jäarvi, David Musser, Sibylle Schupp, Jeremy Siek
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
, 2006
, 2006
, pp.618
.
Generic programming and high-performance libraries
Douglas Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David Musser, Sibylle Schupp
International Journal of Parallel Programming
, 33
, 2005
, pp.145-164
.
Generic programming and high-performance libraries
Jaakko Järvi, Andrew Lumsdaine, D. P. Gregor, M. Kulkarni, D. R. Musser, S. Schupp
Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM)
, 18
, 2004
, pp.2767-2774
.
Complete traversals as general iteration patterns
William Klostermeyer, David Musser, A. J. Sánchez-Ruíz
IFIP Advances in Information and Communication Technology
, 115
, 2003
, pp.187-206
.
Design patterns for library optimization
Douglas Gregor, Sibylle Schupp, David R. Musser
Scientific Programming
, 11
, 2003
, pp.309-320
.
Semantic and behavioral library transformations
Sibylle Schupp, Douglas Gregor, David Musser, Shin Ming Liu
Information and Software Technology
, 44
, 2002
, pp.797-810
.
Concept-based component libraries and optimizing compilers
S. Schupp, S. D.P. Gregor, B. Osman, D. R. Musser, J. G. Siek, L. Q. Lee, A. Lumsdaine
Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002
, 2002
, pp.174-181
.
Back to top