Konstantinos F. Sagonas

Konstantinos F. Sagonas, Josep Silva, Salvador Tamarit: Precise explanation of success typing errors. PEPM 2013: 33-42

Nikolaos Papaspyrou, Konstantinos F. Sagonas: On preserving term sharing in the Erlang virtual machine. Erlang Workshop 2012: 11-20

Konstantinos F. Sagonas, Chris Stavrakakis, Yiannis Tsiouris: ErLLVM: an LLVM backend for Erlang. Erlang Workshop 2012: 21-32

Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos F. Sagonas, Yiannis Tsiouris, Ioannis E. Venetis: A scalability benchmark suite for Erlang/OTP. Erlang Workshop 2012: 33-42

Leonidas Lampropoulos, Konstantinos F. Sagonas: Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services. WWV 2012: 3-16

Stavros Aronis, Konstantinos F. Sagonas: Typed callbacks for more robust behaviours. Erlang Workshop 2011: 23-29

Manolis Papadakis, Konstantinos F. Sagonas: A PropEr integration of types and function specifications with property-based testing. Erlang Workshop 2011: 39-50

Alkis Gotovos, Maria Christakis, Konstantinos F. Sagonas: Test-driven development of concurrent programs using concuerror. Erlang Workshop 2011: 51-61

Maria Christakis, Konstantinos F. Sagonas: Detection of Asynchronous Message Passing Errors Using Static Analysis. PADL 2011: 5-18

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: A type and effect system for deadlock avoidance in low-level languages. TLDI 2011: 15-28

Konstantinos F. Sagonas: Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs. FLOPS 2010: 13-18

Mihalis Pitidis, Konstantinos F. Sagonas: Purity in Erlang. IFL 2010: 137-152

Maria Christakis, Konstantinos F. Sagonas: Static Detection of Race Conditions in Erlang. PADL 2010: 119-133

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: Race-free and memory-safe multithreading: design and implementation in cyclone. TLDI 2010: 15-26

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering. PLACES 2010: 44-58

Scott Lystig Fritchie, Konstantinos F. Sagonas (Eds.): Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010. ACM 2010, isbn 978-1-4503-0253-1

Thanassis Avgerinos, Konstantinos F. Sagonas: Cleaning up Erlang code is a dirty job but somebody's gotta do it. Erlang Workshop 2009: 1-10

Konstantinos F. Sagonas, Thanassis Avgerinos: Automatic refactoring of Erlang programs. PPDP 2009: 13-24

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: A Concurrent Language with a Uniform Treatment of Regions and Locks. PLACES 2009: 79-93

Konstantinos F. Sagonas, Daniel Luna: Gradual typing of erlang programs: a wrangler experience. Erlang Workshop 2008: 73-82

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

Vítor Santos Costa, Konstantinos F. Sagonas, Ricardo Lopes: Demand-Driven Indexing of Prolog Clauses. ICLP 2007: 395-409

Per Gustafsson, Konstantinos F. Sagonas: Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. PADL 2007: 94-108

Konstantinos F. Sagonas: Detecting defects in Erlang programs using static analysis. PPDP 2007: 37

Per Gustafsson, Konstantinos F. Sagonas: Efficient manipulation of binary data using pattern matching. J. Funct. Program. 16(1): 35-74 (2006)

Konstantinos F. Sagonas, Jesper Wilhelmsson: Efficient memory management for concurrent programs that use message passing. Sci. Comput. Program. 62(2): 98-121 (2006)

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)

Konstantinos F. Sagonas, Jesper Wilhelmsson: Mark and split. ISMM 2006: 29-39

Zoltan Somogyi, Konstantinos F. Sagonas: Tabling in Mercury: Design and Implementation. PADL 2006: 150-167

Tobias Lindahl, Konstantinos F. Sagonas: Practical type inference based on success typings. PPDP 2006: 167-178

Per Gustafsson, Konstantinos F. Sagonas: Bit-level binaries and generalized comprehensions in Erlang. Erlang Workshop 2005: 1-8

Tobias Lindahl, Konstantinos F. Sagonas: TypEr: a type annotator of Erlang code. Erlang Workshop 2005: 17-25

Daniel Luna, Mikael Pettersson, Konstantinos F. Sagonas: Efficiently compiling a functional language on AMD64: the HiPE experience. PPDP 2005: 176-186

Konstantinos F. Sagonas, Joe Armstrong (Eds.): Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005. ACM 2005, isbn 1-59593-066-3

Tobias Lindahl, Konstantinos F. Sagonas: Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. APLAS 2004: 91-106

Daniel Luna, Mikael Pettersson, Konstantinos F. Sagonas: HiPE on AMD64. Erlang Workshop 2004: 38-47

Per Gustafsson, Konstantinos F. Sagonas: Adaptive Pattern Matching on Binary Data. ESOP 2004: 124-139

Konstantinos F. Sagonas, Jesper Wilhelmsson: Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language. ISMM 2004: 1-12

Konstantinos F. Sagonas, Peter J. Stuckey: Just enough tabling. PPDP 2004: 78-89

Konstantinos F. Sagonas, Erik Stenman: Experimental evaluation and improvements to linear scan register allocation. Softw., Pract. Exper. 33(11): 1003-1034 (2003)

Bengt Jonsson, Konstantinos F. Sagonas: Preface by the section editors. STTT 4(4): 401-404 (2003)

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)

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

Richard Carlsson, Konstantinos F. Sagonas, Jesper Wilhelmsson: Message Analysis for Concurrent Languages. SAS 2003: 73-90

Per Gustafsson, Konstantinos F. Sagonas: Native code compilation of Erlang's bit syntax. Erlang Workshop 2002: 6-15

Erik Stenman, Konstantinos F. Sagonas: On reducing interprocess communication overhead in concurrent programs. Erlang Workshop 2002: 58-63

Mikael Pettersson, Konstantinos F. Sagonas, Erik Johansson: The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. FLOPS 2002: 228-244

Henning Makholm, Konstantinos F. Sagonas: On Enabling the WAM with Region Support. ICLP 2002: 163-178

Tobias Lindahl, Konstantinos F. Sagonas: Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. IFL 2002: 134-149

Erik Johansson, Konstantinos F. Sagonas, Jesper Wilhelmsson: Heap architectures for concurrent languages using message passing. MSP/ISMM 2002: 195-206

Erik Johansson, Konstantinos F. Sagonas: Linear Scan Register Allocation in a High-Performance Erlang Compiler. PADL 2002: 101-119

Ruben Vandeginste, Konstantinos F. Sagonas, Bart Demoen: Segment Order Preserving and Generational Garbage Collection for Prolog. PADL 2002: 299-317

Bart Demoen, Konstantinos F. Sagonas: Heap Memory Management in Prolog with Tabling: Principles and Practice. Journal of Functional and Logic Programming 2001(9) (2001)

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The limits of fixed-order computation. Theor. Comput. Sci. 254(1-2): 465-499 (2001)

Sofie Verbaeten, Danny De Schreye, Konstantinos F. Sagonas: Termination proofs for logic programs with tabling. ACM Trans. Comput. Log. 2(1): 57-92 (2001)

Henrik Nässén, Mats Carlsson, Konstantinos F. Sagonas: Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. PPDP 2001: 49-60

Bart Demoen, Konstantinos F. Sagonas: CHAT: the copy-hybrid approach to tabling. Future Generation Comp. Syst. 16(7): 809-830 (2000)

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)

Bart Demoen, Konstantinos F. Sagonas: Heap Garbage Collection in XSB: Practice and Experience. PADL 2000: 93-108

Erik Johansson, Mikael Pettersson, Konstantinos F. Sagonas: A high performance Erlang system. PPDP 2000: 32-43

Sofie Verbaeten, Danny De Schreye, Konstantinos F. Sagonas: Termination Proofs for Logic Programs with Tabling. CoRR cs.LO/0003045 (2000)

Maurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas: A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. CoRR cs.PL/0003068 (2000)

Bart Demoen, Konstantinos F. Sagonas: CAT: The Copying Approach to Tabling. Journal of Functional and Logic Programming 1999(Special Issue 2) (1999)

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)

Bart Demoen, Konstantinos F. Sagonas: CHAT Is Theta(SLG-Wam). LPAR 1999: 337-357

Bart Demoen, Konstantinos F. Sagonas: CHAT: The Copy-Hybrid Approach to Tabling. PADL 1999: 106-121

Sofie Verbaeten, Konstantinos F. Sagonas, Danny De Schreye: Modular Termination Proofs for Prolog with Tabling. PPDP 1999: 342-359

Konstantinos F. Sagonas, Michael Leuschel: Extending Partial Deduction to Tabled Execution: Some Results and Open Issues. ACM Comput. Surv. 30(3es): 16 (1998)

Michael Codish, Bart Demoen, Konstantinos F. Sagonas: Semantics-Based Program Analysis for Logic-Based Languages Using XSB. STTT 2(1): 29-45 (1998)

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)

Maurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas: A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. ESOP 1998: 27-41

Bart Demoen, Konstantinos F. Sagonas: Memory Management for Prolog with Tabling. ISMM 1998: 97-106

Bart Demoen, Konstantinos F. Sagonas: CAT: The Copying Approach to Tabling. PLILP/ALP 1998: 21-35

Gerda Janssens, Konstantinos F. Sagonas: On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. TAPD 1998: 118-126

Michael Codish, Bart Demoen, Konstantinos F. Sagonas: XSB as the Natural Habitat for General Purpose Program Analysis. ICLP 1997: 416

Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos F. Sagonas: Termination Analysis for Tabled Logic Programming. LOPSTR 1997: 111-127

Michael Leuschel, Bern Martens, Konstantinos F. Sagonas: Preserving Termination of Tabled Logic Programs While Unfolding. LOPSTR 1997: 189-205

Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren, Juliana Freire: XSB: A System for Effciently Computing WFS. LPNMR 1997: 431-441

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An Abstract Machine for Fixed-Order Dynamically Stratified Programs. CADE 1996: 328-342

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An Abstract Machine for Computing the Well-Founded Semantics. JICSLP 1996: 274-288

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The Limits of Fixed-Order Computation. Logic in Databases 1996: 343-363

Konstantinos F. Sagonas, David Scott Warren: Efficient Execution of HiLog in WAM-based Prolog Implementations. ICLP 1995: 349-363

I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711

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

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as a Deductive Database. SIGMOD Conference 1994: 512

Konstantinos F. Sagonas, David Scott Warren: A Portable Compiler for Integrating HiLog into Prolog Systems. SLP 1994: 682

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The XSB Programming System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 164