Integrating FPGAs in high-performance computing: programming models for parallel systems -- the programmer's perspective

Cilk: an efficient multithreaded runtime system

PPOPP '95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming

Concurrent Haskell

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The reflexive CHAM and the join-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The Join Calculus: A Language for Distributed Mobile Programming

Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures

Jocaml: Mobile Agents for Objective-Caml

ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents

Modern concurrency abstractions for C#

ACM Transactions on Programming Languages and Systems (TOPLAS)

Composable memory transactions

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming

Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation

IEEE Micro

Lock free data structures using STM in haskell

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming