Search for Author All Reviews
	Kaashoek, M     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 8 reviews        The scalable commutativity rule: designing scalable software for multicore processors Clements A., Kaashoek M., Zeldovich N., Morris R., Kohler E.  SOSP 2013 (Proceedings of the 24th ACM Symposium on Operating Systems Principles, Farminton, PA, Nov 3-6, 2013) 1-17, 2013.  Type: Proceedings Connections between commutativity and concurrency are well known and well established in the computing literature. Often, commutativity is used to demonstrate the feasibility of executing instructions concurrently. Clements et al. intr...... Apr 28 2014     Principles of computer system design: an introduction Saltzer J., Kaashoek M., Morgan Kaufmann Publishers Inc., San Francisco, CA, 2009. 576 pp.  Type: Book (9780123749574), Reviews: (2 of 2) Writing a book about the principles of computer system design is a challenging task--the underlying architectural design patterns of current computer architectures, operating systems (OSs), and communication infrastructures mu...... Apr 1 2011     Improving application security with data flow assertions Yip A., Wang X., Zeldovich N., Kaashoek M.  SOSP 2009 (Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, Big Sky, MT, Oct 11-14, 2009) 291-304, 2009.  Type: Proceedings Security violations and the unintended flow of important data are some of the problems faced by Web application developers. Yip et al. propose a methodology and a runtime system, RESIN, for avoiding and preventing such problems....... Jan 18 2010     Principles of computer system design: an introduction Saltzer J., Kaashoek M., Morgan Kaufmann Publishers Inc., San Francisco, CA, 2009. 576 pp.  Type: Book (9780123749574), Reviews: (1 of 2) This authoritative text starts with an overview of systems and the four techniques we employ to cope with their complexity: modularity, abstraction, layering, and hierarchy. It then details the elements of computer systems organization...... Nov 9 2009     C and tcc: a language and compiler for dynamic code generation Poletto M., Hsieh W., Engler D., Kaashoek M. ACM Transactions on Programming Languages and Systems 21(2): 324-369, 1999.  Type: Article The authors present ’C, an extension of C that allows the use of dynamic code generation (which is type-checked statically) by marking C expressions using a back-quote. ’C also allows users to compose arbitrary dyna...... Dec 1 1999     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy