Segui
Konstantinos Sagonas
Konstantinos Sagonas
Altri nomiKostis Sagonas
Uppsala University and National Technical University of Athens
Email verificata su it.uu.se
Titolo
Citata da
Citata da
Anno
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
5821994
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
2442014
XSB: A system for efficiently computing well-founded semantics
P Rao, K Sagonas, T Swift, DS Warren, J Freire
Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997
2071997
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
1942017
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
1651998
Effective stateless model checking for C/C++ concurrency
M Kokologiannakis, O Lahav, K Sagonas, V Vafeiadis
PACMPL 2 (POPL), 17:1–17:32, 2018
1532018
Analysis of {DTLS} Implementations Using Protocol State Fuzzing
P Fiterau-Brostean, B Jonsson, R Merget, J de Ruiter, K Sagonas, ...
29th {USENIX} Security Symposium ({USENIX} Security 20), 2020
1392020
Practical type inference based on success typings
T Lindahl, K Sagonas
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
1382006
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
1212011
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
1181999
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
1061995
Detecting software defects in telecom applications through lightweight static analysis: A war story
T Lindahl, K Sagonas
Programming Languages and Systems: Second Asian Symposium, APLAS 2004 …, 2004
802004
Systematic testing for detecting concurrency errors in Erlang programs
M Christakis, A Gotovos, K Sagonas
Sixth International Conference on Software Testing, Verification and …, 2013
742013
Source sets: A foundation for optimal dynamic partial order reduction
PA Abdulla, S Aronis, B Jonsson, K Sagonas
Journal of the ACM (JACM) 64 (4), 1-49, 2017
672017
CAT: The copying approach to tabling
B Demoen, K Sagonas
International Conference on Algebraic and Logic Programming, 21-35, 1998
651998
Turning centralized coherence and distributed critical-section execution on their head: A new approach for scalable distributed shared memory
S Kaxiras, D Klaftenegger, M Norgren, A Ros, K Sagonas
Proceedings of the 24th International Symposium on High-Performance Parallel …, 2015
642015
CHAT: The copy-hybrid approach to tabling
B Demoen, K Sagonas
Practical Aspects of Declarative Languages, 106-121, 1998
631998
A high performance Erlang system
E Johansson, M Pettersson, K Sagonas
Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000
622000
Semantica: Version 1.0 (for NEXTSTEP)
RK Larson, DS Warren, J Freire, P Gomez, K Sagonas
MIT Press, 1997
561997
Optimal stateless model checking for reads-from equivalence under sequential consistency
PA Abdulla, MF Atig, B Jonsson, M Lång, TP Ngo, K Sagonas
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
542019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20