Konstantinos Sagonas

According to our database, Konstantinos Sagonas authored at least 131 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Scalable Tree-based Register Automata Learning.

Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

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

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

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer.

Konstantinos Sagonas, Thanasis Typaldos

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

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

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

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

Clement Poncelet, Konstantinos Sagonas, Nicolas Tsiftes

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

DTLS-Fuzzer: A DTLS Protocol State Fuzzer.

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

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

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

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

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

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

Bengt Jonsson, Magnus Lång, Konstantinos Sagonas

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Lock-free Contention Adapting Search Trees.

Kjell Winblad, Konstantinos Sagonas, Bengt Jonsson

ACM Trans. Parallel Comput., 2021

TSOPER: Efficient Coherence-Based Strict Persistency.

Per Ekemark, Yuan Yao, Alberto Ros, Konstantinos Sagonas, Stefanos Kaxiras

Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2021

Fifteen years of successfully dialyzing Erlang and Elixir code (invited talk).

Konstantinos Sagonas

Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021

2020

Analysis of DTLS Implementations Using Protocol State Fuzzing.

Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky

Proceedings of the 29th USENIX Security Symposium, 2020

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

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

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

Parallel Graph-Based Stateless Model Checking.

Magnus Lång, Konstantinos Sagonas

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

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

Michalis Kokologiannakis, Konstantinos Sagonas

Int. J. Softw. Tools Technol. Transf., 2019

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

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas

Proc. ACM Program. Lang., 2019

2018

Queue Delegation Locking.

David Klaftenegger, Konstantinos Sagonas, Kjell Winblad

IEEE Trans. Parallel Distributed Syst., 2018

Effective stateless model checking for C/C++ concurrency.

Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas, Viktor Vafeiadis

Proc. ACM Program. Lang., 2018

A contention adapting approach to concurrent ordered sets.

Konstantinos Sagonas, Kjell Winblad

J. Parallel Distributed Comput., 2018

Optimal Dynamic Partial Order Reduction with Observers.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

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

Konstantinos Kallas, Konstantinos Sagonas

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

Automating Targeted Property-Based Testing.

Andreas Löscher, Konstantinos Sagonas

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

2017

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.

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

ACM Trans. Program. Lang. Syst., 2017

Concolic testing for functional languages.

Aggelos Giantsios, Nikolaos Papaspyrou, Konstantinos Sagonas

Sci. Comput. Program., 2017

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

Kenichi Asai, Konstantinos Sagonas

Sci. Comput. Program., 2017

Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction.

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

J. ACM, 2017

Stateless model checking for TSO and PSO.

Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas

Acta Informatica, 2017

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

Michalis Kokologiannakis, Konstantinos Sagonas

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Targeted property-based testing.

Andreas Löscher, Konstantinos Sagonas

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking.

Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

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

Stavros Aronis, Konstantinos Sagonas

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 2017

Comparing Source Sets and Persistent Sets for Partial Order Reduction.

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

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

The Contention Avoiding Concurrent Priority Queue.

Konstantinos Sagonas, Kjell Winblad

Proceedings of the Languages and Compilers for Parallel Computing, 2016

The Nifty way to call hell from heaven.

Andreas Löscher, Konstantinos Sagonas

Proceedings of the 15th International Workshop on Erlang, 2016

2015

Property-based testing of sensor networks.

Andreas Löscher, Konstantinos Sagonas, Thiemo Voigt

Proceedings of the 12th Annual IEEE International Conference on Sensing, 2015

Efficient Support for Range Queries and Range Updates Using Contention Adapting Search Trees.

Konstantinos Sagonas, Kjell Winblad

Proceedings of the Languages and Compilers for Parallel Computing, 2015

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

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

Proceedings of the 40th IEEE Local Computer Networks Conference Workshops, 2015

Contention Adapting Search Trees.

Konstantinos Sagonas, Kjell Winblad

Proceedings of the 14th International Symposium on Parallel and Distributed Computing, 2015

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

Proceedings of the 24th International Symposium on High-Performance Parallel and Distributed Computing, 2015

Enabling Design of Performance-Controlled Sensor Network Applications through Task Allocation and Reallocation.

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

Proceedings of the 2015 International Conference on Distributed Computing in Sensor Systems, 2015

2014

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

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Sci. Comput. Program., 2014

Brief announcement: queue delegation locking.

David Klaftenegger, Konstantinos Sagonas, Kjell Winblad

Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures, 2014

Optimal dynamic partial order reduction.

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

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Delegation Locking Libraries for Improved Performance of Multithreaded Programs.

David Klaftenegger, Konstantinos Sagonas, Kjell Winblad

Proceedings of the Euro-Par 2014 Parallel Processing, 2014

More scalable ordered set for ETS using adaptation.

Konstantinos Sagonas, Kjell Winblad

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

Precise explanation of success typing errors.

Konstantinos Sagonas, Josep Silva, Salvador Tamarit

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Systematic Testing for Detecting Concurrency Errors in Erlang Programs.

Maria Christakis, Alkis Gotovos, Konstantinos Sagonas

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

On the scalability of the Erlang term storage.

David Klaftenegger, Konstantinos Sagonas, Kjell Winblad

Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

2012

Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services

Leonidas Lampropoulos, Konstantinos Sagonas

Proceedings of the Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, 2012

RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper).

Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer.

Stavros Aronis, Konstantinos Sagonas

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

ErLLVM: an LLVM backend for Erlang.

Konstantinos Sagonas, Chris Stavrakakis, Yiannis Tsiouris

Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

On preserving term sharing in the Erlang virtual machine.

Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

A scalability benchmark suite for Erlang/OTP.

Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, Ioannis E. Venetis

Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

2011

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

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011

Dynamic deadlock avoidance in systems code using statically inferred effects.

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris

Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

Detection of Asynchronous Message Passing Errors Using Static Analysis.

Maria Christakis, Konstantinos Sagonas

Proceedings of the Practical Aspects of Declarative Languages, 2011

A PropEr integration of types and function specifications with property-based testing.

Manolis Papadakis, Konstantinos Sagonas

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

Test-driven development of concurrent programs using concuerror.

Alkis Gotovos, Maria Christakis, Konstantinos Sagonas

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

Typed callbacks for more robust behaviours.

Stavros Aronis, Konstantinos Sagonas

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

2010

A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Race-free and memory-safe multithreading: design and implementation in cyclone.

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

Static Detection of Race Conditions in Erlang.

Maria Christakis, Konstantinos Sagonas

Proceedings of the Practical Aspects of Declarative Languages, 2010

Purity in Erlang.

Mihalis Pitidis, Konstantinos Sagonas

Proceedings of the Implementation and Application of Functional Languages, 2010

Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs.

Konstantinos Sagonas

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

A Concurrent Language with a Uniform Treatment of Regions and Locks

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

Automatic refactoring of Erlang programs.

Konstantinos Sagonas, Thanassis Avgerinos

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Cleaning up Erlang code is a dirty job but somebody's gotta do it.

Thanassis Avgerinos, Konstantinos Sagonas

Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, 2009

2008

Gradual typing of erlang programs: a wrangler experience.

Konstantinos Sagonas, Daniel Luna

Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 2008

2007

Detecting defects in Erlang programs using static analysis.

Konstantinos Sagonas

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

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

Per Gustafsson, Konstantinos Sagonas

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Demand-Driven Indexing of Prolog Clauses.

Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes

Proceedings of the Logic Programming, 23rd International Conference, 2007

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

Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas

Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, 2007

2006

Message analysis for concurrent programs using message passing.

Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson

ACM Trans. Program. Lang. Syst., 2006

Efficient memory management for concurrent programs that use message passing.

Konstantinos Sagonas, Jesper Wilhelmsson

Sci. Comput. Program., 2006

Efficient manipulation of binary data using pattern matching.

Per Gustafsson, Konstantinos Sagonas

J. Funct. Program., 2006

Practical type inference based on success typings.

Tobias Lindahl, Konstantinos Sagonas

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Tabling in Mercury: Design and Implementation.

Zoltan Somogyi, Konstantinos Sagonas

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Mark and split.

Konstantinos Sagonas, Jesper Wilhelmsson

Proceedings of the 5th International Symposium on Memory Management, 2006

2005

Efficiently compiling a functional language on AMD64: the HiPE experience.

Daniel Luna, Mikael Pettersson, Konstantinos Sagonas

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

TypEr: a type annotator of Erlang code.

Tobias Lindahl, Konstantinos Sagonas

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

Bit-level binaries and generalized comprehensions in Erlang.

Per Gustafsson, Konstantinos Sagonas

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

2004

Just enough tabling.

Konstantinos Sagonas, Peter J. Stuckey

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language.

Konstantinos Sagonas, Jesper Wilhelmsson

Proceedings of the 4th International Symposium on Memory Management, 2004

Adaptive Pattern Matching on Binary Data.

Per Gustafsson, Konstantinos Sagonas

Proceedings of the Programming Languages and Systems, 2004

HiPE on AMD64.

Daniel Luna, Mikael Pettersson, Konstantinos Sagonas

Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, 2004

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

Tobias Lindahl, Konstantinos Sagonas

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

Preface by the section editors.

Bengt Jonsson, Konstantinos Sagonas

Int. J. Softw. Tools Technol. Transf., 2003

The development of the HiPE system: design and experience report.

Erik Johansson, Mikael Pettersson, Konstantinos Sagonas, Thomas Lindgren

Int. J. Softw. Tools Technol. Transf., 2003

Experimental evaluation and improvements to linear scan register allocation.

Konstantinos Sagonas, Erik Stenman

Softw. Pract. Exp., 2003

Message Analysis for Concurrent Languages.

Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson

Proceedings of the Static Analysis, 10th International Symposium, 2003

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

Konstantinos Sagonas, Mikael Pettersson, Richard Carlsson, Per Gustafsson, Tobias Lindahl

Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003

2002

Segment Order Preserving and Generational Garbage Collection for Prolog.

Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

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

Erik Johansson, Konstantinos Sagonas

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Heap architectures for concurrent languages using message passing.

Erik Johansson, Konstantinos Sagonas, Jesper Wilhelmsson

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

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

Tobias Lindahl, Konstantinos Sagonas

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

On Enabling the WAM with Region Support.

Henning Makholm, Konstantinos Sagonas

Proceedings of the Logic Programming, 18th International Conference, 2002

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

Mikael Pettersson, Konstantinos Sagonas, Erik Johansson

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

On reducing interprocess communication overhead in concurrent programs.

Erik Stenman, Konstantinos Sagonas

Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, 2002

Native code compilation of Erlang's bit syntax.

Per Gustafsson, Konstantinos Sagonas

Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, 2002

2001

Termination proofs for logic programs with tabling.

Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas

ACM Trans. Comput. Log., 2001

The limits of fixed-order computation.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Theor. Comput. Sci., 2001

Heap Memory Management in Prolog with Tabling: Principles and Practice.

Bart Demoen, Konstantinos Sagonas

J. Funct. Log. Program., 2001

Instruction Merging and Specialization in the SICStus Prolog Virtual Machine.

Henrik Nässén, Mats Carlsson, Konstantinos Sagonas

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

2000

An abstract machine for efficiently computing queries to well-founded models.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

J. Log. Program., 2000

CHAT: the copy-hybrid approach to tabling.

Bart Demoen, Konstantinos Sagonas

Future Gener. Comput. Syst., 2000

A high performance Erlang system.

Erik Johansson, Mikael Pettersson, Konstantinos Sagonas

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Heap Garbage Collection in XSB: Practice and Experience.

Bart Demoen, Konstantinos Sagonas

Proceedings of the Practical Aspects of Declarative Languages, 2000

1999

Efficient Access Mechanisms for Tabled Logic Programs.

I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren

J. Log. Program., 1999

CAT: The Copying Approach to Tabling

Bart Demoen, Konstantinos Sagonas

J. Funct. Log. Program., 1999

Modular Termination Proofs for Prolog with Tabling.

Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

CHAT Is Theta(SLG-Wam).

Bart Demoen, Konstantinos Sagonas

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

1998

An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs.

Konstantinos Sagonas, Terrance Swift

ACM Trans. Program. Lang. Syst., 1998

Semantics-Based Program Analysis for Logic-Based Languages Using XSB.

Michael Codish, Bart Demoen, Konstantinos Sagonas

Int. J. Softw. Tools Technol. Transf., 1998

Extending Partial Deduction to Tabled Execution: Some Results and Open Issues.

Konstantinos Sagonas, Michael Leuschel

ACM Comput. Surv., 1998

On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems.

Gerda Janssens, Konstantinos Sagonas

Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998

Memory Management for Prolog with Tabling.

Bart Demoen, Konstantinos Sagonas

Proceedings of the International Symposium on Memory Management, 1998

A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.

Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997

XSB: A System for Effciently Computing WFS.

Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Preserving Termination of Tabled Logic Programs While Unfolding.

Michael Leuschel, Bern Martens, Konstantinos Sagonas

Proceedings of the Logic Programming Synthesis and Transformation, 1997

Termination Analysis for Tabled Logic Programming.

Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas

Proceedings of the Logic Programming Synthesis and Transformation, 1997

XSB as the Natural Habitat for General Purpose Program Analysis.

Michael Codish, Bart Demoen, Konstantinos Sagonas

Proceedings of the Logic Programming, 1997

1996

An Abstract Machine for Computing the Well-Founded Semantics.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Proceedings of the Logic Programming, 1996

An Abstract Machine for Fixed-Order Dynamically Stratified Programs.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

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

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Efficient Execution of HiLog in WAM-based Prolog Implementations.

Konstantinos Sagonas, David Scott Warren

Proceedings of the Logic Programming, 1995

Efficient Tabling Mechanisms for Logic Programs.

I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren

Proceedings of the Logic Programming, 1995

1994

A Portable Compiler for Integrating HiLog into Prolog Systems.

Konstantinos Sagonas, David Scott Warren

Proceedings of the Logic Programming, 1994

XSB as a Deductive Database.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994

XSB as an Efficient Deductive Database Engine.

Konstantinos Sagonas, Terrance Swift, David Scott Warren

Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994

1993

The XSB Programming System.

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren

Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993