| 2026 | CAV | PSF: A Generic and Extensible Framework for Protocol State Fuzzing. | Konstantinos Sagonas, Thanos Typaldos |
| 2024 | CAV | Parsimonious Optimal Dynamic Partial Order Reduction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas |
| 2024 | ISSTA | SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs. | Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tquist |
| 2024 | TACAS | Scalable Tree-based Register Automata Learning. | Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tquist |
| 2023 | ATVA | Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bnneland, Sarbojit Das, Bengt Jonsson, Magnus Lng, Konstantinos Sagonas |
| 2023 | ISSTA | EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer. | Konstantinos Sagonas, Thanasis Typaldos |
| 2023 | NDSS | Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. | Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tquist |
| 2022 | FMCAD | Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. | Bengt Jonsson, Magnus Lng, Konstantinos Sagonas |
| 2022 | ICST | Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. | Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas |
| 2022 | ICST | DTLS-Fuzzer: A DTLS Protocol State Fuzzer. | Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tquist |
| 2021 | HPCA | TSOPER: Efficient Coherence-Based Strict Persistency. | Per Ekemark, Yuan Yao, Alberto Ros, Konstantinos Sagonas, Stefanos Kaxiras |
| 2020 | ATVA | Parallel Graph-Based Stateless Model Checking. | Magnus Lng, Konstantinos Sagonas |
| 2020 | SLE | Grammar-based testing for little languages: an experience report with student compilers. | Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer |
| 2018 | ICST | Automating Targeted Property-Based Testing. | Andreas Lscher, Konstantinos Sagonas |
| 2018 | SPAA | Lock-free Contention Adapting Search Trees. | Kjell Winblad, Konstantinos Sagonas, Bengt Jonsson |
| 2018 | TACAS | Optimal Dynamic Partial Order Reduction with Observers. | Stavros Aronis, Bengt Jonsson, Magnus Lng, Konstantinos Sagonas |
| 2017 | IFM | Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. | Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas |
| 2017 | ISSTA | Targeted property-based testing. | Andreas Lscher, Konstantinos Sagonas |
| 2015 | DCOSS | Enabling Design of Performance-Controlled Sensor Network Applications through Task Allocation and Reallocation. | Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson, Konstantinos Sagonas |
| 2015 | HPDC | Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory. | Stefanos Kaxiras, David Klaftenegger, Magnus Norgren, Alberto Ros, Konstantinos Sagonas |
| 2015 | ISPDC | Contention Adapting Search Trees. | Konstantinos Sagonas, Kjell Winblad |
| 2015 | LCN | ProFuN TG: A tool for programming and managing performance-aware sensor network applications. | Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson, Konstantinos Sagonas |
| 2015 | PPDP | Concolic testing for functional languages. | Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstantinos Sagonas |
| 2015 | SECON | Property-based testing of sensor networks. | Andreas Lscher, Konstantinos Sagonas, Thiemo Voigt |
| 2015 | TACAS | Stateless Model Checking for TSO and PSO. | Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas |
| 2014 | EuroPar | Delegation Locking Libraries for Improved Performance of Multithreaded Programs. | David Klaftenegger, Konstantinos Sagonas, Kjell Winblad |
| 2014 | POPL | Optimal dynamic partial order reduction. | Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas |
| 2014 | SPAA | Brief announcement: queue delegation locking. | David Klaftenegger, Konstantinos Sagonas, Kjell Winblad |
| 2013 | ICST | Systematic Testing for Detecting Concurrency Errors in Erlang Programs. | Maria Christakis, Alkis Gotovos, Konstantinos Sagonas |
| 2013 | PEPM | Precise explanation of success typing errors. | Konstantinos Sagonas, Josep Silva, Salvador Tamarit |
| 2011 | PADL | Detection of Asynchronous Message Passing Errors Using Static Analysis. | Maria Christakis, Konstantinos Sagonas |
| 2011 | SOSP | Dynamic deadlock avoidance in systems code using statically inferred effects. | Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris |
| 2010 | FLOPS | Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs. | Konstantinos Sagonas |
| 2010 | PADL | Static Detection of Race Conditions in Erlang. | Maria Christakis, Konstantinos Sagonas |
| 2009 | PPDP | Automatic refactoring of Erlang programs. | Konstantinos Sagonas, Thanassis Avgerinos |
| 2007 | ICLP | Demand-Driven Indexing of Prolog Clauses. | Vtor Santos Costa, Konstantinos Sagonas, Ricardo Lopes |
| 2007 | PADL | Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. | Per Gustafsson, Konstantinos Sagonas |
| 2007 | PPDP | Detecting defects in Erlang programs using static analysis. | Konstantinos Sagonas |
| 2006 | PADL | Tabling in Mercury: Design and Implementation. | Zoltan Somogyi, Konstantinos Sagonas |
| 2006 | PPDP | Practical type inference based on success typings. | Tobias Lindahl, Konstantinos Sagonas |
| 2005 | PPDP | Efficiently compiling a functional language on AMD64: the HiPE experience. | Daniel Luna, Mikael Pettersson, Konstantinos Sagonas |
| 2004 | APLAS | Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. | Tobias Lindahl, Konstantinos Sagonas |
| 2004 | ESOP | Adaptive Pattern Matching on Binary Data. | Per Gustafsson, Konstantinos Sagonas |
| 2004 | PPDP | Just enough tabling. | Konstantinos Sagonas, Peter J. Stuckey |
| 2003 | SAS | Message Analysis for Concurrent Languages. | Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson |
| 2002 | FLOPS | The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. | Mikael Pettersson, Konstantinos Sagonas, Erik Johansson |
| 2002 | ICLP | On Enabling the WAM with Region Support. | Henning Makholm, Konstantinos Sagonas |
| 2002 | PADL | Linear Scan Register Allocation in a High-Performance Erlang Compiler. | Erik Johansson, Konstantinos Sagonas |
| 2002 | PADL | Segment Order Preserving and Generational Garbage Collection for Prolog. | Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen |
| 2001 | PPDP | Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. | Henrik Nssn, Mats Carlsson, Konstantinos Sagonas |
| 2000 | PADL | Heap Garbage Collection in XSB: Practice and Experience. | Bart Demoen, Konstantinos Sagonas |
| 2000 | PPDP | A high performance Erlang system. | Erik Johansson, Mikael Pettersson, Konstantinos Sagonas |
| 1999 | LPAR | CHAT Is Theta(SLG-Wam). | Bart Demoen, Konstantinos Sagonas |
| 1999 | PADL | CHAT: The Copy-Hybrid Approach to Tabling. | Bart Demoen, Konstantinos Sagonas |
| 1999 | PPDP | Modular Termination Proofs for Prolog with Tabling. | Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye |
| 1998 | ESOP | A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. | Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas |
| 1997 | ICLP | XSB as the Natural Habitat for General Purpose Program Analysis. | Michael Codish, Bart Demoen, Konstantinos Sagonas |
| 1997 | LOPSTR | Termination Analysis for Tabled Logic Programming. | Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas |
| 1997 | LOPSTR | Preserving Termination of Tabled Logic Programs While Unfolding. | Michael Leuschel, Bern Martens, Konstantinos Sagonas |
| 1997 | LPNMR | XSB: A System for Effciently Computing WFS. | Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire |
| 1996 | CADE | An Abstract Machine for Fixed-Order Dynamically Stratified Programs. | Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1996 | ICLP | An Abstract Machine for Computing the Well-Founded Semantics. | Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1995 | ICLP | Efficient Tabling Mechanisms for Logic Programs. | I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1995 | ICLP | Efficient Execution of HiLog in WAM-based Prolog Implementations. | Konstantinos Sagonas, David Scott Warren |
| 1995 | POPL | Unification Factoring for Efficient Execution of Logic Programs. | Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren |
| 1994 | SIGMOD | XSB as an Efficient Deductive Database Engine. | Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1994 | SIGMOD | XSB as a Deductive Database. | Konstantinos Sagonas, Terrance Swift, David Scott Warren |