Konstantinos Sagonas

Optimal stateless model checking for reads-from equivalence under sequential consistency

Abdulla, Parosh; Atig, Mohamed Faouzi; Jonsson, Bengt; Lång, Magnus et al.

Part of Proceedings of the ACM on Programming Languages, p. 1-29, 2019

• DOI for Optimal stateless model checking for reads-from equivalence under sequential consistency
• Download full text (pdf) of Optimal stateless model checking for reads-from equivalence under sequential consistency

Stateless model checking of the Linux kernel's read-copy update (RCU)

Kokologiannakis, Michalis; Sagonas, Konstantinos

Part of International Journal on Software Tools for Technology Transfer, p. 287-306, 2019

• DOI for Stateless model checking of the Linux kernel's read-copy update (RCU)
• Download full text (pdf) of Stateless model checking of the Linux kernel's read-copy update (RCU)

Optimal dynamic partial order reduction with observers

Aronis, Stavros; Jonsson, Bengt; Lång, Magnus; Sagonas, Konstantinos

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 229-248, 2018

• DOI for Optimal dynamic partial order reduction with observers
• Download full text (pdf) of Optimal dynamic partial order reduction with observers

Progress on Algorithms for Stateless Model Checking

Sagonas, Konstantinos

Part of Proceedings of the Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018

• DOI for Progress on Algorithms for Stateless Model Checking

Lock-free Contention Adapting Search Trees

Winblad, Kjell; Sagonas, Konstantinos; Jonsson, Bengt

Part of The 30th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2018, 2018

• DOI for Lock-free Contention Adapting Search Trees

Automating Targeted Property-Based Testing

Löscher, Andreas; Sagonas, Konstantinos

Part of IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), p. 70-80, 2018

• DOI for Automating Targeted Property-Based Testing

A contention adapting approach to concurrent ordered sets

Sagonas, Konstantinos; Winblad, Kjell

Part of Journal of Parallel and Distributed Computing, p. 1-19, 2018

• DOI for A contention adapting approach to concurrent ordered sets

Queue Delegation Locking

Klaftenegger, David; Sagonas, Konstantinos; Winblad, Kjell

Part of IEEE Transactions on Parallel and Distributed Systems, p. 687-704, 2018

• DOI for Queue Delegation Locking

Targeted property-based testing

Löscher, Andreas; Sagonas, Konstantinos

Part of Proc. 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, p. 46-56, 2017

• DOI for Targeted property-based testing

Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)

Kokologiannakis, Michalis; Sagonas, Konstantinos

Part of Proc. 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, p. 172-181, 2017

• DOI for Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)

Comparing source sets and persistent sets for partial order reduction

Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos

Part of Models, Algorithms, Logics and Tools, p. 516-536, Springer, 2017

• DOI for Comparing source sets and persistent sets for partial order reduction

The shared-memory interferences of Erlang/OTP built-ins

Aronis, Stavros; Sagonas, Konstantinos

Part of Proceedings Of The 16Th Acm Sigplan International Workshop On Erlang (Erlang '17), p. 43-54, 2017

• DOI for The shared-memory interferences of Erlang/OTP built-ins
• Download full text (pdf) of The shared-memory interferences of Erlang/OTP built-ins

The Contention Avoiding Concurrent Priority Queue

Sagonas, Konstantinos; Winblad, Kjell

Part of Languages and Compilers for Parallel Computing, p. 314-330, 2017

• DOI for The Contention Avoiding Concurrent Priority Queue

Scaling Reliably: Improving the scalability of the Erlang distributed actor platform

Trinder, Phil; Chechina, Natalia; Papaspyrou, Nikolaos; Sagonas, Konstantinos et al.

Part of ACM Transactions on Programming Languages and Systems, 2017

• DOI for Scaling Reliably: Improving the scalability of the Erlang distributed actor platform

Stateless model checking for TSO and PSO

Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt et al.

Part of Acta Informatica, p. 789-818, 2017

• DOI for Stateless model checking for TSO and PSO

Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM ' 15)

Asai, Kenichi; Sagonas, Konstantinos

Part of Science of Computer Programming, p. 1-1, 2017

• DOI for Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM ' 15)

Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking

Aronis, Stavros; Sagonas, Konstantinos; Lystig Fritchie, Scott

p. 227-242, 2017

• DOI for Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking
• Download full text (pdf) of Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking

Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction

Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos

Part of Journal of the ACM, 2017

• DOI for Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction

Concolic testing for functional languages

Giantsios, Aggelos; Papaspyrou, Nikolaos; Sagonas, Konstantinos

Part of Science of Computer Programming, p. 109-134, 2017

• DOI for Concolic testing for functional languages

The Nifty way to call hell from heaven

Löscher, Andreas; Sagonas, Konstantinos

Part of Proc. 15th International Workshop on Erlang, p. 1-11, 2016

• DOI for The Nifty way to call hell from heaven

Property-Based Testing of Sensor Networks

Löscher, Andreas; Sagonas, Konstantinos; Voigt, Thiemo

Part of Proc. 12th International Conference on Sensing, Communication, and Networking, p. 100-108, 2015

Enabling design of performance-controlled sensor network applications through task allocation and reallocation

Elsts, Atis; Hassani Bijarbooneh, Farshid; Jacobsson, Martin; Sagonas, Konstantinos

Part of Proc. 11th International Conference on Distributed Computing in Sensor Systems, p. 248-253, 2015

• DOI for Enabling design of performance-controlled sensor network applications through task allocation and reallocation
• Download full text (pdf) of Enabling design of performance-controlled sensor network applications through task allocation and reallocation

ProFuN TG: A Tool Using Abstract Task Graphs to Facilitate the Development, Deployment and Maintenance of Wireless Sensor Network Applications

Elsts, Atis; Hassani Bijarbooneh, Farshid; Jacobsson, Martin; Sagonas, Konstantinos

Part of Proc. Poster/Demo Session, p. 19-20, 2015

Stateless model checking for TSO and PSO

Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt et al.

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 353-367, 2015

• DOI for Stateless model checking for TSO and PSO

Contention adapting search trees

Sagonas, Konstantinos; Winblad, Kjell

Part of Proc. 14th International Symposium on Parallel and Distributed Computing, p. 215-224, 2015

• DOI for Contention adapting search trees

ProFuN TG: A tool for programming and managing performance-aware sensor network applications

Elsts, Atis; Hassani Bijarbooneh, Farshid; Jacobsson, Martin; Sagonas, Konstantinos

Part of IEEE 40th Local Computer Networks Conference Workshops (LCN Workshops), p. 751-759, 2015

• DOI for ProFuN TG: A tool for programming and managing performance-aware sensor network applications
• Download full text (pdf) of ProFuN TG: A tool for programming and managing performance-aware sensor network applications

ProFuN TG: Programming Sensornets with Task Graphs for Increased Reliability and Energy-Efficiency

Elsts, Atis; Hassani Bijarbooneh, Farshid; Jacobsson, Martin; Sagonas, Konstantinos

2015

• Download full text (pdf) of ProFuN TG: Programming Sensornets with Task Graphs for Increased Reliability and Energy-Efficiency

More scalable ordered set for ETS using adaptation

Sagonas, Konstantinos; Winblad, Kjell

Part of Proc. 13th ACM SIGPLAN Workshop on Erlang, p. 3-11, 2014

• DOI for More scalable ordered set for ETS using adaptation

Delegation locking libraries for improved performance of multithreaded programs

Klaftenegger, David; Sagonas, Konstantinos; Winblad, Kjell

Part of Euro-Par 2014, p. 572-583, 2014

• DOI for Delegation locking libraries for improved performance of multithreaded programs

Optimal dynamic partial order reduction

Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos

Part of Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, p. 373-384, 2014

• DOI for Optimal dynamic partial order reduction

Static safety guarantees for a low-level multithreaded language with regions

Gerakios, Prodromos; Papaspyrou, Nikolaos; Sagonas, Konstantinos

Part of Science of Computer Programming, p. 223-263, 2014

• DOI for Static safety guarantees for a low-level multithreaded language with regions

On the scalability of the Erlang term storage

Klaftenegger, David; Sagonas, Konstantinos; Winblad, Kjell

Part of Proc. 12th ACM SIGPLAN Workshop on Erlang, p. 15-26, 2013

• DOI for On the scalability of the Erlang term storage

On using Erlang for parallelization: Experience from parallelizing Dialyzer

Aronis, Stavros; Sagonas, Konstantinos

Part of Trends in Functional Programming, p. 295-310, 2013

• DOI for On using Erlang for parallelization: Experience from parallelizing Dialyzer

Systematic testing for detecting concurrency errors in Erlang programs

Christakis, Maria; Gotovos, Alkis; Sagonas, Konstantinos

Part of Proc. 6th International Conference on Software Testing, Verification and Validation, p. 154-163, 2013

• DOI for Systematic testing for detecting concurrency errors in Erlang programs

RELEASE: A high-level paradigm for reliable large-scale server software

Boudeville, Olivier; Cesarini, Francesco; Chechina, Natalia; Lundin, Kenneth et al.

Part of Trends in Functional Programming, p. 263-278, 2013

• DOI for RELEASE: A high-level paradigm for reliable large-scale server software

Precise explanation of success typing errors

Sagonas, Konstantinos; Silva, Josep; Tamarit, Salvador

Part of Proc. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, p. 33-42, 2013

• DOI for Precise explanation of success typing errors

A scalability benchmark suite for Erlang/OTP

Aronis, Stavros; Papaspyrou, Nikolaos; Roukounaki, Katerina; Sagonas, Konstantinos et al.

Part of Proc. 11th ACM SIGPLAN Workshop on Erlang, p. 33-42, 2012

• DOI for A scalability benchmark suite for Erlang/OTP

ErLLVM: An LLVM backend for Erlang

Sagonas, Konstantinos; Stavrakakis, Chris; Tsiouris, Yiannis

Part of Proc. 11th ACM SIGPLAN Workshop on Erlang, p. 21-32, 2012

• DOI for ErLLVM: An LLVM backend for Erlang

On preserving term sharing in the Erlang virtual machine

Papaspyrou, Nikolaos; Sagonas, Konstantinos

Part of Proc. 11th ACM SIGPLAN Workshop on Erlang, p. 11-20, 2012

• DOI for On preserving term sharing in the Erlang virtual machine

A type and effect system for deadlock avoidance in low-level languages

Gerakios, Prodromos; Papaspyrou, Nikolaos; Sagonas, Konstantinos

Part of Proc. 6th International Workshop on Types in Language Design and Implementation, p. 15-28, 2011

• DOI for A type and effect system for deadlock avoidance in low-level languages

Detection of asynchronous message passing errors using static analysis

Christakis, Maria; Sagonas, Konstantinos

Part of Practical Aspects of Declarative Languages, p. 5-18, 2011

• DOI for Detection of asynchronous message passing errors using static analysis

A concurrent language with a uniform treatment of regions and locks

Gerakios, Prodromos; Papaspyrou, Nikolaos; Sagonas, Konstantinos

Part of Proc. 2nd Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, p. 79-93, 2010

• DOI for A concurrent language with a uniform treatment of regions and locks

Using static analysis to detect type errors and concurrency defects in Erlang programs

Sagonas, Konstantinos

Part of Functional and Logic Programming, p. 13-18, 2010

• DOI for Using static analysis to detect type errors and concurrency defects in Erlang programs

Race-free and memory-safe multithreading: Design and implementation in Cyclone

Gerakios, Prodromos; Papaspyrou, Nikolaos; Sagonas, Konstantinos

Part of Proc. 5th International Workshop on Types in Language Design and Implementation, p. 15-26, 2010

• DOI for Race-free and memory-safe multithreading: Design and implementation in Cyclone

Static detection of race conditions in Erlang

Christakis, Maria; Sagonas, Konstantinos

Part of Practical Aspects of Declarative Languages, p. 119-133, 2010

• DOI for Static detection of race conditions in Erlang

Automatic refactoring of Erlang programs

Sagonas, Konstantinos; Avgerinos, Thanassis

Part of Proc. 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, p. 13-23, 2009

• DOI for Automatic refactoring of Erlang programs

Gradual Typing of Erlang Programs: A Wrangler Experience

Sagonas, Konstantinos; Luna, Daniel

Part of Proc. 7th ACM SIGPLAN Workshop on ERLANG, p. 73-81, 2008

• DOI for Gradual Typing of Erlang Programs: A Wrangler Experience

Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang

Gustafsson, Per; Sagonas, Konstantinos

Part of Practical Aspects of Declarative Languages, p. 94-108, 2007

• DOI for Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang

Demand-Driven Indexing of Prolog Clauses

Santos Costa, Vítor; Sagonas, Konstantinos; Lopes, Ricardo

Part of Logic Programming, p. 395-409, 2007

• DOI for Demand-Driven Indexing of Prolog Clauses

Detecting defects in Erlang programs using static analysis

Sagonas, Konstantinos

Part of Proc. 9th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, p. 37-37, 2007

A language for specifying type contracts in Erlang and its interaction with success typings

Jiménez, Miguel; Lindahl, Tobias; Sagonas, Konstantinos

Part of Proc. 6th ACM SIGPLAN Workshop on ERLANG, p. 11-17, 2007

• DOI for A language for specifying type contracts in Erlang and its interaction with success typings

Practical type inference based on success typings

Lindahl, Tobias; Sagonas, Konstantinos

Part of Proc. 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, p. 167-178, 2006

• DOI for Practical type inference based on success typings

Efficient manipulation of binary data using pattern matching

Sagonas, Konstantinos; Gustafsson, Per

Part of Journal of Functional Programming, p. 35-74, 2006

Tabling in Mercury: Design and Implementation

Sagonas, Konstantinos; Somogyi, Zoltan

Part of PADL'06, 2006

Mark and Split

Sagonas, Konstantinos; Wilhelmsson, Jesper

Part of ISSM'06, 2006

Message analysis for concurrent programs using message passing

Carlsson, Richard; Sagonas, Konstantinos; Wilhelmsson, Jesper

Part of ACM Transactions on Programming Languages and Systems, p. 715-746, 2006

• DOI for Message analysis for concurrent programs using message passing

Efficient Memory Management for Concurrent Programs that Use Message Passing

Sagonas, Konstantinos; Wilhelmsson, Jesper

Part of Science of Computer Programming, p. 98-121, 2006

• DOI for Efficient Memory Management for Concurrent Programs that Use Message Passing

Bit-level binaries and generalized comprehensions in Erlang

Sagonas, Konstantinos; Gustafsson, Per

Part of Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, 2005

Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang

Sagonas, Konstantinos; Armstrong, Joe

2005

TypEr: A Type Annotator of Erlang Code

Sagonas, Konstantinos; Lindahl, Tobias

Part of Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, p. 17-25, 2005

Efficiently Compiling a Functional Language on AMD64: The HiPE Experience

Sagonas, Konstantinos; Pettersson, Mikael; Luna, Daniel

Part of PPDP 2005, 2005

Bit-level Binaries and Generalized Comprehensions in Erlang

Gustafsson, Per; Sagonas, Konstantinos

Part of Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, p. 1-8, 2005

Efficiently Compiling a Functional Language on AMD64: The HiPE Experience

Luna, Daniel; Pettersson, Mikael; Sagonas, Konstantinos

Part of Proceedings of the Seventh ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, p. 176-186, 2005

Experience from Developing the Dialyzer: A Static Analysis Tool Detecting Defects in Erlang Applications

Sagonas, Konstantinos

Part of Proceedings of ACM SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools, 2005

Message Analysis-Guided Allocation and Low-Pause Incremental Garbage Collection in a Concurrent Language

Sagonas, Konstantinos; Wilhelmsson, Jesper

Part of In Proceedings of ISMM'04: ACM SIGPLAN International Symposium on Memory Management, p. 1-12, 2004

HiPE on AMD64

Luna, Daniel; Pettersson, Mikael; Sagonas, Konstantinos

Part of In Proceedings of the Third ACM SIGPLAN Erlang Workshop, p. 38-47, 2004

Just Enough Tabling

Sagonas, Konstantinos; Stuckey, Peter J.

Part of In Proceedings of the Sixth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, p. 78-89, 2004

Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story

Lindahl, Tobias; Sagonas, Konstantinos

Part of In Programming Languages and Systems: Proceedings of the Second Asian Symposium, p. 91-106, 2004

Adaptive Pattern Matching on Binary Data

Gustafsson, Per; Sagonas, Konstantinos

Part of In Programming Languages and Systems. Proceedings of the 13th European Symposium On Programming, p. 124-139, 2004

The development of the HiPE system: Design and experience report

Johansson, Erik; Pettersson, Mikael; Sagonas, Konstantinos; Lindgren, Thomas

Part of International Journal on Software Tools for Technology Transfer, p. 421-436, 2003

• DOI for The development of the HiPE system: Design and experience report

Experimental Evaluation and Improvements to Linear Scan Register Allocation

Sagonas, Konstantinos; Stenman., Erik

Part of Software - Practice & Experience, p. 1003-1034, 2003

ASTEC: An Experience in the Establishment of Collaboration between Academia and Industry

Jonsson, Bengt; Sagonas, Konstantinos

Part of Springer International Journal on Software Tools for Technology Transfer, p. 401-404, 2003

All you wanted to know about the HiPE compiler: (but might have been afraid to ask)

Sagonas, Konstantinos; Pettersson, Mikael; Carlsson, Richard; Gustafsson, Per et al.

Part of Proceedings of the Second ACM SIGPLAN Erlang Workshop, p. 36-43, 2003

Message Analysis for Concurrent Languages

Carlsson, Richard; Sagonas, Konstantinos; Wilhelmsson, Jesper

Part of In Proceedings of the Static Analysis Symposium, p. 73-90, 2003

On Enabling the WAM with Region Support

Makholm, Henning; Sagonas, Konstantinos

Part of Proceedings of the International Conference on Logic Programming, p. 163-178, 2002

Segment Order Preserving and Generational Garbage Collection for Prolog

Vandeginste, Ruben; Demoen, Bart; Sagonas, Konstantinos

Part of In Practical Aspects of Declarative Languages: Proceedings of the PADL 2002 Symposium, p. 299-317, 2002

Heap Architectures for Concurrent Languages using Message Passing

Johansson, Erik; Sagonas, Konstantinos; Wilhelmsson, Jesper

Part of Proceedings of ISMM'2002: ACM SIGPLAN International Symposium on Memory Management, p. 88-99, 2002

On Reducing Interprocess Communication Overhead in Concurrent Programs.

Stenman, Erik; Sagonas, Konstantinos

Part of Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, p. 58-63, 2002

Native Code Compilation of Erlang's Bit Syntax

Gustafsson, Per; Sagonas, Konstantinos

Part of Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, p. 6-15, 2002

Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.

Lindahl, Tobias; Sagonas, Konstantinos

Part of Proceedings of the 14th International Workshop on the Implementation of Functional Languages (IFL 2002). Madrid, Spain, September 2002. LNCS., 2002

The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.

Pettersson, Mikael; Sagonas, Konstantinos; Johansson, Erik

Part of Proceedings of the 6th International Symposium on Functional and Logic Programming, Aizu, Japan, September 2002. Springer, p. 228-244, 2002

Linear Scan Register Allocation in a High-Performance Erlang Compiler.

Johansson, Erik; Sagonas, Konstantinos

Part of # Practical Aspects of Declarative Languages: Proceedings of the PADL 2002 Symposium, Portland, Oregon., p. 299-317, 2002

Heap Memory Management in Prolog with Tabling: Practice and Experience

Demoen, Bart; Sagonas, Konstantinos

Part of Journal of Functional and Logic Programming: Special Issue on Selected Best Papers from PADL 2000, p. 1-56, 2001

Termination Proofs for Logic Programs with Tabling

Verbaeten, Sofie; Sagonas, Konstantinos; De Schreye, Danny

Part of ACM Transactions on Computational Logic, p. 57-92, 2001

Modular termination proofs for Prolog with tabling

Verbaeten, Sofie; Sagonas, Konstantinos; De Schreye, Danny

Part of Principles and Practice of Declarative Programming, p. 342-359, 1999

• DOI for Modular termination proofs for Prolog with tabling

CAT: the Copying Approach to Tabling

Demoen, Bart; Sagonas, Konstantinos

Part of Journal of Functional and Logic Programming: Special Issue on Selected Best Papers from PLILP/ALP'98, p. 1-38, 1999

Awaiting for Godot: stateless model checking that avoids executions where nothing happens

Jonsson, Bengt; Lång, Magnus; Sagonas, Konstantinos

Part of Formal methods in system design, p. 71-105, 2025

• DOI for Awaiting for Godot: stateless model checking that avoids executions where nothing happens
• Download full text (pdf) of Awaiting for Godot: stateless model checking that avoids executions where nothing happens

Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP

Asadian, Hooman; Fiterău-Broştean, Paul; Jonsson, Bengt; Sagonas, Konstantinos

Part of 2024 IEEE Conference on Standards for Communications and Networking (CSCN), p. 48-54, 2024

• DOI for Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP

Parsimonious Optimal Dynamic Partial Order Reduction

Abdulla, Parosh; Atig, Mohamed Faouzi; Das, Sarbojit; Jonsson, Bengt et al.

2024

• Download full text (pdf) of Parsimonious Optimal Dynamic Partial Order Reduction

A First Exploration of Fine-Grain Coherence for Integrity Metadata

Ekemark, Per; Ros, Alberto; Sagonas, Konstantinos; Kaxiras, Stefanos

Part of 2024 INTERNATIONAL SYMPOSIUM ON SECURE AND PRIVATE EXECUTION ENVIRONMENT DESIGN, SEED 2024, p. 62-72, 2024

• DOI for A First Exploration of Fine-Grain Coherence for Integrity Metadata

Parsimonious Optimal Dynamic Partial Order Reduction

Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Das, Sarbojit; Jonsson, Bengt et al.

Part of COMPUTER AIDED VERIFICATION, PT II, CAV 2024, p. 19-43, 2024

• DOI for Parsimonious Optimal Dynamic Partial Order Reduction
• Download full text (pdf) of Parsimonious Optimal Dynamic Partial Order Reduction

Awaiting for Godot: stateless model checking that avoids executions where nothing happens

Jonsson, Bengt; Lång, Magnus; Sagonas, Konstantinos

Part of Formal methods in system design, p. 71-105, 2025

• DOI for Awaiting for Godot: stateless model checking that avoids executions where nothing happens
• Download full text (pdf) of Awaiting for Godot: stateless model checking that avoids executions where nothing happens

Lock-free Contention Adapting Search Trees

Winblad, Kjell; Sagonas, Konstantinos; Jonsson, Bengt

Part of ACM TRANSACTIONS ON PARALLEL COMPUTING, 2021

• DOI for Lock-free Contention Adapting Search Trees

Optimal stateless model checking for reads-from equivalence under sequential consistency

Abdulla, Parosh; Atig, Mohamed Faouzi; Jonsson, Bengt; Lång, Magnus et al.

Part of Proceedings of the ACM on Programming Languages, p. 1-29, 2019

• DOI for Optimal stateless model checking for reads-from equivalence under sequential consistency
• Download full text (pdf) of Optimal stateless model checking for reads-from equivalence under sequential consistency

Stateless model checking of the Linux kernel's read-copy update (RCU)

Kokologiannakis, Michalis; Sagonas, Konstantinos

Part of International Journal on Software Tools for Technology Transfer, p. 287-306, 2019

• DOI for Stateless model checking of the Linux kernel's read-copy update (RCU)
• Download full text (pdf) of Stateless model checking of the Linux kernel's read-copy update (RCU)

Effective Stateless Model Checking for C/C++ Concurrency

Kokologiannakis, Michalis; Lahav, Ori; Sagonas, Konstantinos; Vafeiadis, Viktor

Part of Proceedings of the ACM on Programming Languages, p. 1-32, 2018

• DOI for Effective Stateless Model Checking for C/C++ Concurrency
• Download full text (pdf) of Effective Stateless Model Checking for C/C++ Concurrency

A contention adapting approach to concurrent ordered sets

Sagonas, Konstantinos; Winblad, Kjell

Part of Journal of Parallel and Distributed Computing, p. 1-19, 2018

• DOI for A contention adapting approach to concurrent ordered sets

Queue Delegation Locking

Klaftenegger, David; Sagonas, Konstantinos; Winblad, Kjell

Part of IEEE Transactions on Parallel and Distributed Systems, p. 687-704, 2018

• DOI for Queue Delegation Locking

Scaling Reliably: Improving the scalability of the Erlang distributed actor platform

Trinder, Phil; Chechina, Natalia; Papaspyrou, Nikolaos; Sagonas, Konstantinos et al.

Part of ACM Transactions on Programming Languages and Systems, 2017

• DOI for Scaling Reliably: Improving the scalability of the Erlang distributed actor platform

Stateless model checking for TSO and PSO

Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt et al.

Part of Acta Informatica, p. 789-818, 2017

• DOI for Stateless model checking for TSO and PSO

Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM ' 15)

Asai, Kenichi; Sagonas, Konstantinos

Part of Science of Computer Programming, p. 1-1, 2017

• DOI for Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM ' 15)

Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction

Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos

Part of Journal of the ACM, 2017

• DOI for Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction

Concolic testing for functional languages

Giantsios, Aggelos; Papaspyrou, Nikolaos; Sagonas, Konstantinos

Part of Science of Computer Programming, p. 109-134, 2017

• DOI for Concolic testing for functional languages

Static safety guarantees for a low-level multithreaded language with regions

Gerakios, Prodromos; Papaspyrou, Nikolaos; Sagonas, Konstantinos

Part of Science of Computer Programming, p. 223-263, 2014

• DOI for Static safety guarantees for a low-level multithreaded language with regions

Efficient manipulation of binary data using pattern matching

Sagonas, Konstantinos; Gustafsson, Per

Part of Journal of Functional Programming, p. 35-74, 2006

Message analysis for concurrent programs using message passing

Carlsson, Richard; Sagonas, Konstantinos; Wilhelmsson, Jesper

Part of ACM Transactions on Programming Languages and Systems, p. 715-746, 2006

• DOI for Message analysis for concurrent programs using message passing

Efficient Memory Management for Concurrent Programs that Use Message Passing

Sagonas, Konstantinos; Wilhelmsson, Jesper

Part of Science of Computer Programming, p. 98-121, 2006

• DOI for Efficient Memory Management for Concurrent Programs that Use Message Passing

The development of the HiPE system: Design and experience report

Johansson, Erik; Pettersson, Mikael; Sagonas, Konstantinos; Lindgren, Thomas

Part of International Journal on Software Tools for Technology Transfer, p. 421-436, 2003

• DOI for The development of the HiPE system: Design and experience report

Experimental Evaluation and Improvements to Linear Scan Register Allocation

Sagonas, Konstantinos; Stenman., Erik

Part of Software - Practice & Experience, p. 1003-1034, 2003

ASTEC: An Experience in the Establishment of Collaboration between Academia and Industry

Jonsson, Bengt; Sagonas, Konstantinos

Part of Springer International Journal on Software Tools for Technology Transfer, p. 401-404, 2003

Heap Memory Management in Prolog with Tabling: Practice and Experience

Demoen, Bart; Sagonas, Konstantinos

Part of Journal of Functional and Logic Programming: Special Issue on Selected Best Papers from PADL 2000, p. 1-56, 2001

Termination Proofs for Logic Programs with Tabling

Verbaeten, Sofie; Sagonas, Konstantinos; De Schreye, Danny

Part of ACM Transactions on Computational Logic, p. 57-92, 2001

CAT: the Copying Approach to Tabling

Demoen, Bart; Sagonas, Konstantinos

Part of Journal of Functional and Logic Programming: Special Issue on Selected Best Papers from PLILP/ALP'98, p. 1-38, 1999

Trading Space for Simplicity in Stateless Model Checking

Abdulla, Parosh; Atig, Mohamed Faouzi; Das, Sarbojit; Jonsson, Bengt et al.

Part of Real Time and Such, p. 79-97, Springer, 2024

• DOI for Trading Space for Simplicity in Stateless Model Checking

Comparing source sets and persistent sets for partial order reduction

Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos

Part of Models, Algorithms, Logics and Tools, p. 516-536, Springer, 2017

• DOI for Comparing source sets and persistent sets for partial order reduction

Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP

Asadian, Hooman; Fiterău-Broştean, Paul; Jonsson, Bengt; Sagonas, Konstantinos

Part of 2024 IEEE Conference on Standards for Communications and Networking (CSCN), p. 48-54, 2024

• DOI for Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP

Parsimonious Optimal Dynamic Partial Order Reduction

Abdulla, Parosh; Atig, Mohamed Faouzi; Das, Sarbojit; Jonsson, Bengt et al.

2024

• Download full text (pdf) of Parsimonious Optimal Dynamic Partial Order Reduction

A First Exploration of Fine-Grain Coherence for Integrity Metadata

Ekemark, Per; Ros, Alberto; Sagonas, Konstantinos; Kaxiras, Stefanos

Part of 2024 INTERNATIONAL SYMPOSIUM ON SECURE AND PRIVATE EXECUTION ENVIRONMENT DESIGN, SEED 2024, p. 62-72, 2024

• DOI for A First Exploration of Fine-Grain Coherence for Integrity Metadata

Parsimonious Optimal Dynamic Partial Order Reduction

Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Das, Sarbojit; Jonsson, Bengt et al.

Part of COMPUTER AIDED VERIFICATION, PT II, CAV 2024, p. 19-43, 2024

• DOI for Parsimonious Optimal Dynamic Partial Order Reduction
• Download full text (pdf) of Parsimonious Optimal Dynamic Partial Order Reduction

Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution

Asadian, Hooman; Fiterau-Brostean, Paul; Jonsson, Bengt; Sagonas, Konstantinos

Part of 19TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY, ARES 2024, 2024

• DOI for Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution

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

Fiterau-Brostean, Paul; Jonsson, Bengt; Sagonas, Konstantinos; Tåquist, Fredrik

Part of PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, p. 1866-1870, 2024

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

Scalable Tree-based Register Automata Learning

Dierl, Simon; Fiterau-Brostean, Paul; Howar, Falk; Jonsson, Bengt et al.

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 87-108, 2024

• DOI for Scalable Tree-based Register Automata Learning
• Download full text (pdf) of Scalable Tree-based Register Automata Learning

Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs

Abdulla, Parosh; Atig, Mohamed Faouzi; Meyer Bønneland, Frederik; Das, Sarbojit et al.

Part of Automated Technology for Verification and Analysis, p. 176-198, 2023

• DOI for Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs
• Download full text (pdf) of Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs

EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer

Sagonas, Konstantinos; Typaldos, Thanasis

Part of Proceedings of the 32nd ACM Sigsoft International Symposium on Software Testing and Analysis, ISSTA 2023, p. 1495-1498, 2023

• DOI for EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
• Download full text (pdf) of EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer

So Many Fuzzers, So Little Time: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack

Poncelet, Clément; Sagonas, Konstantinos; Tsiftes, Nicolas

Part of ASE '22, 2022

• DOI for So Many Fuzzers, So Little Time: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack
• Download full text (pdf) of So Many Fuzzers, So Little Time: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack

Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens

Jonsson, Bengt; Lång, Magnus; Sagonas, Konstantinos

Part of 2022 Formal Methods in Computer-Aided Design (FMCAD), p. 284-293, 2022

• DOI for Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens
• Download full text (pdf) of Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens

DTLS-Fuzzer: A DTLS Protocol State Fuzzer

Fiterau-Brostean, Paul; Jonsson, Bengt; Sagonas, Konstantinos; Tåquist, Fredrik

Part of 2022 IEEE 15th International Conference on Software Testing, Verification and Validation (ICST 2022), p. 456-458, 2022

• DOI for DTLS-Fuzzer: A DTLS Protocol State Fuzzer

Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification

Asadian, Hooman; Fiterau-Brostean, Paul; Jonsson, Bengt; Sagonas, Konstantinos

Part of 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), p. 70-81, 2022

• DOI for Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification

TSOPER: Efficient Coherence-Based Strict Persistency

Ekemark, Per; Yao, Yuan; Ros, Alberto; Sagonas, Konstantinos et al.

Part of 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA), p. 125-138, 2021

• DOI for TSOPER: Efficient Coherence-Based Strict Persistency

Fifteen Years of Successfully Dialyzing Erlang and Elixir Code: Abstract

Sagonas, Konstantinos

Part of Erlang '21, p. 1-1, 2021

• DOI for Fifteen Years of Successfully Dialyzing Erlang and Elixir Code: Abstract

Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers

van Heerden, Phillip; Raselimo, Moeketsi; Sagonas, Konstantinos; Fischer, Bernd

Part of Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, p. 253-269, 2020

• DOI for Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers

Analysis of DTLS Implementations Using Protocol State Fuzzing

Fiterau-Brostean, Paul; Jonsson, Bengt; Merget, Robert; de Ruiter, Joeri et al.

Part of Proceedings of the 29th USENIX Security Symposium, p. 2523-2540, 2020

• Download full text (pdf) of Analysis of DTLS Implementations Using Protocol State Fuzzing

Parallel Graph-Based Stateless Model Checking

Lång, Magnus; Sagonas, Konstantinos

Part of Automated Technology for Verification and Analysis, p. 377-393, 2020

• DOI for Parallel Graph-Based Stateless Model Checking

Concolic Testing of Higher-order Functional Languages

Sagonas, Konstantinos

Part of Electronic Proceedings in Theoretical Computer Science, p. 2-2, 2019

Optimal dynamic partial order reduction with observers

Aronis, Stavros; Jonsson, Bengt; Lång, Magnus; Sagonas, Konstantinos

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 229-248, 2018

• DOI for Optimal dynamic partial order reduction with observers
• Download full text (pdf) of Optimal dynamic partial order reduction with observers

Progress on Algorithms for Stateless Model Checking

Sagonas, Konstantinos

Part of Proceedings of the Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018

• DOI for Progress on Algorithms for Stateless Model Checking

Lock-free Contention Adapting Search Trees

Winblad, Kjell; Sagonas, Konstantinos; Jonsson, Bengt

Part of The 30th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2018, 2018

• DOI for Lock-free Contention Adapting Search Trees

HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang

Kallas, Konstantinos; Sagonas, Konstantinos

Part of Proceedings of the 30th Symposium on Implementation and Application ff Functional Languages (IFL 2018), p. 25-36, 2018

• DOI for HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang

Automating Targeted Property-Based Testing

Löscher, Andreas; Sagonas, Konstantinos

Part of IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), p. 70-80, 2018

• DOI for Automating Targeted Property-Based Testing

Targeted property-based testing

Löscher, Andreas; Sagonas, Konstantinos

Part of Proc. 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, p. 46-56, 2017

• DOI for Targeted property-based testing

Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)

Kokologiannakis, Michalis; Sagonas, Konstantinos

Part of Proc. 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, p. 172-181, 2017

• DOI for Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)

The shared-memory interferences of Erlang/OTP built-ins

Aronis, Stavros; Sagonas, Konstantinos

Part of Proceedings Of The 16Th Acm Sigplan International Workshop On Erlang (Erlang '17), p. 43-54, 2017

• DOI for The shared-memory interferences of Erlang/OTP built-ins
• Download full text (pdf) of The shared-memory interferences of Erlang/OTP built-ins

The Contention Avoiding Concurrent Priority Queue

Sagonas, Konstantinos; Winblad, Kjell

Part of Languages and Compilers for Parallel Computing, p. 314-330, 2017

• DOI for The Contention Avoiding Concurrent Priority Queue

Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking

Aronis, Stavros; Sagonas, Konstantinos; Lystig Fritchie, Scott

p. 227-242, 2017

• DOI for Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking
• Download full text (pdf) of Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking

The Nifty way to call hell from heaven

Löscher, Andreas; Sagonas, Konstantinos

Part of Proc. 15th International Workshop on Erlang, p. 1-11, 2016

• DOI for The Nifty way to call hell from heaven

Concolic Testing for Functional Languages

Giantsios, Aggelos; Papaspyrou, Nikolaos; Sagonas, Konstantinos

Part of Proceedings of the 17th international symposium on principles and practice of declarative programming (PPDP 2015), p. 137-148, 2015

• DOI for Concolic Testing for Functional Languages

Property-Based Testing of Sensor Networks

Löscher, Andreas; Sagonas, Konstantinos; Voigt, Thiemo

Part of Proc. 12th International Conference on Sensing, Communication, and Networking, p. 100-108, 2015

Enabling design of performance-controlled sensor network applications through task allocation and reallocation

Elsts, Atis; Hassani Bijarbooneh, Farshid; Jacobsson, Martin; Sagonas, Konstantinos

Part of Proc. 11th International Conference on Distributed Computing in Sensor Systems, p. 248-253, 2015

• DOI for Enabling design of performance-controlled sensor network applications through task allocation and reallocation
• Download full text (pdf) of Enabling design of performance-controlled sensor network applications through task allocation and reallocation

ProFuN TG: A Tool Using Abstract Task Graphs to Facilitate the Development, Deployment and Maintenance of Wireless Sensor Network Applications

Elsts, Atis; Hassani Bijarbooneh, Farshid; Jacobsson, Martin; Sagonas, Konstantinos

Part of Proc. Poster/Demo Session, p. 19-20, 2015

Stateless model checking for TSO and PSO

Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt et al.

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 353-367, 2015

• DOI for Stateless model checking for TSO and PSO

Contention adapting search trees

Sagonas, Konstantinos; Winblad, Kjell

Part of Proc. 14th International Symposium on Parallel and Distributed Computing, p. 215-224, 2015

• DOI for Contention adapting search trees

ProFuN TG: A tool for programming and managing performance-aware sensor network applications

Elsts, Atis; Hassani Bijarbooneh, Farshid; Jacobsson, Martin; Sagonas, Konstantinos

Part of IEEE 40th Local Computer Networks Conference Workshops (LCN Workshops), p. 751-759, 2015

• DOI for ProFuN TG: A tool for programming and managing performance-aware sensor network applications
• Download full text (pdf) of ProFuN TG: A tool for programming and managing performance-aware sensor network applications

ProFuN TG: Programming Sensornets with Task Graphs for Increased Reliability and Energy-Efficiency

Elsts, Atis; Hassani Bijarbooneh, Farshid; Jacobsson, Martin; Sagonas, Konstantinos

2015

• Download full text (pdf) of ProFuN TG: Programming Sensornets with Task Graphs for Increased Reliability and Energy-Efficiency

More scalable ordered set for ETS using adaptation

Sagonas, Konstantinos; Winblad, Kjell

Part of Proc. 13th ACM SIGPLAN Workshop on Erlang, p. 3-11, 2014

• DOI for More scalable ordered set for ETS using adaptation

Delegation locking libraries for improved performance of multithreaded programs

Klaftenegger, David; Sagonas, Konstantinos; Winblad, Kjell

Part of Euro-Par 2014, p. 572-583, 2014

• DOI for Delegation locking libraries for improved performance of multithreaded programs

Optimal dynamic partial order reduction

Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos

Part of Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, p. 373-384, 2014

• DOI for Optimal dynamic partial order reduction

Brief announcement: queue delegation locking

Klaftenegger, David; Sagonas, Konstantinos; Winblad, Kjell

Part of Proc. 26th ACM Symposium on Parallelism in Algorithms and Architectures, p. 70-72, 2014

• DOI for Brief announcement: queue delegation locking
• Download full text (pdf) of Brief announcement: queue delegation locking

On the scalability of the Erlang term storage

Klaftenegger, David; Sagonas, Konstantinos; Winblad, Kjell

Part of Proc. 12th ACM SIGPLAN Workshop on Erlang, p. 15-26, 2013

• DOI for On the scalability of the Erlang term storage

On using Erlang for parallelization: Experience from parallelizing Dialyzer

Aronis, Stavros; Sagonas, Konstantinos

Part of Trends in Functional Programming, p. 295-310, 2013

• DOI for On using Erlang for parallelization: Experience from parallelizing Dialyzer

Systematic testing for detecting concurrency errors in Erlang programs

Christakis, Maria; Gotovos, Alkis; Sagonas, Konstantinos

Part of Proc. 6th International Conference on Software Testing, Verification and Validation, p. 154-163, 2013

• DOI for Systematic testing for detecting concurrency errors in Erlang programs

RELEASE: A high-level paradigm for reliable large-scale server software

Boudeville, Olivier; Cesarini, Francesco; Chechina, Natalia; Lundin, Kenneth et al.

Part of Trends in Functional Programming, p. 263-278, 2013

• DOI for RELEASE: A high-level paradigm for reliable large-scale server software

Precise explanation of success typing errors

Sagonas, Konstantinos; Silva, Josep; Tamarit, Salvador

Part of Proc. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, p. 33-42, 2013

• DOI for Precise explanation of success typing errors

A scalability benchmark suite for Erlang/OTP

Aronis, Stavros; Papaspyrou, Nikolaos; Roukounaki, Katerina; Sagonas, Konstantinos et al.

Part of Proc. 11th ACM SIGPLAN Workshop on Erlang, p. 33-42, 2012

• DOI for A scalability benchmark suite for Erlang/OTP

ErLLVM: An LLVM backend for Erlang

Sagonas, Konstantinos; Stavrakakis, Chris; Tsiouris, Yiannis

Part of Proc. 11th ACM SIGPLAN Workshop on Erlang, p. 21-32, 2012

• DOI for ErLLVM: An LLVM backend for Erlang

On preserving term sharing in the Erlang virtual machine

Papaspyrou, Nikolaos; Sagonas, Konstantinos

Part of Proc. 11th ACM SIGPLAN Workshop on Erlang, p. 11-20, 2012

• DOI for On preserving term sharing in the Erlang virtual machine

A type and effect system for deadlock avoidance in low-level languages

Gerakios, Prodromos; Papaspyrou, Nikolaos; Sagonas, Konstantinos

Part of Proc. 6th International Workshop on Types in Language Design and Implementation, p. 15-28, 2011

• DOI for A type and effect system for deadlock avoidance in low-level languages

Detection of asynchronous message passing errors using static analysis

Christakis, Maria; Sagonas, Konstantinos

Part of Practical Aspects of Declarative Languages, p. 5-18, 2011

• DOI for Detection of asynchronous message passing errors using static analysis

A concurrent language with a uniform treatment of regions and locks

Gerakios, Prodromos; Papaspyrou, Nikolaos; Sagonas, Konstantinos

Part of Proc. 2nd Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, p. 79-93, 2010

• DOI for A concurrent language with a uniform treatment of regions and locks

Using static analysis to detect type errors and concurrency defects in Erlang programs

Sagonas, Konstantinos

Part of Functional and Logic Programming, p. 13-18, 2010

• DOI for Using static analysis to detect type errors and concurrency defects in Erlang programs

Race-free and memory-safe multithreading: Design and implementation in Cyclone

Gerakios, Prodromos; Papaspyrou, Nikolaos; Sagonas, Konstantinos

Part of Proc. 5th International Workshop on Types in Language Design and Implementation, p. 15-26, 2010

• DOI for Race-free and memory-safe multithreading: Design and implementation in Cyclone

Static detection of race conditions in Erlang

Christakis, Maria; Sagonas, Konstantinos

Part of Practical Aspects of Declarative Languages, p. 119-133, 2010

• DOI for Static detection of race conditions in Erlang

Automatic refactoring of Erlang programs

Sagonas, Konstantinos; Avgerinos, Thanassis

Part of Proc. 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, p. 13-23, 2009

• DOI for Automatic refactoring of Erlang programs

Gradual Typing of Erlang Programs: A Wrangler Experience

Sagonas, Konstantinos; Luna, Daniel

Part of Proc. 7th ACM SIGPLAN Workshop on ERLANG, p. 73-81, 2008

• DOI for Gradual Typing of Erlang Programs: A Wrangler Experience

Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang

Gustafsson, Per; Sagonas, Konstantinos

Part of Practical Aspects of Declarative Languages, p. 94-108, 2007

• DOI for Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang

Demand-Driven Indexing of Prolog Clauses

Santos Costa, Vítor; Sagonas, Konstantinos; Lopes, Ricardo

Part of Logic Programming, p. 395-409, 2007

• DOI for Demand-Driven Indexing of Prolog Clauses

Detecting defects in Erlang programs using static analysis

Sagonas, Konstantinos

Part of Proc. 9th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, p. 37-37, 2007

A language for specifying type contracts in Erlang and its interaction with success typings

Jiménez, Miguel; Lindahl, Tobias; Sagonas, Konstantinos

Part of Proc. 6th ACM SIGPLAN Workshop on ERLANG, p. 11-17, 2007

• DOI for A language for specifying type contracts in Erlang and its interaction with success typings

Practical type inference based on success typings

Lindahl, Tobias; Sagonas, Konstantinos

Part of Proc. 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, p. 167-178, 2006

• DOI for Practical type inference based on success typings

Tabling in Mercury: Design and Implementation

Sagonas, Konstantinos; Somogyi, Zoltan

Part of PADL'06, 2006

Mark and Split

Sagonas, Konstantinos; Wilhelmsson, Jesper

Part of ISSM'06, 2006

Bit-level binaries and generalized comprehensions in Erlang

Sagonas, Konstantinos; Gustafsson, Per

Part of Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, 2005

TypEr: A Type Annotator of Erlang Code

Sagonas, Konstantinos; Lindahl, Tobias

Part of Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, p. 17-25, 2005

Efficiently Compiling a Functional Language on AMD64: The HiPE Experience

Sagonas, Konstantinos; Pettersson, Mikael; Luna, Daniel

Part of PPDP 2005, 2005

Bit-level Binaries and Generalized Comprehensions in Erlang

Gustafsson, Per; Sagonas, Konstantinos

Part of Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, p. 1-8, 2005

Efficiently Compiling a Functional Language on AMD64: The HiPE Experience

Luna, Daniel; Pettersson, Mikael; Sagonas, Konstantinos

Part of Proceedings of the Seventh ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, p. 176-186, 2005

Experience from Developing the Dialyzer: A Static Analysis Tool Detecting Defects in Erlang Applications

Sagonas, Konstantinos

Part of Proceedings of ACM SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools, 2005

Message Analysis-Guided Allocation and Low-Pause Incremental Garbage Collection in a Concurrent Language

Sagonas, Konstantinos; Wilhelmsson, Jesper

Part of In Proceedings of ISMM'04: ACM SIGPLAN International Symposium on Memory Management, p. 1-12, 2004

HiPE on AMD64

Luna, Daniel; Pettersson, Mikael; Sagonas, Konstantinos

Part of In Proceedings of the Third ACM SIGPLAN Erlang Workshop, p. 38-47, 2004

Just Enough Tabling

Sagonas, Konstantinos; Stuckey, Peter J.

Part of In Proceedings of the Sixth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, p. 78-89, 2004

Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story

Lindahl, Tobias; Sagonas, Konstantinos

Part of In Programming Languages and Systems: Proceedings of the Second Asian Symposium, p. 91-106, 2004

Adaptive Pattern Matching on Binary Data

Gustafsson, Per; Sagonas, Konstantinos

Part of In Programming Languages and Systems. Proceedings of the 13th European Symposium On Programming, p. 124-139, 2004

All you wanted to know about the HiPE compiler: (but might have been afraid to ask)

Sagonas, Konstantinos; Pettersson, Mikael; Carlsson, Richard; Gustafsson, Per et al.

Part of Proceedings of the Second ACM SIGPLAN Erlang Workshop, p. 36-43, 2003

Message Analysis for Concurrent Languages

Carlsson, Richard; Sagonas, Konstantinos; Wilhelmsson, Jesper

Part of In Proceedings of the Static Analysis Symposium, p. 73-90, 2003

On Enabling the WAM with Region Support

Makholm, Henning; Sagonas, Konstantinos

Part of Proceedings of the International Conference on Logic Programming, p. 163-178, 2002

Segment Order Preserving and Generational Garbage Collection for Prolog

Vandeginste, Ruben; Demoen, Bart; Sagonas, Konstantinos

Part of In Practical Aspects of Declarative Languages: Proceedings of the PADL 2002 Symposium, p. 299-317, 2002

Heap Architectures for Concurrent Languages using Message Passing

Johansson, Erik; Sagonas, Konstantinos; Wilhelmsson, Jesper

Part of Proceedings of ISMM'2002: ACM SIGPLAN International Symposium on Memory Management, p. 88-99, 2002

On Reducing Interprocess Communication Overhead in Concurrent Programs.

Stenman, Erik; Sagonas, Konstantinos

Part of Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, p. 58-63, 2002

Native Code Compilation of Erlang's Bit Syntax

Gustafsson, Per; Sagonas, Konstantinos

Part of Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, p. 6-15, 2002

Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.

Lindahl, Tobias; Sagonas, Konstantinos

Part of Proceedings of the 14th International Workshop on the Implementation of Functional Languages (IFL 2002). Madrid, Spain, September 2002. LNCS., 2002

The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.

Pettersson, Mikael; Sagonas, Konstantinos; Johansson, Erik

Part of Proceedings of the 6th International Symposium on Functional and Logic Programming, Aizu, Japan, September 2002. Springer, p. 228-244, 2002

Linear Scan Register Allocation in a High-Performance Erlang Compiler.

Johansson, Erik; Sagonas, Konstantinos

Part of # Practical Aspects of Declarative Languages: Proceedings of the PADL 2002 Symposium, Portland, Oregon., p. 299-317, 2002

Modular termination proofs for Prolog with tabling

Verbaeten, Sofie; Sagonas, Konstantinos; De Schreye, Danny

Part of Principles and Practice of Declarative Programming, p. 342-359, 1999

• DOI for Modular termination proofs for Prolog with tabling

Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations

Fiterau-Brostean, Paul; Jonsson, Bengt; Sagonas, Konstantinos; Tåquist, Fredrik

Part of Proc. 30th Annual Network and Distributed System Security Symposium, NDSS

• DOI for Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations

Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings

Nakano, Keisuke; Sagonas, Konstantinos

2020

• DOI for Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings

Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang

Sagonas, Konstantinos; Armstrong, Joe

2005