| 2007 |
|---|
| 68 | EE | Miguel Jimenez,
Tobias Lindahl,
Konstantinos F. Sagonas:
A language for specifying type contracts in Erlang and its interaction with success typings.
Erlang Workshop 2007: 11-17 |
| 67 | EE | Vítor Santos Costa,
Konstantinos F. Sagonas,
Ricardo Lopes:
Demand-Driven Indexing of Prolog Clauses.
ICLP 2007: 395-409 |
| 66 | EE | Per Gustafsson,
Konstantinos F. Sagonas:
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang.
PADL 2007: 94-108 |
| 65 | EE | Konstantinos F. Sagonas:
Detecting defects in Erlang programs using static analysis.
PPDP 2007: 37 |
| 2006 |
|---|
| 64 | EE | Konstantinos F. Sagonas,
Jesper Wilhelmsson:
Mark and split.
ISMM 2006: 29-39 |
| 63 | EE | Zoltan Somogyi,
Konstantinos F. Sagonas:
Tabling in Mercury: Design and Implementation.
PADL 2006: 150-167 |
| 62 | EE | Tobias Lindahl,
Konstantinos F. Sagonas:
Practical type inference based on success typings.
PPDP 2006: 167-178 |
| 61 | EE | Richard Carlsson,
Konstantinos F. Sagonas,
Jesper Wilhelmsson:
Message analysis for concurrent programs using message passing.
ACM Trans. Program. Lang. Syst. 28(4): 715-746 (2006) |
| 60 | EE | Per Gustafsson,
Konstantinos F. Sagonas:
Efficient manipulation of binary data using pattern matching.
J. Funct. Program. 16(1): 35-74 (2006) |
| 59 | EE | Konstantinos F. Sagonas,
Jesper Wilhelmsson:
Efficient memory management for concurrent programs that use message passing.
Sci. Comput. Program. 62(2): 98-121 (2006) |
| 2005 |
|---|
| 58 | | Konstantinos F. Sagonas,
Joe Armstrong:
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005
ACM 2005 |
| 57 | EE | Per Gustafsson,
Konstantinos F. Sagonas:
Bit-level binaries and generalized comprehensions in Erlang.
Erlang Workshop 2005: 1-8 |
| 56 | EE | Tobias Lindahl,
Konstantinos F. Sagonas:
TypEr: a type annotator of Erlang code.
Erlang Workshop 2005: 17-25 |
| 55 | EE | Daniel Luna,
Mikael Pettersson,
Konstantinos F. Sagonas:
Efficiently compiling a functional language on AMD64: the HiPE experience.
PPDP 2005: 176-186 |
| 2004 |
|---|
| 54 | EE | Tobias Lindahl,
Konstantinos F. Sagonas:
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.
APLAS 2004: 91-106 |
| 53 | EE | Per Gustafsson,
Konstantinos F. Sagonas:
Adaptive Pattern Matching on Binary Data.
ESOP 2004: 124-139 |
| 52 | EE | Daniel Luna,
Mikael Pettersson,
Konstantinos F. Sagonas:
HiPE on AMD64.
Erlang Workshop 2004: 38-47 |
| 51 | EE | Konstantinos F. Sagonas,
Jesper Wilhelmsson:
Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language.
ISMM 2004: 1-12 |
| 50 | EE | Konstantinos F. Sagonas,
Peter J. Stuckey:
Just enough tabling.
PPDP 2004: 78-89 |
| 2003 |
|---|
| 49 | EE | Konstantinos F. 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 |
| 48 | EE | Richard Carlsson,
Konstantinos F. Sagonas,
Jesper Wilhelmsson:
Message Analysis for Concurrent Languages.
SAS 2003: 73-90 |
| 47 | EE | Bengt Jonsson,
Konstantinos F. Sagonas:
Preface by the section editors.
STTT 4(4): 401-404 (2003) |
| 46 | EE | Erik Johansson,
Mikael Pettersson,
Konstantinos F. Sagonas,
Thomas Lindgren:
The development of the HiPE system: design and experience report.
STTT 4(4): 421-436 (2003) |
| 45 | EE | Konstantinos F. Sagonas,
Erik Stenman:
Experimental evaluation and improvements to linear scan register allocation.
Softw., Pract. Exper. 33(11): 1003-1034 (2003) |
| 2002 |
|---|
| 44 | EE | Erik Stenman,
Konstantinos F. Sagonas:
On reducing interprocess communication overhead in concurrent programs.
Erlang Workshop 2002: 58-63 |
| 43 | EE | Per Gustafsson,
Konstantinos F. Sagonas:
Native code compilation of Erlang's bit syntax.
Erlang Workshop 2002: 6-15 |
| 42 | EE | Mikael Pettersson,
Konstantinos F. Sagonas,
Erik Johansson:
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.
FLOPS 2002: 228-244 |
| 41 | EE | Henning Makholm,
Konstantinos F. Sagonas:
On Enabling the WAM with Region Support.
ICLP 2002: 163-178 |
| 40 | EE | Tobias Lindahl,
Konstantinos F. Sagonas:
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.
IFL 2002: 134-149 |
| 39 | EE | Erik Johansson,
Konstantinos F. Sagonas,
Jesper Wilhelmsson:
Heap architectures for concurrent languages using message passing.
MSP/ISMM 2002: 195-206 |
| 38 | EE | Erik Johansson,
Konstantinos F. Sagonas:
Linear Scan Register Allocation in a High-Performance Erlang Compiler.
PADL 2002: 101-119 |
| 37 | EE | Ruben Vandeginste,
Konstantinos F. Sagonas,
Bart Demoen:
Segment Order Preserving and Generational Garbage Collection for Prolog.
PADL 2002: 299-317 |
| 2001 |
|---|
| 36 | | Henrik Nässén,
Mats Carlsson,
Konstantinos F. Sagonas:
Instruction Merging and Specialization in the SICStus Prolog Virtual Machine.
PPDP 2001: 49-60 |
| 35 | EE | Sofie Verbaeten,
Danny De Schreye,
Konstantinos F. Sagonas:
Termination proofs for logic programs with tabling.
ACM Trans. Comput. Log. 2(1): 57-92 (2001) |
| 34 | | Bart Demoen,
Konstantinos F. Sagonas:
Heap Memory Management in Prolog with Tabling: Principles and Practice.
Journal of Functional and Logic Programming 2001(9): (2001) |
| 33 | EE | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
The limits of fixed-order computation.
Theor. Comput. Sci. 254(1-2): 465-499 (2001) |
| 2000 |
|---|
| 32 | EE | Bart Demoen,
Konstantinos F. Sagonas:
Heap Garbage Collection in XSB: Practice and Experience.
PADL 2000: 93-108 |
| 31 | EE | Erik Johansson,
Mikael Pettersson,
Konstantinos F. Sagonas:
A high performance Erlang system.
PPDP 2000: 32-43 |
| 30 | EE | Sofie Verbaeten,
Danny De Schreye,
Konstantinos F. Sagonas:
Termination Proofs for Logic Programs with Tabling
CoRR cs.LO/0003045: (2000) |
| 29 | EE | Maurice Bruynooghe,
Michael Leuschel,
Konstantinos F. Sagonas:
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
CoRR cs.PL/0003068: (2000) |
| 28 | EE | Bart Demoen,
Konstantinos F. Sagonas:
CHAT: the copy-hybrid approach to tabling.
Future Generation Comp. Syst. 16(7): 809-830 (2000) |
| 27 | | Konstantinos F. 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 |
|---|
| 26 | | Bart Demoen,
Konstantinos F. Sagonas:
CHAT Is Theta(SLG-Wam).
LPAR 1999: 337-357 |
| 25 | EE | Bart Demoen,
Konstantinos F. Sagonas:
CHAT: The Copy-Hybrid Approach to Tabling.
PADL 1999: 106-121 |
| 24 | | Sofie Verbaeten,
Konstantinos F. Sagonas,
Danny De Schreye:
Modular Termination Proofs for Prolog with Tabling.
PPDP 1999: 342-359 |
| 23 | | I. V. Ramakrishnan,
Prasad Rao,
Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
Efficient Access Mechanisms for Tabled Logic Programs.
J. Log. Program. 38(1): 31-54 (1999) |
| 22 | | Bart Demoen,
Konstantinos F. Sagonas:
CAT: The Copying Approach to Tabling
Journal of Functional and Logic Programming 1999(Special Issue 2): (1999) |
| 1998 |
|---|
| 21 | EE | Maurice Bruynooghe,
Michael Leuschel,
Konstantinos F. Sagonas:
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.
ESOP 1998: 27-41 |
| 20 | EE | Bart Demoen,
Konstantinos F. Sagonas:
Memory Management for Prolog with Tabling.
ISMM 1998: 97-106 |
| 19 | EE | Bart Demoen,
Konstantinos F. Sagonas:
CAT: The Copying Approach to Tabling.
PLILP/ALP 1998: 21-35 |
| 18 | EE | Gerda Janssens,
Konstantinos F. Sagonas:
On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems.
TAPD 1998: 118-126 |
| 17 | EE | Konstantinos F. Sagonas,
Michael Leuschel:
Extending Partial Deduction to Tabled Execution: Some Results and Open Issues.
ACM Comput. Surv. 30(3es): 16 (1998) |
| 16 | EE | Konstantinos F. 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) |
| 15 | EE | Michael Codish,
Bart Demoen,
Konstantinos F. Sagonas:
Semantics-Based Program Analysis for Logic-Based Languages Using XSB.
STTT 2(1): 29-45 (1998) |
| 1997 |
|---|
| 14 | | Michael Codish,
Bart Demoen,
Konstantinos F. Sagonas:
XSB as the Natural Habitat for General Purpose Program Analysis.
ICLP 1997: 416 |
| 13 | EE | Stefaan Decorte,
Danny De Schreye,
Michael Leuschel,
Bern Martens,
Konstantinos F. Sagonas:
Termination Analysis for Tabled Logic Programming.
LOPSTR 1997: 111-127 |
| 12 | EE | Michael Leuschel,
Bern Martens,
Konstantinos F. Sagonas:
Preserving Termination of Tabled Logic Programs While Unfolding.
LOPSTR 1997: 189-205 |
| 11 | | Prasad Rao,
Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren,
Juliana Freire:
XSB: A System for Effciently Computing WFS.
LPNMR 1997: 431-441 |
| 1996 |
|---|
| 10 | | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
An Abstract Machine for Fixed-Order Dynamically Stratified Programs.
CADE 1996: 328-342 |
| 9 | | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
An Abstract Machine for Computing the Well-Founded Semantics.
JICSLP 1996: 274-288 |
| 8 | | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
The Limits of Fixed-Order Computation.
Logic in Databases 1996: 343-363 |
| 1995 |
|---|
| 7 | | Konstantinos F. Sagonas,
David Scott Warren:
Efficient Execution of HiLog in WAM-based Prolog Implementations.
ICLP 1995: 349-363 |
| 6 | | I. V. Ramakrishnan,
Prasad Rao,
Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
Efficient Tabling Mechanisms for Logic Programs.
ICLP 1995: 697-711 |
| 5 | | Steven Dawson,
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Konstantinos F. Sagonas,
Steven Skiena,
Terrance Swift,
David Scott Warren:
Unification Factoring for Efficient Execution of Logic Programs.
POPL 1995: 247-258 |
| 1994 |
|---|
| 4 | EE | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
XSB as an Efficient Deductive Database Engine.
SIGMOD Conference 1994: 442-453 |
| 3 | EE | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
XSB as a Deductive Database.
SIGMOD Conference 1994: 512 |
| 2 | | Konstantinos F. Sagonas,
David Scott Warren:
A Portable Compiler for Integrating HiLog into Prolog Systems.
SLP 1994: 682 |
| 1993 |
|---|
| 1 | | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
The XSB Programming System.
Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 164 |
