Michal Karczmarek

According to our database, Michal Karczmarek authored at least 9 papers between 2002 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A new synthesis procedure for atomic rules containing multi-cycle function blocks.

Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2011

Synthesis of multi-cycle circuits from guarded atomic actions.

Michal Karczmarek

PhD thesis, 2011

2008

Synthesis from multi-cycle atomic actions as a solution to the timing closure problem.

Michal Karczmarek, Arvind

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

2005

Language and Compiler Design for Streaming Applications.

Saman P. Amarasinghe, Michael I. Gordon, Michal Karczmarek, Jasper Lin, David Maze, Rodric M. Rabbah, William Thies

Int. J. Parallel Program., 2005

Teleport messaging for distributed stream programs.

William Thies, Michal Karczmarek, Janis Sermulins, Rodric M. Rabbah, Saman P. Amarasinghe

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

2003

Phased scheduling of stream programs.

Michal Karczmarek, William Thies, Saman P. Amarasinghe

Proceedings of the 2003 Conference on Languages, 2003

2002

A common machine language for grid-based architectures.

William Thies, Michal Karczmarek, Michael I. Gordon, David Maze, Jeremy Wong, Henry Hoffmann, Matthew Brown, Saman P. Amarasinghe

SIGARCH Comput. Archit. News, 2002

StreamIt: A Language for Streaming Applications.

William Thies, Michal Karczmarek, Saman P. Amarasinghe

Proceedings of the Compiler Construction, 11th International Conference, 2002

A stream compiler for communication-exposed architectures.

Michael I. Gordon, William Thies, Michal Karczmarek, Jasper Lin, Ali S. Meli, Andrew A. Lamb, Chris Leger, Jeremy Wong, Henry Hoffmann, David Maze, Saman P. Amarasinghe

Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), 2002