The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Konstantinos F. Sagonas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  67. A language for specifying type contracts in Erlang and its interaction with success typings. [Citation Graph (, )][DBLP]


  68. Cleaning up Erlang code is a dirty job but somebody's gotta do it. [Citation Graph (, )][DBLP]


  69. Gradual typing of erlang programs: a wrangler experience. [Citation Graph (, )][DBLP]


  70. Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs. [Citation Graph (, )][DBLP]


  71. Static Detection of Race Conditions in Erlang. [Citation Graph (, )][DBLP]


  72. Automatic refactoring of Erlang programs. [Citation Graph (, )][DBLP]


  73. Race-free and memory-safe multithreading: design and implementation in cyclone. [Citation Graph (, )][DBLP]


  74. A Concurrent Language with a Uniform Treatment of Regions and Locks [Citation Graph (, )][DBLP]


Search in 0.017secs, Finished in 0.022secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002