Konstantinos Sagonas
Konstantinos Sagonas
Uppsala University and National Technical University of Athens (on leave)
Verified email at it.uu.se
Title
Cited by
Cited by
Year
XSB as an Efficient Deductive Database Engine
K Sagonas, T Swift, DS Warren
Proceedings of the ACM SIGMOD International Conference on the Management of …, 1994
5461994
XSB: A system for efficiently computing well-founded semantics
P Rao, K Sagonas, T Swift, DS Warren, J Freire
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997
1981997
Optimal dynamic partial order reduction
P Abdulla, S Aronis, B Jonsson, K Sagonas
ACM Symposium on Principles of Programming Languages (POPL'14), 373-384, 2014
1672014
An abstract machine for tabled execution of fixed-order stratified logic programs
K Sagonas, T Swift
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (3), 586-634, 1998
1591998
Stateless Model Checking for TSO and PSO
PA Abdulla, S Aronis, MF Atig, B Jonsson, C Leonardsson, K Sagonas
Acta Informatica 54 (8), 789-818, 2017
1192017
Efficient access mechanisms for tabled logic programs
IV Ramakrishnan, P Rao, K Sagonas, T Swift, DS Warren
Journal of Logic Programming 38 (1), 31-54, 1999
1151999
Practical type inference based on success typings
T Lindahl, K Sagonas
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
1042006
Efficient tabling mechanisms for logic programs
IV Ramakrishnan, P Rao, K Sagonas, T Swift, DS Warren
Proceedings of the 12th International Conference on Logic Programming, 687-711, 1995
1021995
A PropEr integration of types and function specifications with property-based testing
M Papadakis, K Sagonas
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, 39-50, 2011
912011
Effective stateless model checking for C/C++ concurrency
M Kokologiannakis, O Lahav, K Sagonas, V Vafeiadis
Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017
692017
Detecting software defects in telecom applications through lightweight static analysis: A war story
T Lindahl, K Sagonas
Asian Symposium on Programming Languages and Systems, 91-106, 2004
692004
CHAT: The copy-hybrid approach to tabling
B Demoen, K Sagonas
Practical Aspects of Declarative Languages, 106-121, 1998
611998
A high performance Erlang system
E Johansson, M Pettersson, K Sagonas
Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000
592000
CAT: The copying approach to tabling
B Demoen, K Sagonas
Principles of Declarative Programming, 21-35, 1998
591998
Systematic testing for detecting concurrency errors in Erlang programs
M Christakis, A Gotovos, K Sagonas
Sixth International Conference on Software Testing, Verification and …, 2013
502013
Demand-driven indexing of Prolog clauses
VS Costa, K Sagonas, R Lopes
Logic Programming, 395-409, 2007
472007
Semantica: Version 1.0 (for NEXTSTEP)
RK Larson, DS Warren, J Freire, P Gomez, K Sagonas
MIT Press, 1997
461997
XSB: An overview of its use and implementation
K Sagonas, T Swift, DS Warren
SUNY at Stony Brook, 1993
44*1993
TypEr: A type annotator of Erlang code
T Lindahl, K Sagonas
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 17-25, 2005
432005
A scalability benchmark suite for Erlang/OTP
S Aronis, N Papaspyrou, K Roukounaki, K Sagonas, Y Tsiouris, IE Venetis
Proceedings of the eleventh ACM SIGPLAN Erlang workshop, 33-42, 2012
412012
The system can't perform the operation now. Try again later.
Articles 1–20