AMD Bulldozer Server http://www.amd.com/en-us/products/server Giuseppe Castagna Luca Padovani 2009 Contracts for Mobile Processes CONCUR'2009 LNCS Springer 211–228 10.1007/978-3-642-04081-8_15 Satish Chandra Vijay Saraswat Vivek Sarkar Rastislav Bodik 2008 Type Inference for Locality Analysis of Distributed Data Structures PPoPP '08 ACM 11–22 10.1145/1345206.1345211 Dave Clarke Sophia Drossopoulou 2002 Ownership, Encapsulation and the Disjointness of Type and Effect SIGPLAN Not. 37 292–310 10.1145/583854.582447 Dave Clarke Tobias Wrigstad Johan Östlund Einar Broch Johnsen 2008 Minimal Ownership for Active Objects APLAS '08 Springer 139–154 10.1007/978-3-540-89330-1_11 David G. Clarke John M. Potter James Noble 1998 Ownership Types for Flexible Alias Protection OOPSLA '98 ACM 48–64 10.1145/286936.286947 Silvia Crafa 2012 Behavioural Types for Actor Systems Technical Report http://arxiv.org/abs/1206.1687 Kohei Honda Vasco T. Vasconcelos Makoto Kubo 1998 Language primitives and type disciplines for structured communication-based programming European Symposym on Programming LNCS 1381 Springer 22–138 10.1007/BFb0053567 Naoki Kobayashi 2003 Type Systems for Concurrent Programs Formal Methods at the Crossroads. From Panacea to Foundational Support LNCS 2757 Springer 439–453 10.1007/978-3-540-40007-3_26 Dimitris Mostrous Vasco Thudichum Vasconcelos 2011 Session Typing for a Featherweight Erlang COORDINATION 2011 LNCS 6721 Springer 95–109 10.1007/978-3-642-21464-6_7 Rumyana Neykova Nobuko Yoshida 2014 Multiparty Session Actors COORDINATION 2014 LNCS 8459 Springer 131–146 10.1007/978-3-662-43376-8_9 James Noble Jan Vitek John Potter 1998 Flexible Alias Protection ECOOP'98 Springer 158–185 10.1007/BFb0054091 Optimizing Applications for NUMA https://software.intel.com/en-us/articles/optimizing-applications-for-numa B. Pierce D. Sangiorgi 1993 Typing and subtyping for mobile processes LICS'93 376–385 10.1109/LICS.1993.287570 Martin C. Rinard 1997 Locality Optimizations for Parallel Computing Using Data Access Information International Journal of High Speed Computing 9 2 161–179 10.1142/S0129053397000118 Martin C. Rinard Daniel J. Scales Monica S. Lam 1993 Jade: A High-Level, Machine-Independent Language for Parallel Programming IEEE Computer 26 10.1109/2.214440 Vijay A. Saraswat Vivek Sarkar Christoph von Praun 2007 X10: Concurrent Programming for Modern Architectures PPoPP '07 ACM 271–271 10.1145/1229428.1229483 R.E. Strom S. Yemini 1986 Typestate: A programming language concept for enhancing software reliability IEEE Transactions on Software Engineering 157–171 10.1109/TSE.1986.6312929