default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKonstantinos Sagonas
Kostis Sagonas – Konstantinos F. Sagonas
Person information
- affiliation: Uppsala University, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2021
[j28]Kjell Winblad, Konstantinos Sagonas
, Bengt Jonsson:
Lock-free Contention Adapting Search Trees. ACM Trans. Parallel Comput. 8(2): 10:1-10:38 (2021)- 2019
- [j27]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas:
Optimal stateless model checking for reads-from equivalence under sequential consistency. Proc. ACM Program. Lang. 3(OOPSLA): 150:1-150:29 (2019) - [j26]Michalis Kokologiannakis, Konstantinos Sagonas:
Stateless model checking of the Linux kernel's read-copy update (RCU). Int. J. Softw. Tools Technol. Transf. 21(3): 287-306 (2019) - 2018
- [j25]Konstantinos Sagonas, Kjell Winblad:
A contention adapting approach to concurrent ordered sets. J. Parallel Distributed Comput. 115: 1-19 (2018) - [j24]Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas, Viktor Vafeiadis:
Effective stateless model checking for C/C++ concurrency. Proc. ACM Program. Lang. 2(POPL): 17:1-17:32 (2018) - [j23]David Klaftenegger, Konstantinos Sagonas, Kjell Winblad:
Queue Delegation Locking. IEEE Trans. Parallel Distributed Syst. 29(3): 687-704 (2018) - 2017
- [j22]Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas:
Stateless model checking for TSO and PSO. Acta Informatica 54(8): 789-818 (2017) - [j21]Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas:
Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. J. ACM 64(4): 25:1-25:49 (2017) - [j20]Kenichi Asai, Konstantinos Sagonas:
Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15). Sci. Comput. Program. 137: 1 (2017) - [j19]Aggelos Giantsios, Nikolaos Papaspyrou, Konstantinos Sagonas:
Concolic testing for functional languages. Sci. Comput. Program. 147: 109-134 (2017) - [j18]Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad:
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. 39(4): 17:1-17:46 (2017) - 2014
- [j17]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
Static safety guarantees for a low-level multithreaded language with regions. Sci. Comput. Program. 80: 223-263 (2014) - 2006
- [j16]Per Gustafsson, Konstantinos Sagonas:
Efficient manipulation of binary data using pattern matching. J. Funct. Program. 16(1): 35-74 (2006) - [j15]Konstantinos Sagonas, Jesper Wilhelmsson:
Efficient memory management for concurrent programs that use message passing. Sci. Comput. Program. 62(2): 98-121 (2006) - [j14]Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson:
Message analysis for concurrent programs using message passing. ACM Trans. Program. Lang. Syst. 28(4): 715-746 (2006) - 2003
- [j13]Konstantinos Sagonas, Erik Stenman:
Experimental evaluation and improvements to linear scan register allocation. Softw. Pract. Exp. 33(11): 1003-1034 (2003) - [j12]Bengt Jonsson, Konstantinos Sagonas:
Preface by the section editors. Int. J. Softw. Tools Technol. Transf. 4(4): 401-404 (2003) - [j11]Erik Johansson, Mikael Pettersson, Konstantinos Sagonas, Thomas Lindgren:
The development of the HiPE system: design and experience report. Int. J. Softw. Tools Technol. Transf. 4(4): 421-436 (2003) - 2001
- [j10]Bart Demoen, Konstantinos Sagonas:
Heap Memory Management in Prolog with Tabling: Principles and Practice. J. Funct. Log. Program. 2001(9) (2001) - [j9]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
The limits of fixed-order computation. Theor. Comput. Sci. 254(1-2): 465-499 (2001) - [j8]Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas:
Termination proofs for logic programs with tabling. ACM Trans. Comput. Log. 2(1): 57-92 (2001) - 2000
- [j7]Bart Demoen, Konstantinos Sagonas:
CHAT: the copy-hybrid approach to tabling. Future Gener. Comput. Syst. 16(7): 809-830 (2000) - [j6]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
An abstract machine for efficiently computing queries to well-founded models. J. Log. Program. 45(1-3): 1-41 (2000) - 1999
- [j5]Bart Demoen, Konstantinos Sagonas:
CAT: The Copying Approach to Tabling. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - [j4]I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren:
Efficient Access Mechanisms for Tabled Logic Programs. J. Log. Program. 38(1): 31-54 (1999) - 1998
- [j3]Konstantinos Sagonas, Michael Leuschel:
Extending Partial Deduction to Tabled Execution: Some Results and Open Issues. ACM Comput. Surv. 30(3es): 16 (1998) - [j2]Michael Codish, Bart Demoen, Konstantinos Sagonas:
Semantics-Based Program Analysis for Logic-Based Languages Using XSB. Int. J. Softw. Tools Technol. Transf. 2(1): 29-45 (1998) - [j1]Konstantinos Sagonas, Terrance Swift:
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. ACM Trans. Program. Lang. Syst. 20(3): 586-634 (1998)
Conference and Workshop Papers
- 2025
- [c114]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas:
Trading Space for Simplicity in Stateless Model Checking. Real Time and Such 2025: 79-97 - 2024
- [c113]Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas:
Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution. ARES 2024: 17:1-17:12 - [c112]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas:
Parsimonious Optimal Dynamic Partial Order Reduction. CAV (2) 2024: 19-43 - [c111]Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs. ISSTA 2024: 1866-1870 - [c110]Per Ekemark, Alberto Ros, Konstantinos Sagonas, Stefanos Kaxiras:
A First Exploration of Fine-Grain Coherence for Integrity Metadata. SEED 2024: 62-72 - [c109]Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Scalable Tree-based Register Automata Learning. TACAS (2) 2024: 87-108 - 2023
- [c108]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. ATVA 2023: 176-198 - [c107]Konstantinos Sagonas, Thanasis Typaldos:
EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer. ISSTA 2023: 1495-1498 - [c106]Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. NDSS 2023 - 2022
- [c105]Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. FMCAD 2022: 284-293 - [c104]Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas:
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. ICST 2022: 70-81 - [c103]Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
DTLS-Fuzzer: A DTLS Protocol State Fuzzer. ICST 2022: 456-458 - [c102]Clement Poncelet, Konstantinos Sagonas, Nicolas Tsiftes:
So Many Fuzzers, So Little Time✱: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack. ASE 2022: 95:1-95:12 - 2021
- [c101]Konstantinos Sagonas:
Fifteen years of successfully dialyzing Erlang and Elixir code (invited talk). Erlang Workshop 2021: 1 - [c100]Per Ekemark, Yuan Yao, Alberto Ros, Konstantinos Sagonas, Stefanos Kaxiras:
TSOPER: Efficient Coherence-Based Strict Persistency. HPCA 2021: 125-138 - 2020
- [c99]Magnus Lång, Konstantinos Sagonas:
Parallel Graph-Based Stateless Model Checking. ATVA 2020: 377-393 - [c98]Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer:
Grammar-based testing for little languages: an experience report with student compilers. SLE 2020: 253-269 - [c97]Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky:
Analysis of DTLS Implementations Using Protocol State Fuzzing. USENIX Security Symposium 2020: 2523-2540 - 2018
- [c96]Andreas Löscher, Konstantinos Sagonas:
Automating Targeted Property-Based Testing. ICST 2018: 70-80 - [c95]Konstantinos Kallas, Konstantinos Sagonas:
HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang. IFL 2018: 25-36 - [c94]Kjell Winblad, Konstantinos Sagonas, Bengt Jonsson:
Lock-free Contention Adapting Search Trees. SPAA 2018: 121-132 - [c93]Stavros Aronis, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Optimal Dynamic Partial Order Reduction with Observers. TACAS (2) 2018: 229-248 - 2017
- [c92]Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas:
Comparing Source Sets and Persistent Sets for Partial Order Reduction. Models, Algorithms, Logics and Tools 2017: 516-536 - [c91]Stavros Aronis, Konstantinos Sagonas:
The shared-memory interferences of Erlang/OTP built-ins. Erlang Workshop 2017: 43-54 - [c90]Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas:
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. IFM 2017: 227-242 - [c89]Andreas Löscher, Konstantinos Sagonas:
Targeted property-based testing. ISSTA 2017: 46-56 - [c88]Michalis Kokologiannakis, Konstantinos Sagonas:
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). SPIN 2017: 172-181 - 2016
- [c87]Andreas Löscher, Konstantinos Sagonas:
The Nifty way to call hell from heaven. Erlang Workshop 2016: 1-11 - [c86]Konstantinos Sagonas, Kjell Winblad:
The Contention Avoiding Concurrent Priority Queue. LCPC 2016: 314-330 - 2015
- [c85]Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson, Konstantinos Sagonas:
Enabling Design of Performance-Controlled Sensor Network Applications through Task Allocation and Reallocation. DCOSS 2015: 248-253 - [c84]Stefanos Kaxiras, David Klaftenegger, Magnus Norgren, Alberto Ros, Konstantinos Sagonas:
Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory. HPDC 2015: 3-14 - [c83]Konstantinos Sagonas, Kjell Winblad:
Contention Adapting Search Trees. ISPDC 2015: 215-224 - [c82]Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson, Konstantinos Sagonas:
ProFuN TG: A tool for programming and managing performance-aware sensor network applications. LCN Workshops 2015: 751-759 - [c81]Konstantinos Sagonas, Kjell Winblad:
Efficient Support for Range Queries and Range Updates Using Contention Adapting Search Trees. LCPC 2015: 37-53 - [c80]Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstantinos Sagonas:
Concolic testing for functional languages. PPDP 2015: 137-148 - [c79]Andreas Löscher, Konstantinos Sagonas, Thiemo Voigt:
Property-based testing of sensor networks. SECON 2015: 100-108 - [c78]Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas:
Stateless Model Checking for TSO and PSO. TACAS 2015: 353-367 - 2014
- [c77]Konstantinos Sagonas, Kjell Winblad:
More scalable ordered set for ETS using adaptation. Erlang Workshop 2014: 3-11 - [c76]David Klaftenegger, Konstantinos Sagonas, Kjell Winblad:
Delegation Locking Libraries for Improved Performance of Multithreaded Programs. Euro-Par 2014: 572-583 - [c75]Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas:
Optimal dynamic partial order reduction. POPL 2014: 373-384 - [c74]David Klaftenegger, Konstantinos Sagonas, Kjell Winblad:
Brief announcement: queue delegation locking. SPAA 2014: 70-72 - 2013
- [c73]David Klaftenegger, Konstantinos Sagonas, Kjell Winblad:
On the scalability of the Erlang term storage. Erlang Workshop 2013: 15-26 - [c72]Maria Christakis, Alkis Gotovos, Konstantinos Sagonas:
Systematic Testing for Detecting Concurrency Errors in Erlang Programs. ICST 2013: 154-163 - [c71]Konstantinos Sagonas, Josep Silva, Salvador Tamarit:
Precise explanation of success typing errors. PEPM 2013: 33-42 - 2012
- [c70]Nikolaos Papaspyrou, Konstantinos Sagonas:
On preserving term sharing in the Erlang virtual machine. Erlang Workshop 2012: 11-20 - [c69]Konstantinos Sagonas, Chris Stavrakakis, Yiannis Tsiouris:
ErLLVM: an LLVM backend for Erlang. Erlang Workshop 2012: 21-32 - [c68]Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, Ioannis E. Venetis:
A scalability benchmark suite for Erlang/OTP. Erlang Workshop 2012: 33-42 - [c67]Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger:
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). Trends in Functional Programming 2012: 263-278 - [c66]Stavros Aronis, Konstantinos Sagonas:
On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer. Trends in Functional Programming 2012: 295-310 - [c65]Leonidas Lampropoulos, Konstantinos Sagonas:
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services. WWV 2012: 3-16 - 2011
- [c64]Stavros Aronis, Konstantinos Sagonas:
Typed callbacks for more robust behaviours. Erlang Workshop 2011: 23-29 - [c63]Manolis Papadakis, Konstantinos Sagonas:
A PropEr integration of types and function specifications with property-based testing. Erlang Workshop 2011: 39-50 - [c62]Alkis Gotovos, Maria Christakis, Konstantinos Sagonas:
Test-driven development of concurrent programs using concuerror. Erlang Workshop 2011: 51-61 - [c61]Maria Christakis, Konstantinos Sagonas:
Detection of Asynchronous Message Passing Errors Using Static Analysis. PADL 2011: 5-18 - [c60]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris:
Dynamic deadlock avoidance in systems code using statically inferred effects. PLOS@SOSP 2011: 5:1-5:5 - [c59]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
A type and effect system for deadlock avoidance in low-level languages. TLDI 2011: 15-28 - 2010
- [c58]Konstantinos Sagonas:
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs. FLOPS 2010: 13-18 - [c57]Mihalis Pitidis, Konstantinos Sagonas:
Purity in Erlang. IFL 2010: 137-152 - [c56]Maria Christakis, Konstantinos Sagonas:
Static Detection of Race Conditions in Erlang. PADL 2010: 119-133 - [c55]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
Race-free and memory-safe multithreading: design and implementation in cyclone. TLDI 2010: 15-26 - [c54]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering. PLACES 2010: 44-58 - 2009
- [c53]Thanassis Avgerinos, Konstantinos Sagonas:
Cleaning up Erlang code is a dirty job but somebody's gotta do it. Erlang Workshop 2009: 1-10 - [c52]Konstantinos Sagonas, Thanassis Avgerinos:
Automatic refactoring of Erlang programs. PPDP 2009: 13-24 - [c51]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
A Concurrent Language with a Uniform Treatment of Regions and Locks. PLACES 2009: 79-93 - 2008
- [c50]Konstantinos Sagonas, Daniel Luna:
Gradual typing of erlang programs: a wrangler experience. Erlang Workshop 2008: 73-82 - 2007
- [c49]Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas:
A language for specifying type contracts in Erlang and its interaction with success typings. Erlang Workshop 2007: 11-17 - [c48]Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes:
Demand-Driven Indexing of Prolog Clauses. ICLP 2007: 395-409 - [c47]Per Gustafsson, Konstantinos Sagonas:
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. PADL 2007: 94-108 - [c46]Konstantinos Sagonas:
Detecting defects in Erlang programs using static analysis. PPDP 2007: 37 - 2006
- [c45]Konstantinos Sagonas, Jesper Wilhelmsson:
Mark and split. ISMM 2006: 29-39 - [c44]Zoltan Somogyi, Konstantinos Sagonas:
Tabling in Mercury: Design and Implementation. PADL 2006: 150-167 - [c43]Tobias Lindahl, Konstantinos Sagonas:
Practical type inference based on success typings. PPDP 2006: 167-178 - 2005
- [c42]Per Gustafsson, Konstantinos Sagonas:
Bit-level binaries and generalized comprehensions in Erlang. Erlang Workshop 2005: 1-8 - [c41]Tobias Lindahl, Konstantinos Sagonas:
TypEr: a type annotator of Erlang code. Erlang Workshop 2005: 17-25 - [c40]Daniel Luna, Mikael Pettersson, Konstantinos Sagonas:
Efficiently compiling a functional language on AMD64: the HiPE experience. PPDP 2005: 176-186 - 2004
- [c39]Tobias Lindahl, Konstantinos Sagonas:
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. APLAS 2004: 91-106 - [c38]Daniel Luna, Mikael Pettersson, Konstantinos Sagonas:
HiPE on AMD64. Erlang Workshop 2004: 38-47 - [c37]Per Gustafsson, Konstantinos Sagonas:
Adaptive Pattern Matching on Binary Data. ESOP 2004: 124-139 - [c36]Konstantinos Sagonas, Jesper Wilhelmsson:
Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language. ISMM 2004: 1-12 - [c35]Konstantinos Sagonas, Peter J. Stuckey:
Just enough tabling. PPDP 2004: 78-89 - 2003
- [c34]Konstantinos Sagonas, Mikael Pettersson, Richard Carlsson, Per Gustafsson, Tobias Lindahl:
All you wanted to know about the HiPE compiler: (but might have been afraid to ask). Erlang Workshop 2003: 36-42 - [c33]Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson:
Message Analysis for Concurrent Languages. SAS 2003: 73-90 - 2002
- [c32]Per Gustafsson, Konstantinos Sagonas:
Native code compilation of Erlang's bit syntax. Erlang Workshop 2002: 6-15 - [c31]Erik Stenman, Konstantinos Sagonas:
On reducing interprocess communication overhead in concurrent programs. Erlang Workshop 2002: 58-63 - [c30]Mikael Pettersson, Konstantinos Sagonas, Erik Johansson:
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. FLOPS 2002: 228-244 - [c29]Henning Makholm, Konstantinos Sagonas:
On Enabling the WAM with Region Support. ICLP 2002: 163-178 - [c28]Tobias Lindahl, Konstantinos Sagonas:
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. IFL 2002: 134-149 - [c27]Erik Johansson, Konstantinos Sagonas, Jesper Wilhelmsson:
Heap architectures for concurrent languages using message passing. MSP/ISMM 2002: 195-206 - [c26]Erik Johansson, Konstantinos Sagonas:
Linear Scan Register Allocation in a High-Performance Erlang Compiler. PADL 2002: 101-119 - [c25]Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen:
Segment Order Preserving and Generational Garbage Collection for Prolog. PADL 2002: 299-317 - 2001
- [c24]Henrik Nässén, Mats Carlsson, Konstantinos Sagonas:
Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. PPDP 2001: 49-60 - 2000
- [c23]Bart Demoen, Konstantinos Sagonas:
Heap Garbage Collection in XSB: Practice and Experience. PADL 2000: 93-108 - [c22]Erik Johansson, Mikael Pettersson, Konstantinos Sagonas:
A high performance Erlang system. PPDP 2000: 32-43 - 1999
- [c21]Bart Demoen, Konstantinos Sagonas:
CHAT Is Theta(SLG-Wam). LPAR 1999: 337-357 - [c20]Bart Demoen, Konstantinos Sagonas:
CHAT: The Copy-Hybrid Approach to Tabling. PADL 1999: 106-121 - [c19]Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye:
Modular Termination Proofs for Prolog with Tabling. PPDP 1999: 342-359 - 1998
- [c18]Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas:
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. ESOP 1998: 27-41 - [c17]Bart Demoen, Konstantinos Sagonas:
Memory Management for Prolog with Tabling. ISMM 1998: 97-106 - [c16]Bart Demoen, Konstantinos Sagonas:
CAT: The Copying Approach to Tabling. PLILP/ALP 1998: 21-35 - [c15]Gerda Janssens, Konstantinos Sagonas:
On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. TAPD 1998: 118-126 - 1997
- [c14]Michael Codish, Bart Demoen, Konstantinos Sagonas:
XSB as the Natural Habitat for General Purpose Program Analysis. ICLP 1997: 416 - [c13]Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas:
Termination Analysis for Tabled Logic Programming. LOPSTR 1997: 111-127 - [c12]Michael Leuschel, Bern Martens, Konstantinos Sagonas:
Preserving Termination of Tabled Logic Programs While Unfolding. LOPSTR 1997: 189-205 - [c11]Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire:
XSB: A System for Effciently Computing WFS. LPNMR 1997: 431-441 - 1996
- [c10]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
An Abstract Machine for Fixed-Order Dynamically Stratified Programs. CADE 1996: 328-342 - [c9]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
An Abstract Machine for Computing the Well-Founded Semantics. JICSLP 1996: 274-288 - [c8]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
The Limits of Fixed-Order Computation. Logic in Databases 1996: 343-363 - 1995
- [c7]Konstantinos Sagonas, David Scott Warren:
Efficient Execution of HiLog in WAM-based Prolog Implementations. ICLP 1995: 349-363 - [c6]I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren:
Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711 - [c5]Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren:
Unification Factoring for Efficient Execution of Logic Programs. POPL 1995: 247-258 - 1994
- [c4]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453 - [c3]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
XSB as a Deductive Database. SIGMOD Conference 1994: 512 - [c2]Konstantinos Sagonas, David Scott Warren:
A Portable Compiler for Integrating HiLog into Prolog Systems. ILPS 1994: 682 - 1993
- [c1]Konstantinos F. Sagonas, Terrance Swift, David Scott Warren:
The XSB Programming System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 164
Editorship
- 2020
- [e6]Keisuke Nakano, Konstantinos Sagonas:
Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings. Lecture Notes in Computer Science 12073, Springer 2020, ISBN 978-3-030-59024-6 [contents] - 2015
- [e5]Kenichi Asai, Kostis Sagonas:
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015. ACM 2015, ISBN 978-1-4503-3297-2 [contents] - 2013
- [e4]Konstantinos Sagonas:
Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings. Lecture Notes in Computer Science 7752, Springer 2013, ISBN 978-3-642-45283-3 [contents] - 2010
- [e3]Scott Lystig Fritchie, Konstantinos Sagonas:
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010. ACM 2010, ISBN 978-1-4503-0253-1 [contents] - 2005
- [e2]Konstantinos Sagonas, Joe Armstrong:
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005. ACM 2005, ISBN 1-59593-066-3 [contents] - 1998
- [e1]Konstantinos Sagonas:
Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, held in conjunction with the Joint International Conference and Symposium on Logic Programming, Manchester, UK, Saturday 20th June, 1998. 1998 [contents]
Data and Artifacts
- 2024
- [d3]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas:
Artifact: Parsimonious Optimal Dynamic Partial Order Reduction. Zenodo, 2024
- [d2]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas:
Artifact: Parsimonious Optimal Dynamic Partial Order Reduction. Zenodo, 2024 - 2019
- [d1]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas:
Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency. Zenodo, 2019
Informal and Other Publications
- 2024
- [i9]Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Scalable Tree-based Register Automata Learning. CoRR abs/2401.14324 (2024) - [i8]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas:
Parsimonious Optimal Dynamic Partial Order Reduction. CoRR abs/2405.11128 (2024) - [i7]Milan Pandurov, Lukas Humbel, Dmitry Sepp, Adamos Ttofari, Leon Thomm, Do Le Quoc, Siddharth Chandrasekaran, Sharan Santhanam, Chuan Ye, Shai Bergman, Wei Wang, Sven Lundgren, Konstantinos Sagonas, Alberto Ros:
Flexible Swapping for the Cloud. CoRR abs/2409.13327 (2024) - 2023
- [i6]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs. CoRR abs/2307.15930 (2023) - 2022
- [i5]Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. CoRR abs/2208.09259 (2022) - 2017
- [i4]Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad:
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR abs/1704.07234 (2017) - 2015
- [i3]Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas:
Stateless Model Checking for TSO and PSO. CoRR abs/1501.02069 (2015) - 2000
- [i2]Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas:
Termination Proofs for Logic Programs with Tabling. CoRR cs.LO/0003045 (2000) - [i1]Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas:
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. CoRR cs.PL/0003068 (2000)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-08 00:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
