News for ingi

Implementation of a Feature-Based Context-Oriented...

This paper will be presented at The 11th International Workshop on Context-Oriented Programming and Advanced Modularity (COP), at ECOOP 2019 - 15-19 July 2019 - Hammersmith, London, United Kingdom. We implemented a feature-based context-oriented programming language, which clearly separates...
Click to know more

Beyond socket options: making the Linux TCP stack truly...

The Transmission Control Protocol (TCP) is one of the most important protocols in today’s Internet. It was designed to be extensible for various use cases. A client can propose to use an extension over a given TCP connection by sending an option that identifies this extension during the...
Click to know more

Testé comme jamais...

Cet article présente SolverCheck, une bibliothèque libre de "test par propriétés" (property-based testing, PBT) qui a été spécifiquement conçue pour  tester les solveurs CP. En particulier, SolverCheck offre un langage déclaratif qui permet de décrire le comportement attendu...
Click to know more

QUIC-FEC: Bringing the benefits of Forward Erasure...

Originally implemented by Google, QUIC gathers a growing interest by providing, on top of UDP, the same service as the classical TCP/TLS/HTTP/2 stack. The IETF will finalise the QUIC specification in 2019. A key feature of QUIC is that almost all its packets, including most of its headers,...
Click to know more

Dynamic Visualisation of Features and Contexts for...

Context-oriented programming languages allow programmers to develop context-aware systems that can adapt their behaviour dynamically upon changing contexts. Due to the highly dynamic nature of such systems and the many possible combinations of contexts to which such systems may adapt, developing...
Click to know more