Publications

My academic publication stream is on hiatus as of january 2016: I have currently access to a funding source which enables me to continue research (and teaching) without the pressure to publish, and I intend to exploit this opportunity for as long as I can.
  2015 (3)
AM$^3$: Towards a hardware Unix accelerator for many-cores. Poss, R.; and Koning, K. IEEE Trans. Parallel Distrib. Syst., 26. October 2015.
AM$^3$: Towards a hardware Unix accelerator for many-cores [link]Doi   doi   bibtex   abstract
Leerlijn informaticavaardigheden. Poss, R.; van Wijk, R.; and the Computer Science teaching staff of the University of Amsterdam University of Amsterdam, August 2015.
Leerlijn informaticavaardigheden [link]Paper   bibtex
CS PhD student in the Netherlands: to be or not to be?. Poss, R. . January 2015.
CS PhD student in the Netherlands: to be or not to be? [link]Paper   CS PhD student in the Netherlands: to be or not to be? [pdf]Pdf   bibtex
  2014 (14)
Rethread: A Low-cost Transient Fault Recovery Scheme for Multithreaded Processors. Fu, J.; Yang, Q.; Poss, R.; Jesshope, C.; and Zhang, C. In Proc. 9th International Conference on Availability, Reliability and Security (ARES'14), University of Fribourg, Switzerland, September 2014. (to appear)
bibtex   abstract
On the future of computer science. Poss, R. . September 2014.
On the future of computer science [link]Paper   On the future of computer science [pdf]Pdf   bibtex
Signature-based high-level simulation of microthreaded many-core architectures. Uddin, I.; Poss, R.; and Jesshope, C. In Proc. 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), pages 509--516, Vienna, Austria, August 2014. Scitepress
Signature-based high-level simulation of microthreaded many-core architectures [link]Doi   doi   bibtex   abstract   4 downloads
Rust for functional programmers. Poss, R. . July 2014.
Rust for functional programmers [link]Paper   Rust for functional programmers [pdf]Pdf   bibtex   32 downloads
How good are you at programming?---A CEFR-like approach to measure programming proficiency. Poss, R. . July 2014.
How good are you at programming?---A CEFR-like approach to measure programming proficiency [link]Paper   How good are you at programming?---A CEFR-like approach to measure programming proficiency [pdf]Pdf   bibtex   45 downloads
Academia 2.0: removing the publisher middle-man while retaining impact. Poss, R.; Altmeyer, S.; Thompson, M.; and Jelier, R. In Proc 1st ACM SIGPLAN Workshop on Reproducible Research Methodologies and New Publication Models in Computer Engineering (TRUST'14), pages 3:1--3:6, Edinburgh, UK, June 2014. ACM
Academia 2.0: removing the publisher middle-man while retaining impact [link]Doi   Academia 2.0: removing the publisher middle-man while retaining impact [pdf]Local   doi   bibtex   abstract   11 downloads
Aca 2.0: Questions and Answers. Poss, R.; Altmeyer, S.; Thompson, M.; and Jelier, R. Technical Report University of Amsterdam, May 2014.
Aca 2.0: Questions and Answers [pdf]Local   bibtex   abstract   10 downloads
Categories from scratch. Poss, R. . April 2014.
Categories from scratch [link]Paper   Categories from scratch [pdf]Pdf   bibtex   34 downloads
Haskell for OCaml programmers. Poss, R. . March 2014.
Haskell for OCaml programmers [link]Paper   Haskell for OCaml programmers [pdf]Pdf   bibtex   19 downloads
A Fault Detection Mechanism in a Data-flow Scheduled Multithreaded Processor. Fu, J.; Yang, Q.; Poss, R.; Jesshope, C.; and Zhang, C. In Proc. 2014 Conference on Design, Automation and Test in Europe (DATE'14), pages 1--4, Dresden, Germany, March 2014. IEEE
A Fault Detection Mechanism in a Data-flow Scheduled Multithreaded Processor [link]Doi   doi   bibtex   abstract   5 downloads
Analytical-based high-level simulation of the microthreaded many-cores architectures. Uddin, I.; Poss, R.; and Jesshope, C. In Proc. 22nd Euromicro International Conference on Parallel, distributed and network-based processing (PDP'14), pages 344--351, Turin, Italy, February 2014. IEEE Computer Society
Analytical-based high-level simulation of the microthreaded many-cores architectures [link]Doi   doi   bibtex   abstract
People-Specific Languages: a case for automated programming language generation by reverse-engineering programmer minds. Poss, R. In Bagge, A. H.; and Zaytsev, V., editor(s), Proc. 2nd International Workshop on Open and Original Problems in Software Language Engineering (OOPSLE'14), pages 15--18, Antwerp, Belgium, February 2014.
People-Specific Languages: a case for automated programming language generation by reverse-engineering programmer minds [pdf]Paper   bibtex   abstract   3 downloads
Computing Handbook, Third Edition. Poss, R. Volume Computer Science and Software Engineering , Gonzalez, T.; Diaz-Herrera, J.; and Tucker, A., editor(s). Multicore Architectures and Their Software Landscape (Chapter 24). Chapman and Hall/CRC, Third edition, 2014.
Computing Handbook, Third Edition [link]Paper   Computing Handbook, Third Edition [link]Doi   Computing Handbook, Third Edition [pdf]Local   doi   bibtex   buy   27 downloads
Cache-based high-level simulation of the microthreaded many-core architectures. Uddin, I.; Poss, R.; and Jesshope, C. Journal of Systems Architecture, 60(7):529--552. 2014.
Cache-based high-level simulation of the microthreaded many-core architectures [link]Doi   doi   bibtex   abstract   1 download
  2013 (15)
Apple-CORE: harnessing general-purpose many-cores with hardware concurrency management. Poss, R.; Lankamp, M.; Yang, Q.; Fu, J.; van Tol, M. W.; Uddin, I.; and Jesshope, C. Microprocessors and Microsystems, 37(8):1090--1101. November 2013.
Apple-CORE: harnessing general-purpose many-cores with hardware concurrency management [link]Doi   Apple-CORE: harnessing general-purpose many-cores with hardware concurrency management [pdf]Local   doi   bibtex   abstract   4 downloads
Machines are benchmarked by code, not algorithms. Poss, R. Computing Research Repository, . September 2013.
Machines are benchmarked by code, not algorithms [link]Paper   Machines are benchmarked by code, not algorithms [pdf]Local   bibtex   abstract   1 download
Introductie Unix --- De eerste dag overleven. Poss, R. . September 2013.
Introductie Unix --- De eerste dag overleven [link]Paper   Introductie Unix --- De eerste dag overleven [pdf]Pdf   bibtex   13 downloads
Optimizing for confidence---Costs and opportunities at the frontier between abstraction and reality. Poss, R. Computing Research Repository, . August 2013.
Optimizing for confidence---Costs and opportunities at the frontier between abstraction and reality [link]Paper   Optimizing for confidence---Costs and opportunities at the frontier between abstraction and reality [pdf]Local   bibtex   abstract   1 download
MGSim---A simulation Environment for Multi-Core Research and Education. Poss, R.; Lankamp, M.; Yang, Q.; Fu, J.; Uddin, I.; and Jesshope, C. In Proc. Intl. Conf. on Embedded Computer Systems: Architectures, MOdeling and Simulation (SAMOS XIII), pages 80--87, July 2013. IEEE
MGSim---A simulation Environment for Multi-Core Research and Education [link]Doi   MGSim---A simulation Environment for Multi-Core Research and Education [pdf]Local   doi   bibtex   abstract   4 downloads
On-demand Thread-level Fault Detection in a Concurrent Programming Environment. Fu, J.; Yang, Q.; Poss, R.; Jesshope, C.; and Zhang, C. In Proc. Intl. Conf. on Embedded Computer Systems: Architectures, MOdeling and Simulation (SAMOS XIII), pages 255--262, July 2013. IEEE
On-demand Thread-level Fault Detection in a Concurrent Programming Environment [link]Doi   On-demand Thread-level Fault Detection in a Concurrent Programming Environment [pdf]Local   doi   bibtex   abstract
Characterizing traits of coordination. Poss, R. Computing Research Repository, . July 2013.
Characterizing traits of coordination [link]Paper   Characterizing traits of coordination [pdf]Local   bibtex   abstract   2 downloads
S+Net: extending functional coordination with extra-functional semantics. Poss, R.; Verstraaten, M.; Penczek, F.; Grelck, C.; Kirner, R.; and Shafarenko, A. Technical Report arXiv:1306.2743v1 [cs.PL], University of Amsterdam and University of Hertfordshire, June 2013.
S+Net: extending functional coordination with extra-functional semantics [link]Paper   S+Net: extending functional coordination with extra-functional semantics [pdf]Local   bibtex   abstract
Extrinsically adaptable systems. Poss, R. Computing Research Repository, . June 2013.
Extrinsically adaptable systems [link]Paper   Extrinsically adaptable systems [pdf]Local   bibtex   abstract
The essence of component-based design and coordination. Poss, R. Computing Research Repository, . June 2013.
The essence of component-based design and coordination [link]Paper   The essence of component-based design and coordination [pdf]Local   bibtex   abstract   4 downloads
On whether and how D-RISC and Microgrids can be kept relevant (self-assessment report). Poss, R. Technical Report arXiv:1303.4892v1 [cs.AR], University of Amsterdam, March 2013.
On whether and how D-RISC and Microgrids can be kept relevant (self-assessment report) [link]Paper   On whether and how D-RISC and Microgrids can be kept relevant (self-assessment report) [pdf]Local   bibtex   abstract   2 downloads
On-Chip Traffic Regulation to Reduce Coherence Protocol Cost on a Micro-threaded Many-Core Architecture with Distributed Caches. Yang, Q.; Fu, J.; Poss, R.; and Jesshope, C. ACM Trans. Embed. Comput. Syst., 13(3s):103:1--103:21. March 2013.
On-Chip Traffic Regulation to Reduce Coherence Protocol Cost on a Micro-threaded Many-Core Architecture with Distributed Caches [link]Doi   doi   bibtex   abstract
MGSim---Simulation tools for multi-core processor architectures. Lankamp, M.; Poss, R.; Yang, Q.; Fu, J.; Uddin, I.; and Jesshope, C. R. Technical Report arXiv:1302.1390v1 [cs.AR], University of Amsterdam, February 2013.
MGSim---Simulation tools for multi-core processor architectures [link]Paper   MGSim---Simulation tools for multi-core processor architectures [pdf]Local   bibtex   abstract   4 downloads
Task Migration for S-Net/LPEL. Verstraaten, M.; Kok, S.; Poss, R.; and Grelck, C. In Grelck, C.; Hammond, K.; and Scholz, S., editor(s), Proc. 2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures, January 2013.
Task Migration for S-Net/LPEL [pdf]Paper   Task Migration for S-Net/LPEL [pdf]Local   bibtex   abstract
Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-Net. MacKenzie, K.; Ḧolzenspies, P. K.F.; Hammond, K.; Kirner, R.; Nga, N. V.T.; te Boekhorst, R.; Grelck, C.; Poss, R.; and Verstraaten, M. In Grelck, C.; Hammond, K.; and Scholz, S., editor(s), Proc. 2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures, January 2013.
Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-Net [pdf]Paper   Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-Net [pdf]Local   bibtex   abstract
  2012 (7)
Apple-CORE: Microgrids of SVP cores (invited paper). Poss, R.; Lankamp, M.; Yang, Q.; Fu, J.; van Tol, M. W.; and Jesshope, C. In Niar, S., editor(s), Proc. 15th Euromicro Conference on Digital System Design (DSD 2012), September 2012. IEEE Computer Society
Apple-CORE: Microgrids of SVP cores (invited paper) [link]Doi   Apple-CORE: Microgrids of SVP cores (invited paper) [pdf]Local   doi   bibtex   abstract   4 downloads
An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation. Penczek, F.; Kirner, R.; Poss, R.; Grelck, C.; and Shafarenko, A. In Proc. 4th International Workshop on Non-functional System Properties in Domain Specific Modeling Languages, of NFPinDSML '12, pages 5:1--5:6, New York, NY, USA, September 2012. ACM
An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation [link]Doi   An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation [pdf]Local   doi   bibtex   abstract
On the realizability of hardware microthreading---Revisting the general-purpose processor interface: consequences and challenges. Poss; and Raphael `kena' Ph.D. Thesis, University of Amsterdam, September 2012.
On the realizability of hardware microthreading---Revisting the general-purpose processor interface: consequences and challenges [link]Paper   On the realizability of hardware microthreading---Revisting the general-purpose processor interface: consequences and challenges [link]Doi   doi   bibtex   abstract   1 download
SL---a "quick and dirty" but working intermediate language for SVP systems. Poss, R. Technical Report arXiv:1208.4572v1 [cs.PL], University of Amsterdam, August 2012.
SL---a "quick and dirty" but working intermediate language for SVP systems [link]Paper   SL---a "quick and dirty" but working intermediate language for SVP systems [pdf]Local   bibtex   abstract   3 downloads
Lazy Reference Counting for the Microgrid. Poss, R.; Grelck, C.; Herhut, S.; and Scholz, S. In Proc. 16th Workshop on Interaction between Compilers and Computer Architectures (INTERACT'16), pages 41--48, February 2012. IEEE
Lazy Reference Counting for the Microgrid [link]Doi   Lazy Reference Counting for the Microgrid [pdf]Local   doi   bibtex   abstract
Heterogeneous integration to simplify many-core architecture simulations. Poss, R.; Lankamp, M.; Uddin; Irfan, M.; Sýkora, J.; and Kafka, L. In Proc. 2012 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, of RAPIDO '12, pages 17--24, January 2012. ACM
Heterogeneous integration to simplify many-core architecture simulations [link]Doi   Heterogeneous integration to simplify many-core architecture simulations [pdf]Local   doi   bibtex   abstract   1 download
Collecting signatures to model latency tolerance in high-level simulations of microthreaded cores. Uddin; Irfan, M.; Jesshope, C. R.; van Tol, M. W.; and Poss, R. In Proceedings of the 2012 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, of RAPIDO '12, pages 1--8, New York, NY, USA, January 2012. ACM
Collecting signatures to model latency tolerance in high-level simulations of microthreaded cores [link]Doi   Collecting signatures to model latency tolerance in high-level simulations of microthreaded cores [pdf]Local   doi   bibtex   abstract
  2011 (5)
Implementation of SVP on at least one target (Software), ADVANCE deliverable D16. Poss, R.; Grelck, C.; and Verstraaten, M. November 2011.
Implementation of SVP on at least one target (Software), ADVANCE deliverable D16 [link]Paper   Implementation of SVP on at least one target (Software), ADVANCE deliverable D16 [pdf]Local   bibtex
Concurrent Non-Deferred Reference Counting on the Microgrid: First Experiences. Herhut, S.; Joslin, C.; Scholz, S.; Poss, R.; and Grelck, C. In Haage, J.; and Moraźan, M., editor(s), Implementation and Application of Functional Languages, volume 6647, of Lecture Notes in Computer Science, pages 185--202. Springer Berlin / Heidelberg, October 2011.
Concurrent Non-Deferred Reference Counting on the Microgrid: First Experiences [link]Doi   Concurrent Non-Deferred Reference Counting on the Microgrid: First Experiences [pdf]Local   doi   bibtex   abstract   buy
Resource-agnostic programming for many-core Microgrids. Bernard, T.; Grelck, C.; Hicks, M.; Jesshope, C.; and Poss, R. In Guarracino, M.; Vivien, F.́; Tr̈aff, J.; Cannatoro, M.; Danelutto, M.; Hast, A.; Perla, F.; Knüpfer, A.; Martino, B. D.; and Alexander, M., editor(s), Euro-Par 2010 Parallel Processing Workshops, volume 6586, of Lecture Notes in Computer Science, pages 109--116. Springer Berlin / Heidelberg, August 2011.
Resource-agnostic programming for many-core Microgrids [link]Doi   Resource-agnostic programming for many-core Microgrids [pdf]Local   doi   bibtex   abstract   buy
Final report of benchmark evaluations in different programming paradigms, Apple-CORE deliverable D2.3. Rolls, D.; Joslin, C.; Scholz, S.; Jesshope, C.; and Poss, R. July 2011.
Final report of benchmark evaluations in different programming paradigms, Apple-CORE deliverable D2.3 [link]Paper   Final report of benchmark evaluations in different programming paradigms, Apple-CORE deliverable D2.3 [pdf]Local   bibtex
Hardware I/O interface on the Microgrid. Lankamp, M.; van Tol, M. W.; Jesshope, C.; and Poss, R. Technical Report [mgsim14], University of Amsterdam, May 2011.
Hardware I/O interface on the Microgrid [link]Paper   bibtex
  2010 (6)
Hardware virtualisation notation, ADVANCE deliverable D6. Poss, R.; and Kirner, R. November 2010.
Hardware virtualisation notation, ADVANCE deliverable D6 [link]Paper   Hardware virtualisation notation, ADVANCE deliverable D6 [pdf]Local   bibtex   1 download
Hardware virtualisation for heterogeneous many-core systems. Grelck, C.; Poss, R.; and Jesshope, C. In Proc. Intel European Research and Innovation Conference (ERIC'10), Braunschweig, Germany, October 2010.
bibtex   abstract
Resource-agnostic programming of microgrids (talk at HPPC'10). Poss, R. September 2010.
Resource-agnostic programming of microgrids (talk at HPPC'10) [pdf]Paper   bibtex
Report on Porting Operating System to SVP/Microgrid Platform, Apple-CORE deliverable D5.3. Hicks, M.; Poss, R.; Jesshope, C.; van Tol, M.; and Lankamp, M. September 2010.
Report on Porting Operating System to SVP/Microgrid Platform, Apple-CORE deliverable D5.3 [link]Paper   Report on Porting Operating System to SVP/Microgrid Platform, Apple-CORE deliverable D5.3 [pdf]Local   bibtex
Towards scalable implicit communication and synchronization. Poss, R.; and Jesshope, C. In The First Workshop on Advances in Message Passing (AMP'10), Toronto, Canada, June 2010.
Towards scalable implicit communication and synchronization [pdf]Paper   Towards scalable implicit communication and synchronization [pdf]Local   bibtex   abstract
Making multi-cores mainstream -- from security to scalability. Jesshope, C.; Hicks, M.; Lankamp, M.; Poss, R.; and Zhang, L. In Chapman, B.; Desprez, F.; Joubert, G. R.; Lichnewsky, A.; Peters, F.; and Priol, T., editor(s), Parallel Computing: From Multicores and GPU's to Petascale, volume 19, of Advances in Parallel Computing, pages 16--31. IOS Press, 2010.
Making multi-cores mainstream -- from security to scalability [link]Doi   Making multi-cores mainstream -- from security to scalability [pdf]Local   doi   bibtex   abstract   buy
  2009 (1)
Core compiler, Apple-CORE deliverable D5.4. Poss, R. May 2009.
Core compiler, Apple-CORE deliverable D5.4 [link]Paper   Core compiler, Apple-CORE deliverable D5.4 [pdf]Local   bibtex   3 downloads
  2008 (1)
Report on memory protection in microthreaded processors, Apple-CORE deliverable D5.2. Masters, J.; Lankamp, M.; Jesshope, C.; Poss, R.; and Hielscher, E. December 2008.
Report on memory protection in microthreaded processors, Apple-CORE deliverable D5.2 [link]Paper   Report on memory protection in microthreaded processors, Apple-CORE deliverable D5.2 [pdf]Local   bibtex   1 download
  2003 (3)
A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming. Burrus, N.; Duret-Lutz, A.; Géraud, T.; Lesage, D.; and Poss, R. In Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL'03), Anaheim, CA, USA, October 2003.
A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming [pdf]Local   bibtex   abstract
Introducing Vaucanson. Lombardy, S.; Poss, R.; Régis-Gianas, Y.; and Sakarovitch, J. In Proc. 8th International Conference on Implementation and Application of Automata (CIAA'03), volume 2759, of Lecture Notes in Computer Science Series, pages 96--107, Santa Barbara, CA, USA, July 2003. Springer-Verlag
Introducing Vaucanson [link]Doi   Introducing Vaucanson [pdf]Local   doi   bibtex   abstract   3 downloads
On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson. Régis-Gianas, Y.; and Poss, R. In Striegnitz, J.; and Davis, K., editor(s), Proc. Workshop on Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP), of John von Neumann Institute for Computing (NIC), Darmstadt, Germany, July 2003.
On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson [pdf]Local   bibtex   abstract   1 download
My academic publication stream is on hiatus as of january 2016: I have currently access to a funding source which enables me to continue research (and teaching) without the pressure to publish, and I intend to exploit this opportunity for as long as I can.

Raphael's academic home page © Raphael ‘kena’ Poss. Powered by Pelican and Twitter Bootstrap. Icons by Font Awesome.