On the Semantics of Atomized Statements - the Parallel-Choice Option (Extended Abstract). - Peter M. W. Knijnenburg; Joost N. Kok (FCT, 1991)

On Models for Propositional Dynamic Logic. - Peter M. W. Knijnenburg; Jan van Leeuwen (Theor. Comput. Sci., 1991)

A Categorical Interpretation of Partial Function Logic and Hoare Logic. - Peter M. W. Knijnenburg; Frank Nordemann (LFCS, 1992)

Divergence Models for Atomized Statements and Parallel Choice. - Joost N. Kok; Peter M. W. Knijnenburg (ISTCS, 1993)

Reshaping Access Patterns for Generating Sparse Codes. - Aart J. C. Bik; Peter M. W. Knijnenburg; Harry A. G. Wijshoff (LCPC, 1994)

Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic. - Peter M. W. Knijnenburg; Frank Nordemann (Math. Struct. Comput. Sci., 1994)

A Note on the Smyth Powerdomain Construction. - Peter M. W. Knijnenburg (Fundam. Informaticae, 1996)

OCEANS: Optimizing Compilers for Embedded Applications. - Bas Aarts; Michel Barreteau; François Bodin; Peter Brinkhaus; Zbigniew Chamski; Henri-Pierre Charles; Christine Eisenbeis; John R. Gurd; Jan Hoogerbrugge; Ping Hu; William Jalby; Peter M. W. Knijnenburg; et al. (Euro-Par, 1997)

Non-Singular Data Transformations: Definition, Validity and Applications. - Michael F. P. O'Boyle; Peter M. W. Knijnenburg (International Conference on Supercomputing, 1997)

The Semantics of the Combination of Atomized Statements and Parallel Choice. - Peter M. W. Knijnenburg; Joost N. Kok (Formal Aspects Comput., 1997)

OCEANS: Optimising Compilers for Embedded Applications. - Michel Barreteau; François Bodin; Peter Brinkhaus; Zbigniew Chamski; Henri-Pierre Charles; Christine Eisenbeis; John R. Gurd; Jan Hoogerbrugge; Ping Hu; William Jalby; Peter M. W. Knijnenburg; Michael F. P. O'Boyle; et al. (Euro-Par, 1998)

Efficient implementation of the row-column 8×8 IDCT on VLIW architectures. - Rizos Sakellariou; Christine Eisenbeis; Peter M. W. Knijnenburg (EUSIPCO, 1998)

The Automatic Generation of Sparse Primitives. - Aart J. C. Bik; Peter Brinkhaus; Peter M. W. Knijnenburg; Harry A. G. Wijshoff (ACM Trans. Math. Softw., 1998)

Efficient Parallelization Using Combined Loop and Data Transformations. - Michael F. P. O'Boyle; Peter M. W. Knijnenburg (IEEE PACT, 1999)

OCEANS - Optimising Compilers for Embedded Applications. - Michel Barreteau; François Bodin; Zbigniew Chamski; Henri-Pierre Charles; Christine Eisenbeis; John R. Gurd; Jan Hoogerbrugge; Ping Hu; William Jalby; Toru Kisuki; Peter M. W. Knijnenburg; Paul van der Mark; et al. (Euro-Par, 1999)

A Feasibility Study in Iterative Compilation. - Toru Kisuki; Peter M. W. Knijnenburg; Michael F. P. O'Boyle; François Bodin; Harry A. G. Wijshoff (ISHPC, 1999)

Nonsingular Data Transformations: Definition, Validity, and Applications. - Michael F. P. O'Boyle; Peter M. W. Knijnenburg (Int. J. Parallel Program., 1999)

The Distributed ASCI Supercomputer Project. - Henri E. Bal; Raoul Bhoedjang; Rutger F. H. Hofman; Ceriel J. H. Jacobs; Thilo Kielmann; Jason Maassen; Rob van Nieuwpoort; John Romain; Luc Renambot; Tim Rühl; Ronald Veldema; Kees Verstoep; et al. (ACM SIGOPS Oper. Syst. Rev., 2000)

Cache Models for Iterative Compilation. - Peter M. W. Knijnenburg; Toru Kisuki; Kyle A. Gallivan (Euro-Par, 2001)

Evaluating Iterative Compilation. - Grigori Fursin; Michael F. P. O'Boyle; Peter M. W. Knijnenburg (LCPC, 2002)

Iterative Compilation. - Peter M. W. Knijnenburg; Toru Kisuki; Michael F. P. O'Boyle (Embedded Processor Design Challenges, 2002)

Integrating Loop and Data Transformations for Global Optimization. - Michael F. P. O'Boyle; Peter M. W. Knijnenburg (J. Parallel Distributed Comput., 2002)

Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation. - Peter M. W. Knijnenburg; Toru Kisuki; Michael F. P. O'Boyle (J. Supercomput., 2003)

Predictable performance in SMT processors. - Francisco J. Cazorla; Peter M. W. Knijnenburg; Rizos Sakellariou; Enrique Fernández; Alex Ramírez; Mateo Valero (Conf. Computing Frontiers, 2004)

Implicit vs. Explicit Resource Allocation in SMT Processors. - Francisco J. Cazorla; Peter M. W. Knijnenburg; Rizos Sakellariou; Enrique Fernández; Alex Ramírez; Mateo Valero (DSD, 2004)

Feasibility of QoS for SMT. - Francisco J. Cazorla; Peter M. W. Knijnenburg; Rizos Sakellariou; Enrique Fernández; Alex Ramírez; Mateo Valero (Euro-Par, 2004)

Enabling SMT for real-time embedded systems. - Francisco J. Cazorla; Peter M. W. Knijnenburg; Rizos Sakellariou; Enrique Fernández; Alex Ramírez; Mateo Valero (EUSIPCO, 2004)

Statistical Selection of Compiler Options. - Rogier P. J. Pinkers; Peter M. W. Knijnenburg; Masayo Haneda; Harry A. G. Wijshoff (MASCOTS, 2004)

The effect of cache models on iterative compilation for combined tiling and unrolling. - Peter M. W. Knijnenburg; Toru Kisuki; Kyle A. Gallivan; Michael F. P. O'Boyle (Concurr. Comput. Pract. Exp., 2004)

QoS for High-Performance SMT Processors in Embedded Systems. - Francisco J. Cazorla; Alex Ramírez; Mateo Valero; Peter M. W. Knijnenburg; Rizos Sakellariou; Enrique Fernández (IEEE Micro, 2004)

Automatic Selection of Compiler Options Using Non-parametric Inferential Statistics. - Masayo Haneda; Peter M. W. Knijnenburg; Harry A. G. Wijshoff (IEEE PACT, 2005)

Architectural support for real-time task scheduling in SMT processors. - Francisco J. Cazorla; Peter M. W. Knijnenburg; Rizos Sakellariou; Enrique Fernández; Alex Ramírez; Mateo Valero (CASES, 2005)

Optimizing general purpose compiler optimization. - Masayo Haneda; Peter M. W. Knijnenburg; Harry A. G. Wijshoff (Conf. Computing Frontiers, 2005)

Generating new general compiler optimization settings. - Masayo Haneda; Peter M. W. Knijnenburg; Harry A. G. Wijshoff (ICS, 2005)

On the impact of data input sets on statistical compiler tuning. - Masayo Haneda; Peter M. W. Knijnenburg; Harry A. G. Wijshoff (IPDPS, 2006)

Code Size Reduction by Compiler Tuning. - Masayo Haneda; Peter M. W. Knijnenburg; Harry A. G. Wijshoff (SAMOS, 2006)

UFS: a global trade-off strategy for loop unrolling for VLIW architectures. - Karine Heydemann; François Bodin; Peter M. W. Knijnenburg; Laurent Morin (Concurr. Comput. Pract. Exp., 2006)

Special Issue: 10th International Workshop on Compilers for Parallel Computers (CPC 2003). - Peter M. W. Knijnenburg (Concurr. Comput. Pract. Exp., 2006)

Predictable Performance in SMT Processors: Synergy between the OS and SMTs. - Francisco J. Cazorla; Peter M. W. Knijnenburg; Rizos Sakellariou; Enrique Fernández; Alex Ramírez; Mateo Valero (IEEE Trans. Computers, 2006)

Interactive presentation: Feasibility of combined area and performance optimization for superscalar processors using random search. - Sven van Haastregt; Peter M. W. Knijnenburg (DATE, 2007)

Strategies for Compiling µ TC to Novel Chip Multiprocessors. - Thomas A. M. Bernard; Chris R. Jesshope; Peter M. W. Knijnenburg (SAMOS, 2007)

On the Problem of Minimizing Workload Execution Time in SMT Processors. - Francisco J. Cazorla; Enrique Fernández; Peter M. W. Knijnenburg; Alex Ramírez; Rizos Sakellariou; Mateo Valero (ICSAMOS, 2007)