You are here: Home / Dissemination / Background:Structured Parallel Programming

Background:Structured Parallel Programming

References:
  • “ABS: A Core Language for Abstract Behavioral Specification”,  “Formal Methods for Components and Objects “,  Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen.
  • “Typing Copyless Message Passing”, Viviana Bono And Luca Padovan” , Dipartimento di Informatica, Universit`a degli Studi di Torino, Torino, Italy.
  • “Extending OpenMP to Support Slipstream Execution Mode”,  Khaled Z. Ibrahim, Gregory T. Byrd.
  • “Structure Layout Optimizations in the Open64 Compiler: Design, Implementation and Measurements”, Gautam Chakrabarti , Fred Chow , Pathscale Llc.
  • “Practical Structure Layout Optimization and Advice”,Robert Hundt”,Sandya Mannarswamy,Dhruva Chakrabarti.
  • “Trace-Based Data Layout Optimizations for Multi-core Processors”, Olga Golovanevsky, Alon Dayan, Ayal Zaks, David Edelsohn.
  • “Matching memory access patterns and data placement for NUMA systems”, Zoltan    Majo, Thomas R. Gross.
  • “Locality-Aware Mapping and Scheduling for Multicores”, Wei DingPennsylvania State Univ., University Park, PA, USA, Yuanrui Zhang ; Kandemir, M. ; Srinivas, J. ; Yedlapalli, P.
  • “Ownership Types: A Survey. Aliasing in Object-Oriented Programming”, Dave  Clarke, Johan Östlund, Ilya Sergey, Tobias Wrigstad.
  • “Aliasing in Object-Oriented Programming. Types, Analysis and Verification”, Dave Clarke, James Noble, Tobias Wrigstad.
  • “External Uniqueness Is Unique Enough”, Dave Clarke, Tobias Wrigstad.
  •  ”Minimal Ownership for Active Objects”, Dave Clarke, Tobias Wrigstad, Johan  Ostlund, Einar Broch Johnsen.
  • “Loci: Simple Thread-Locality for Java”, Tobias Wrigstad, Filip Pizlo, Fadi Meawad,  Lei Zhao, Jan Vitek.
  • “Aliasing in Object-Oriented Programming”, “Alias Control for Deterministic Parallelism”, Robert L. Bocchino Jr.
  • Dezani-Ciancaglini, Mariangiola, and Ugo De’Liguoro. “Sessions and session types: an overview.” Web Services and Formal Methods. Springer Berlin Heidelberg, 2010. 1-28.
  • Vasconcelos, Vasco T., Simon J. Gay, and António Ravara. “Type checking a multithreaded functional language with session types.” Theoretical Computer Science 368.1 (2006): 64-87.
  • Coppo, Mario, Mariangiola Dezani-Ciancaglini, and Nobuko Yoshida. “Asynchronous session types and progress for object oriented languages.” Formal Methods for Open Object-Based Distributed Systems. Springer Berlin Heidelberg, 2007. 1-31.
  • Honda, Kohei, Nobuko Yoshida, and Marco Carbone. “Multiparty asynchronous session types.” ACM SIGPLAN Notices 43.1 (2008): 273-284.