Konstantinos F. Sagonas Home Page Coauthor index DBLP Vis pubzone.org

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

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)