Sean Halle

Reo: A Dataflow Inspired Language for Multicore

Farhad Arbab, Sung-Shik T. Q. Jongmans, Sean Halle, 2013, 2013 Data-Flow Execution Models for Extreme Scale Computing.

Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms

Farhad Arbab, Sung-Shik T. Q. Jongmans, Sean Halle, 2014, COORDINATION.

Support of Collective Effort Towards Performance Portability

Albert Cohen, Sean Halle, Albert Cohen, 2011 .

Leveraging Semantics Attached to Function Calls to Isolate Applications from Hardware

Albert Cohen, Sean Halle, 2010 .

A study of frameworks for collectively achieving the productivity, portability, and adoptability goals of parallel software

Albert Cohen, Sean Halle, 2011 .

A Mutable Hardware Abstraction to Replace Threads

Albert Cohen, Sean Halle, Albert Cohen, 2011, LCPC.

A Framework to Support Research on Portable High Performance Parallelism

Sean Halle, Dmitry Nadezhkin, 2009 .