dblp.uni-trier.dewww.uni-trier.de

Konstantinos F. Sagonas Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
70EEThanassis Avgerinos, Konstantinos F. Sagonas: Cleaning up Erlang code is a dirty job but somebody's gotta do it. Erlang Workshop 2009: 1-10
69EEKonstantinos F. Sagonas, Thanassis Avgerinos: Automatic refactoring of Erlang programs. PPDP 2009: 13-24
2007
68EEMiguel 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
67EEVítor Santos Costa, Konstantinos F. Sagonas, Ricardo Lopes: Demand-Driven Indexing of Prolog Clauses. ICLP 2007: 395-409
66EEPer Gustafsson, Konstantinos F. Sagonas: Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. PADL 2007: 94-108
65EEKonstantinos F. Sagonas: Detecting defects in Erlang programs using static analysis. PPDP 2007: 37
2006
64EEKonstantinos F. Sagonas, Jesper Wilhelmsson: Mark and split. ISMM 2006: 29-39
63EEZoltan Somogyi, Konstantinos F. Sagonas: Tabling in Mercury: Design and Implementation. PADL 2006: 150-167
62EETobias Lindahl, Konstantinos F. Sagonas: Practical type inference based on success typings. PPDP 2006: 167-178
61EERichard Carlsson, Konstantinos F. Sagonas, Jesper Wilhelmsson: Message analysis for concurrent programs using message passing. ACM Trans. Program. Lang. Syst. 28(4): 715-746 (2006)
60EEPer Gustafsson, Konstantinos F. Sagonas: Efficient manipulation of binary data using pattern matching. J. Funct. Program. 16(1): 35-74 (2006)
59EEKonstantinos 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
57EEPer Gustafsson, Konstantinos F. Sagonas: Bit-level binaries and generalized comprehensions in Erlang. Erlang Workshop 2005: 1-8
56EETobias Lindahl, Konstantinos F. Sagonas: TypEr: a type annotator of Erlang code. Erlang Workshop 2005: 17-25
55EEDaniel Luna, Mikael Pettersson, Konstantinos F. Sagonas: Efficiently compiling a functional language on AMD64: the HiPE experience. PPDP 2005: 176-186
2004
54EETobias Lindahl, Konstantinos F. Sagonas: Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. APLAS 2004: 91-106
53EEPer Gustafsson, Konstantinos F. Sagonas: Adaptive Pattern Matching on Binary Data. ESOP 2004: 124-139
52EEDaniel Luna, Mikael Pettersson, Konstantinos F. Sagonas: HiPE on AMD64. Erlang Workshop 2004: 38-47
51EEKonstantinos F. Sagonas, Jesper Wilhelmsson: Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language. ISMM 2004: 1-12
50EEKonstantinos F. Sagonas, Peter J. Stuckey: Just enough tabling. PPDP 2004: 78-89
2003
49EEKonstantinos 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
48EERichard Carlsson, Konstantinos F. Sagonas, Jesper Wilhelmsson: Message Analysis for Concurrent Languages. SAS 2003: 73-90
47EEBengt Jonsson, Konstantinos F. Sagonas: Preface by the section editors. STTT 4(4): 401-404 (2003)
46EEErik Johansson, Mikael Pettersson, Konstantinos F. Sagonas, Thomas Lindgren: The development of the HiPE system: design and experience report. STTT 4(4): 421-436 (2003)
45EEKonstantinos F. Sagonas, Erik Stenman: Experimental evaluation and improvements to linear scan register allocation. Softw., Pract. Exper. 33(11): 1003-1034 (2003)
2002
44EEErik Stenman, Konstantinos F. Sagonas: On reducing interprocess communication overhead in concurrent programs. Erlang Workshop 2002: 58-63
43EEPer Gustafsson, Konstantinos F. Sagonas: Native code compilation of Erlang's bit syntax. Erlang Workshop 2002: 6-15
42EEMikael Pettersson, Konstantinos F. Sagonas, Erik Johansson: The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. FLOPS 2002: 228-244
41EEHenning Makholm, Konstantinos F. Sagonas: On Enabling the WAM with Region Support. ICLP 2002: 163-178
40EETobias Lindahl, Konstantinos F. Sagonas: Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. IFL 2002: 134-149
39EEErik Johansson, Konstantinos F. Sagonas, Jesper Wilhelmsson: Heap architectures for concurrent languages using message passing. MSP/ISMM 2002: 195-206
38EEErik Johansson, Konstantinos F. Sagonas: Linear Scan Register Allocation in a High-Performance Erlang Compiler. PADL 2002: 101-119
37EERuben 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
35EESofie 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)
33EEKonstantinos F. Sagonas, Terrance Swift, David Scott Warren: The limits of fixed-order computation. Theor. Comput. Sci. 254(1-2): 465-499 (2001)
2000
32EEBart Demoen, Konstantinos F. Sagonas: Heap Garbage Collection in XSB: Practice and Experience. PADL 2000: 93-108
31EEErik Johansson, Mikael Pettersson, Konstantinos F. Sagonas: A high performance Erlang system. PPDP 2000: 32-43
30EESofie Verbaeten, Danny De Schreye, Konstantinos F. Sagonas: Termination Proofs for Logic Programs with Tabling CoRR cs.LO/0003045: (2000)
29EEMaurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas: A Polyvariant Binding-Time Analysis for Off-line Partial Deduction CoRR cs.PL/0003068: (2000)
28EEBart 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
26EEBart Demoen, Konstantinos F. Sagonas: CHAT Is Theta(SLG-Wam). LPAR 1999: 337-357
25EEBart 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
21EEMaurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas: A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. ESOP 1998: 27-41
20EEBart Demoen, Konstantinos F. Sagonas: Memory Management for Prolog with Tabling. ISMM 1998: 97-106
19EEBart Demoen, Konstantinos F. Sagonas: CAT: The Copying Approach to Tabling. PLILP/ALP 1998: 21-35
18EEGerda Janssens, Konstantinos F. Sagonas: On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. TAPD 1998: 118-126
17EEKonstantinos F. Sagonas, Michael Leuschel: Extending Partial Deduction to Tabled Execution: Some Results and Open Issues. ACM Comput. Surv. 30(3es): 16 (1998)
16EEKonstantinos 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)
15EEMichael 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
13EEStefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos F. Sagonas: Termination Analysis for Tabled Logic Programming. LOPSTR 1997: 111-127
12EEMichael 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
10EEKonstantinos 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
4EEKonstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453
3EEKonstantinos 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

Coauthor Index

1Joe Armstrong [58]
2Thanassis Avgerinos [69] [70]
3Maurice Bruynooghe [21] [29]
4Mats Carlsson [36]
5Richard Carlsson [48] [49] [61]
6Michael Codish [14] [15]
7Vítor Santos Costa [67]
8Steven Dawson [5]
9Stefaan Decorte [13]
10Bart Demoen [14] [15] [19] [20] [22] [25] [26] [28] [32] [34] [37]
11Juliana Freire [11]
12Per Gustafsson [43] [49] [53] [57] [60] [66]
13Gerda Janssens [18]
14Miguel Jimenez [68]
15Erik Johansson [31] [38] [39] [42] [46]
16Bengt Jonsson [47]
17Michael Leuschel [12] [13] [17] [21] [29]
18Tobias Lindahl [40] [49] [54] [56] [62] [68]
19Thomas Lindgren [46]
20Ricardo Lopes [67]
21Daniel Luna [52] [55]
22Henning Makholm [41]
23Bern Martens [12] [13]
24Henrik Nässén [36]
25Mikael Pettersson [31] [42] [46] [49] [52] [55]
26C. R. Ramakrishnan [5]
27I. V. Ramakrishnan [5] [6] [23]
28Prasad Rao [6] [11] [23]
29Danny De Schreye [13] [24] [30] [35]
30Steven Skiena [5]
31Zoltan Somogyi [63]
32Erik Stenman [44] [45]
33Peter J. Stuckey [50]
34Terrance Swift [1] [3] [4] [5] [6] [8] [9] [10] [11] [16] [23] [27] [33]
35Ruben Vandeginste [37]
36Sofie Verbaeten [24] [30] [35]
37David Scott Warren [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [23] [27] [33]
38Jesper Wilhelmsson [39] [48] [51] [59] [61] [64]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)