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