Konstantinos Sagonas

158 papers A* 6A 12B 19C 25Misc 3Journal 38Unranked 52

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Awaiting for Godot: stateless model checking that avoids executions where nothing happens. Formal Methods Syst. Des. Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
2025	—	`conf`	State Fuzzing DTLS 1.3 Implementations. CSCN Nanxi Chen, Paul Fiterau-Brostean, Konstantinos Sagonas
2025	—	`conf`	Trading Space for Simplicity in Stateless Model Checking. Real Time and Such Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas
2024	—	`conf`	A First Exploration of Fine-Grain Coherence for Integrity Metadata. SEED Per Ekemark, Alberto Ros, Konstantinos Sagonas, Stefanos Kaxiras
2024	J	`jnl`	Flexible Swapping for the Cloud. CoRR 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
2024	B	`conf`	Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution. ARES Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas
2024	—	`conf`	Parsimonious Optimal Dynamic Partial Order Reduction. CAV (2) Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas
2024	J	`jnl`	Parsimonious Optimal Dynamic Partial Order Reduction. CoRR Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas
2024	A	`conf`	SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs. ISSTA Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2024	—	`conf`	Scalable Tree-based Register Automata Learning. TACAS (2) Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2024	J	`jnl`	Scalable Tree-based Register Automata Learning. CoRR Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2024	—	`conf`	Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP. CSCN Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas
2023	A*	`conf`	Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. NDSS Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2023	A	`conf`	EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer. ISSTA Konstantinos Sagonas, Thanasis Typaldos
2023	J	`jnl`	Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs. CoRR Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
2023	B	`conf`	Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. ATVA Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
2022	A	`conf`	Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. ICST Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas
2022	B	`conf`	Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. FMCAD Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
2022	J	`jnl`	Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. CoRR Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
2022	A	`conf`	DTLS-Fuzzer: A DTLS Protocol State Fuzzer. ICST Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2022	A*	`conf`	So Many Fuzzers, So Little Time✱: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack. ASE Clement Poncelet, Konstantinos Sagonas, Nicolas Tsiftes
2021	—	`conf`	Fifteen years of successfully dialyzing Erlang and Elixir code (invited talk). Erlang Workshop Konstantinos Sagonas
2021	J	`jnl`	Lock-free Contention Adapting Search Trees. ACM Trans. Parallel Comput. Kjell Winblad, Konstantinos Sagonas, Bengt Jonsson
2021	A*	`conf`	TSOPER: Efficient Coherence-Based Strict Persistency. HPCA Per Ekemark, Yuan Yao, Alberto Ros, Konstantinos Sagonas, Stefanos Kaxiras
2020	A*	`conf`	Analysis of DTLS Implementations Using Protocol State Fuzzing. USENIX Security Symposium Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky
2020	Misc	`ed.`	Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings FLOPS Keisuke Nakano, Konstantinos Sagonas
2020	B	`conf`	Grammar-based testing for little languages: an experience report with student compilers. SLE Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer
2020	B	`conf`	Parallel Graph-Based Stateless Model Checking. ATVA Magnus Lång, Konstantinos Sagonas
2019	J	`jnl`	Optimal stateless model checking for reads-from equivalence under sequential consistency. Proc. ACM Program. Lang. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas
2019	J	`jnl`	Stateless model checking of the Linux kernel's read-copy update (RCU). Int. J. Softw. Tools Technol. Transf. Michalis Kokologiannakis, Konstantinos Sagonas
2018	J	`jnl`	A contention adapting approach to concurrent ordered sets. J. Parallel Distributed Comput. Konstantinos Sagonas, Kjell Winblad
2018	A	`conf`	Automating Targeted Property-Based Testing. ICST Andreas Löscher, Konstantinos Sagonas
2018	J	`jnl`	Effective stateless model checking for C/C++ concurrency. Proc. ACM Program. Lang. Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas, Viktor Vafeiadis
2018	—	`conf`	HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang. IFL Konstantinos Kallas, Konstantinos Sagonas
2018	B	`conf`	Lock-free Contention Adapting Search Trees. SPAA Kjell Winblad, Konstantinos Sagonas, Bengt Jonsson
2018	—	`conf`	Optimal Dynamic Partial Order Reduction with Observers. TACAS (2) Stavros Aronis, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
2018	J	`jnl`	Queue Delegation Locking. IEEE Trans. Parallel Distributed Syst. David Klaftenegger, Konstantinos Sagonas, Kjell Winblad
2017	—	`conf`	Comparing Source Sets and Persistent Sets for Partial Order Reduction. Models, Algorithms, Logics and Tools Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
2017	J	`jnl`	Concolic testing for functional languages. Sci. Comput. Program. Aggelos Giantsios, Nikolaos Papaspyrou, Konstantinos Sagonas
2017	J	`jnl`	Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR 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
2017	J	`jnl`	Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. 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
2017	J	`jnl`	Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15). Sci. Comput. Program. Kenichi Asai, Konstantinos Sagonas
2017	J	`jnl`	Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. J. ACM Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
2017	J	`jnl`	Stateless model checking for TSO and PSO. Acta Informatica Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
2017	—	`conf`	Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). SPIN Michalis Kokologiannakis, Konstantinos Sagonas
2017	A	`conf`	Targeted property-based testing. ISSTA Andreas Löscher, Konstantinos Sagonas
2017	B	`conf`	Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. IFM Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas
2017	—	`conf`	The shared-memory interferences of Erlang/OTP built-ins. Erlang Workshop Stavros Aronis, Konstantinos Sagonas
2016	—	`conf`	The Contention Avoiding Concurrent Priority Queue. LCPC Konstantinos Sagonas, Kjell Winblad
2016	—	`conf`	The Nifty way to call hell from heaven. Erlang Workshop Andreas Löscher, Konstantinos Sagonas
2015	C	`conf`	Concolic testing for functional languages. PPDP Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstantinos Sagonas
2015	C	`conf`	Contention Adapting Search Trees. ISPDC Konstantinos Sagonas, Kjell Winblad
2015	—	`conf`	Efficient Support for Range Queries and Range Updates Using Contention Adapting Search Trees. LCPC Konstantinos Sagonas, Kjell Winblad
2015	B	`conf`	Enabling Design of Performance-Controlled Sensor Network Applications through Task Allocation and Reallocation. DCOSS Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson, Konstantinos Sagonas
2015	—	`conf`	ProFuN TG: A tool for programming and managing performance-aware sensor network applications. LCN Workshops Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson, Konstantinos Sagonas
2015	B	`conf`	Property-based testing of sensor networks. SECON Andreas Löscher, Konstantinos Sagonas, Thiemo Voigt
2015	A	`conf`	Stateless Model Checking for TSO and PSO. TACAS Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
2015	J	`jnl`	Stateless Model Checking for TSO and PSO. CoRR Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
2015	A	`conf`	Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory. HPDC Stefanos Kaxiras, David Klaftenegger, Magnus Norgren, Alberto Ros, Konstantinos Sagonas
2014	B	`conf`	Brief announcement: queue delegation locking. SPAA David Klaftenegger, Konstantinos Sagonas, Kjell Winblad
2014	—	`conf`	Delegation Locking Libraries for Improved Performance of Multithreaded Programs. Euro-Par David Klaftenegger, Konstantinos Sagonas, Kjell Winblad
2014	—	`conf`	More scalable ordered set for ETS using adaptation. Erlang Workshop Konstantinos Sagonas, Kjell Winblad
2014	A*	`conf`	Optimal dynamic partial order reduction. POPL Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
2014	J	`jnl`	Static safety guarantees for a low-level multithreaded language with regions. Sci. Comput. Program. Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
2013	—	`conf`	On the scalability of the Erlang term storage. Erlang Workshop David Klaftenegger, Konstantinos Sagonas, Kjell Winblad
2013	C	`ed.`	Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings PADL Konstantinos Sagonas
2013	C	`conf`	Precise explanation of success typing errors. PEPM Konstantinos Sagonas, Josep Silva, Salvador Tamarit
2013	A	`conf`	Systematic Testing for Detecting Concurrency Errors in Erlang Programs. ICST Maria Christakis, Alkis Gotovos, Konstantinos Sagonas
2012	—	`conf`	A scalability benchmark suite for Erlang/OTP. Erlang Workshop Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, Ioannis E. Venetis
2012	—	`conf`	Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services WWV Leonidas Lampropoulos, Konstantinos Sagonas
2012	—	`conf`	ErLLVM: an LLVM backend for Erlang. Erlang Workshop Konstantinos Sagonas, Chris Stavrakakis, Yiannis Tsiouris
2012	—	`conf`	On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer. Trends in Functional Programming Stavros Aronis, Konstantinos Sagonas
2012	—	`conf`	On preserving term sharing in the Erlang virtual machine. Erlang Workshop Nikolaos Papaspyrou, Konstantinos Sagonas
2012	—	`conf`	RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). Trends in Functional Programming Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger
2011	—	`conf`	A PropEr integration of types and function specifications with property-based testing. Erlang Workshop Manolis Papadakis, Konstantinos Sagonas
2011	—	`conf`	A type and effect system for deadlock avoidance in low-level languages. TLDI Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
2011	C	`conf`	Detection of Asynchronous Message Passing Errors Using Static Analysis. PADL Maria Christakis, Konstantinos Sagonas
2011	—	`conf`	Dynamic deadlock avoidance in systems code using statically inferred effects. PLOS@SOSP Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris
2011	—	`conf`	Test-driven development of concurrent programs using concuerror. Erlang Workshop Alkis Gotovos, Maria Christakis, Konstantinos Sagonas
2011	—	`conf`	Typed callbacks for more robust behaviours. Erlang Workshop Stavros Aronis, Konstantinos Sagonas
2010	—	`conf`	A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering PLACES Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
2010	—	`ed.`	Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010 Erlang Workshop Scott Lystig Fritchie, Konstantinos Sagonas
2010	—	`conf`	Purity in Erlang. IFL Mihalis Pitidis, Konstantinos Sagonas
2010	—	`conf`	Race-free and memory-safe multithreading: design and implementation in cyclone. TLDI Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
2010	C	`conf`	Static Detection of Race Conditions in Erlang. PADL Maria Christakis, Konstantinos Sagonas
2010	Misc	`conf`	Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs. FLOPS Konstantinos Sagonas
2009	—	`conf`	A Concurrent Language with a Uniform Treatment of Regions and Locks PLACES Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
2009	C	`conf`	Automatic refactoring of Erlang programs. PPDP Konstantinos Sagonas, Thanassis Avgerinos
2009	—	`conf`	Cleaning up Erlang code is a dirty job but somebody's gotta do it. Erlang Workshop Thanassis Avgerinos, Konstantinos Sagonas
2008	—	`conf`	Gradual typing of erlang programs: a wrangler experience. Erlang Workshop Konstantinos Sagonas, Daniel Luna
2007	—	`conf`	A language for specifying type contracts in Erlang and its interaction with success typings. Erlang Workshop Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas
2007	C	`conf`	Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. PADL Per Gustafsson, Konstantinos Sagonas
2007	B	`conf`	Demand-Driven Indexing of Prolog Clauses. ICLP Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes
2007	C	`conf`	Detecting defects in Erlang programs using static analysis. PPDP Konstantinos Sagonas
2006	J	`jnl`	Efficient manipulation of binary data using pattern matching. J. Funct. Program. Per Gustafsson, Konstantinos Sagonas
2006	J	`jnl`	Efficient memory management for concurrent programs that use message passing. Sci. Comput. Program. Konstantinos Sagonas, Jesper Wilhelmsson
2006	C	`conf`	Mark and split. ISMM Konstantinos Sagonas, Jesper Wilhelmsson
2006	J	`jnl`	Message analysis for concurrent programs using message passing. ACM Trans. Program. Lang. Syst. Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson
2006	C	`conf`	Practical type inference based on success typings. PPDP Tobias Lindahl, Konstantinos Sagonas
2006	C	`conf`	Tabling in Mercury: Design and Implementation. PADL Zoltan Somogyi, Konstantinos Sagonas
2005	—	`conf`	Bit-level binaries and generalized comprehensions in Erlang. Erlang Workshop Per Gustafsson, Konstantinos Sagonas
2005	C	`conf`	Efficiently compiling a functional language on AMD64: the HiPE experience. PPDP Daniel Luna, Mikael Pettersson, Konstantinos Sagonas
2005	—	`ed.`	Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005 Erlang Workshop Konstantinos Sagonas, Joe Armstrong
2005	—	`conf`	TypEr: a type annotator of Erlang code. Erlang Workshop Tobias Lindahl, Konstantinos Sagonas
2004	A	`conf`	Adaptive Pattern Matching on Binary Data. ESOP Per Gustafsson, Konstantinos Sagonas
2004	B	`conf`	Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. APLAS Tobias Lindahl, Konstantinos Sagonas
2004	—	`conf`	HiPE on AMD64. Erlang Workshop Daniel Luna, Mikael Pettersson, Konstantinos Sagonas
2004	C	`conf`	Just enough tabling. PPDP Konstantinos Sagonas, Peter J. Stuckey
2004	C	`conf`	Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language. ISMM Konstantinos Sagonas, Jesper Wilhelmsson
2003	—	`conf`	All you wanted to know about the HiPE compiler: (but might have been afraid to ask). Erlang Workshop Konstantinos Sagonas, Mikael Pettersson, Richard Carlsson, Per Gustafsson, Tobias Lindahl
2003	J	`jnl`	Experimental evaluation and improvements to linear scan register allocation. Softw. Pract. Exp. Konstantinos Sagonas, Erik Stenman
2003	B	`conf`	Message Analysis for Concurrent Languages. SAS Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson
2003	J	`jnl`	Preface by the section editors. Int. J. Softw. Tools Technol. Transf. Bengt Jonsson, Konstantinos Sagonas
2003	J	`jnl`	The development of the HiPE system: design and experience report. Int. J. Softw. Tools Technol. Transf. Erik Johansson, Mikael Pettersson, Konstantinos Sagonas, Thomas Lindgren
2002	—	`conf`	Heap architectures for concurrent languages using message passing. MSP/ISMM Erik Johansson, Konstantinos Sagonas, Jesper Wilhelmsson
2002	C	`conf`	Linear Scan Register Allocation in a High-Performance Erlang Compiler. PADL Erik Johansson, Konstantinos Sagonas
2002	—	`conf`	Native code compilation of Erlang's bit syntax. Erlang Workshop Per Gustafsson, Konstantinos Sagonas
2002	B	`conf`	On Enabling the WAM with Region Support. ICLP Henning Makholm, Konstantinos Sagonas
2002	—	`conf`	On reducing interprocess communication overhead in concurrent programs. Erlang Workshop Erik Stenman, Konstantinos Sagonas
2002	C	`conf`	Segment Order Preserving and Generational Garbage Collection for Prolog. PADL Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen
2002	Misc	`conf`	The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. FLOPS Mikael Pettersson, Konstantinos Sagonas, Erik Johansson
2002	—	`conf`	Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. IFL Tobias Lindahl, Konstantinos Sagonas
2001	J	`jnl`	Heap Memory Management in Prolog with Tabling: Principles and Practice. J. Funct. Log. Program. Bart Demoen, Konstantinos Sagonas
2001	C	`conf`	Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. PPDP Henrik Nässén, Mats Carlsson, Konstantinos Sagonas
2001	J	`jnl`	Termination proofs for logic programs with tabling. ACM Trans. Comput. Log. Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas
2001	J	`jnl`	The limits of fixed-order computation. Theor. Comput. Sci. Konstantinos Sagonas, Terrance Swift, David Scott Warren
2000	J	`jnl`	A Polyvariant Binding-Time Analysis for Off-line Partial Deduction CoRR Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas
2000	C	`conf`	A high performance Erlang system. PPDP Erik Johansson, Mikael Pettersson, Konstantinos Sagonas
2000	J	`jnl`	An abstract machine for efficiently computing queries to well-founded models. J. Log. Program. Konstantinos Sagonas, Terrance Swift, David Scott Warren
2000	J	`jnl`	CHAT: the copy-hybrid approach to tabling. Future Gener. Comput. Syst. Bart Demoen, Konstantinos Sagonas
2000	C	`conf`	Heap Garbage Collection in XSB: Practice and Experience. PADL Bart Demoen, Konstantinos Sagonas
2000	J	`jnl`	Termination Proofs for Logic Programs with Tabling CoRR Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas
1999	J	`jnl`	CAT: The Copying Approach to Tabling J. Funct. Log. Program. Bart Demoen, Konstantinos Sagonas
1999	B	`conf`	CHAT Is Theta(SLG-Wam). LPAR Bart Demoen, Konstantinos Sagonas
1999	C	`conf`	CHAT: The Copy-Hybrid Approach to Tabling. PADL Bart Demoen, Konstantinos Sagonas
1999	J	`jnl`	Efficient Access Mechanisms for Tabled Logic Programs. J. Log. Program. I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren
1999	C	`conf`	Modular Termination Proofs for Prolog with Tabling. PPDP Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye
1998	A	`conf`	A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. ESOP Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas
1998	J	`jnl`	An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. ACM Trans. Program. Lang. Syst. Konstantinos Sagonas, Terrance Swift
1998	—	`conf`	CAT: The Copying Approach to Tabling. PLILP/ALP Bart Demoen, Konstantinos Sagonas
1998	J	`jnl`	Extending Partial Deduction to Tabled Execution: Some Results and Open Issues. ACM Comput. Surv. Konstantinos Sagonas, Michael Leuschel
1998	C	`conf`	Memory Management for Prolog with Tabling. ISMM Bart Demoen, Konstantinos Sagonas
1998	—	`conf`	On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. TAPD Gerda Janssens, Konstantinos Sagonas
1998	—	`ed.`	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 Implementation Technology for Programming Languages based on Logic Konstantinos Sagonas
1998	J	`jnl`	Semantics-Based Program Analysis for Logic-Based Languages Using XSB. Int. J. Softw. Tools Technol. Transf. Michael Codish, Bart Demoen, Konstantinos Sagonas
1997	C	`conf`	Preserving Termination of Tabled Logic Programs While Unfolding. LOPSTR Michael Leuschel, Bern Martens, Konstantinos Sagonas
1997	C	`conf`	Termination Analysis for Tabled Logic Programming. LOPSTR Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas
1997	B	`conf`	XSB as the Natural Habitat for General Purpose Program Analysis. ICLP Michael Codish, Bart Demoen, Konstantinos Sagonas
1997	B	`conf`	XSB: A System for Effciently Computing WFS. LPNMR Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire
1996	—	`conf`	An Abstract Machine for Computing the Well-Founded Semantics. JICSLP Konstantinos Sagonas, Terrance Swift, David Scott Warren
1996	A	`conf`	An Abstract Machine for Fixed-Order Dynamically Stratified Programs. CADE Konstantinos Sagonas, Terrance Swift, David Scott Warren
1996	—	`conf`	The Limits of Fixed-Order Computation. Logic in Databases Konstantinos Sagonas, Terrance Swift, David Scott Warren
1995	B	`conf`	Efficient Execution of HiLog in WAM-based Prolog Implementations. ICLP Konstantinos Sagonas, David Scott Warren
1995	B	`conf`	Efficient Tabling Mechanisms for Logic Programs. ICLP I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren
1995	A*	`conf`	Unification Factoring for Efficient Execution of Logic Programs. POPL Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren
1994	—	`conf`	A Portable Compiler for Integrating HiLog into Prolog Systems. ILPS Konstantinos Sagonas, David Scott Warren
1994	—	`conf`	XSB as a Deductive Database. SIGMOD Conference Konstantinos Sagonas, Terrance Swift, David Scott Warren
1994	—	`conf`	XSB as an Efficient Deductive Database Engine. SIGMOD Conference Konstantinos Sagonas, Terrance Swift, David Scott Warren