Konstantinos F. Sagonas

	2010
74		Maria Christakis, Konstantinos F. Sagonas: Static Detection of Race Conditions in Erlang. PADL 2010: 119-133
73		Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: Race-free and memory-safe multithreading: design and implementation in cyclone. TLDI 2010: 15-26
72		Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: A Concurrent Language with a Uniform Treatment of Regions and Locks CoRR abs/1002.0940: (2010)
	2009
71		Thanassis Avgerinos, Konstantinos F. Sagonas: Cleaning up Erlang code is a dirty job but somebody's gotta do it. Erlang Workshop 2009: 1-10
70		Konstantinos F. Sagonas, Thanassis Avgerinos: Automatic refactoring of Erlang programs. PPDP 2009: 13-24
	2008
69		Konstantinos F. Sagonas, Daniel Luna: Gradual typing of erlang programs: a wrangler experience. Erlang Workshop 2008: 73-82
	2007
68		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		Vítor Santos Costa, Konstantinos F. Sagonas, Ricardo Lopes: Demand-Driven Indexing of Prolog Clauses. ICLP 2007: 395-409
66		Per Gustafsson, Konstantinos F. Sagonas: Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. PADL 2007: 94-108
65		Konstantinos F. Sagonas: Detecting defects in Erlang programs using static analysis. PPDP 2007: 37
	2006
64		Konstantinos F. Sagonas, Jesper Wilhelmsson: Mark and split. ISMM 2006: 29-39
63		Zoltan Somogyi, Konstantinos F. Sagonas: Tabling in Mercury: Design and Implementation. PADL 2006: 150-167
62		Tobias Lindahl, Konstantinos F. Sagonas: Practical type inference based on success typings. PPDP 2006: 167-178
61		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		Per Gustafsson, Konstantinos F. Sagonas: Efficient manipulation of binary data using pattern matching. J. Funct. Program. 16(1): 35-74 (2006)
59		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		Per Gustafsson, Konstantinos F. Sagonas: Bit-level binaries and generalized comprehensions in Erlang. Erlang Workshop 2005: 1-8
56		Tobias Lindahl, Konstantinos F. Sagonas: TypEr: a type annotator of Erlang code. Erlang Workshop 2005: 17-25
55		Daniel Luna, Mikael Pettersson, Konstantinos F. Sagonas: Efficiently compiling a functional language on AMD64: the HiPE experience. PPDP 2005: 176-186
	2004
54		Tobias Lindahl, Konstantinos F. Sagonas: Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. APLAS 2004: 91-106
53		Per Gustafsson, Konstantinos F. Sagonas: Adaptive Pattern Matching on Binary Data. ESOP 2004: 124-139
52		Daniel Luna, Mikael Pettersson, Konstantinos F. Sagonas: HiPE on AMD64. Erlang Workshop 2004: 38-47
51		Konstantinos F. Sagonas, Jesper Wilhelmsson: Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language. ISMM 2004: 1-12
50		Konstantinos F. Sagonas, Peter J. Stuckey: Just enough tabling. PPDP 2004: 78-89
	2003
49		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		Richard Carlsson, Konstantinos F. Sagonas, Jesper Wilhelmsson: Message Analysis for Concurrent Languages. SAS 2003: 73-90
47		Bengt Jonsson, Konstantinos F. Sagonas: Preface by the section editors. STTT 4(4): 401-404 (2003)
46		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		Konstantinos F. Sagonas, Erik Stenman: Experimental evaluation and improvements to linear scan register allocation. Softw., Pract. Exper. 33(11): 1003-1034 (2003)
	2002
44		Erik Stenman, Konstantinos F. Sagonas: On reducing interprocess communication overhead in concurrent programs. Erlang Workshop 2002: 58-63
43		Per Gustafsson, Konstantinos F. Sagonas: Native code compilation of Erlang's bit syntax. Erlang Workshop 2002: 6-15
42		Mikael Pettersson, Konstantinos F. Sagonas, Erik Johansson: The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. FLOPS 2002: 228-244
41		Henning Makholm, Konstantinos F. Sagonas: On Enabling the WAM with Region Support. ICLP 2002: 163-178
40		Tobias Lindahl, Konstantinos F. Sagonas: Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. IFL 2002: 134-149
39		Erik Johansson, Konstantinos F. Sagonas, Jesper Wilhelmsson: Heap architectures for concurrent languages using message passing. MSP/ISMM 2002: 195-206
38		Erik Johansson, Konstantinos F. Sagonas: Linear Scan Register Allocation in a High-Performance Erlang Compiler. PADL 2002: 101-119
37		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		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		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		Bart Demoen, Konstantinos F. Sagonas: Heap Garbage Collection in XSB: Practice and Experience. PADL 2000: 93-108
31		Erik Johansson, Mikael Pettersson, Konstantinos F. Sagonas: A high performance Erlang system. PPDP 2000: 32-43
30		Sofie Verbaeten, Danny De Schreye, Konstantinos F. Sagonas: Termination Proofs for Logic Programs with Tabling CoRR cs.LO/0003045: (2000)
29		Maurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas: A Polyvariant Binding-Time Analysis for Off-line Partial Deduction CoRR cs.PL/0003068: (2000)
28		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		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		Maurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas: A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. ESOP 1998: 27-41
20		Bart Demoen, Konstantinos F. Sagonas: Memory Management for Prolog with Tabling. ISMM 1998: 97-106
19		Bart Demoen, Konstantinos F. Sagonas: CAT: The Copying Approach to Tabling. PLILP/ALP 1998: 21-35
18		Gerda Janssens, Konstantinos F. Sagonas: On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. TAPD 1998: 118-126
17		Konstantinos F. Sagonas, Michael Leuschel: Extending Partial Deduction to Tabled Execution: Some Results and Open Issues. ACM Comput. Surv. 30(3es): 16 (1998)
16		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		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		Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos F. Sagonas: Termination Analysis for Tabled Logic Programming. LOPSTR 1997: 111-127
12		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		Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453
3		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

Coauthor Index

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

Colors in the list of coauthors