Search filters

List of works by Konstantinos Sagonas

A contention adapting approach to concurrent ordered sets

Experimental evaluation and improvements to linear scan register allocation

Grammar-based testing for little languages: an experience report with student compilers

scientific article published on 25 November 2020

Linear Scan Register Allocation in a High-Performance Erlang Compiler

Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution

scientific article published on 25 July 2024

SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs

scientific article published on 11 September 2024

So Many Fuzzers, So Little Time✱

scientific article published on 05 January 2023

Paulina is supported by:

About Paulina

Help