default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKonstantinos Sagonas
Kostis Sagonas – Konstantinos F. Sagonas
Person information
- affiliation: Uppsala University, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c113]Hooman Asadian
, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas:
Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution. ARES 2024: 17:1-17:12- [c112]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas:
Parsimonious Optimal Dynamic Partial Order Reduction. CAV (2) 2024: 19-43 - [c111]Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs. ISSTA 2024: 1866-1870 - [c110]Per Ekemark, Alberto Ros, Konstantinos Sagonas, Stefanos Kaxiras:
A First Exploration of Fine-Grain Coherence for Integrity Metadata. SEED 2024: 62-72 - [c109]Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Scalable Tree-based Register Automata Learning. TACAS (2) 2024: 87-108 - [i9]Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Scalable Tree-based Register Automata Learning. CoRR abs/2401.14324 (2024) - [i8]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas:
Parsimonious Optimal Dynamic Partial Order Reduction. CoRR abs/2405.11128 (2024) - [i7]Milan Pandurov, Lukas Humbel, Dmitry Sepp, Adamos Ttofari, Leon Thomm, Do Le Quoc, Siddharth Chandrasekaran, Sharan Santhanam, Chuan Ye, Shai Bergman, Wei Wang, Sven Lundgren, Konstantinos Sagonas, Alberto Ros:
Flexible Swapping for the Cloud. CoRR abs/2409.13327 (2024) - 2023
- [c108]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. ATVA 2023: 176-198 - [c107]Konstantinos Sagonas, Thanasis Typaldos:
EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer. ISSTA 2023: 1495-1498 - [c106]Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. NDSS 2023 - [i6]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs. CoRR abs/2307.15930 (2023) - 2022
- [c105]Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. FMCAD 2022: 284-293 - [c104]Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas:
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. ICST 2022: 70-81 - [c103]Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
DTLS-Fuzzer: A DTLS Protocol State Fuzzer. ICST 2022: 456-458 - [c102]Clement Poncelet, Konstantinos Sagonas, Nicolas Tsiftes:
So Many Fuzzers, So Little Time✱: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack. ASE 2022: 95:1-95:12 - [i5]Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. CoRR abs/2208.09259 (2022) - 2021
- [j28]Kjell Winblad, Konstantinos Sagonas, Bengt Jonsson:
Lock-free Contention Adapting Search Trees. ACM Trans. Parallel Comput. 8(2): 10:1-10:38 (2021) - [c101]Konstantinos Sagonas:
Fifteen years of successfully dialyzing Erlang and Elixir code (invited talk). Erlang Workshop 2021: 1 - [c100]Per Ekemark, Yuan Yao, Alberto Ros, Konstantinos Sagonas, Stefanos Kaxiras:
TSOPER: Efficient Coherence-Based Strict Persistency. HPCA 2021: 125-138 - 2020
- [c99]Magnus Lång, Konstantinos Sagonas:
Parallel Graph-Based Stateless Model Checking. ATVA 2020: 377-393 - [c98]Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer:
Grammar-based testing for little languages: an experience report with student compilers. SLE 2020: 253-269 - [c97]Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky:
Analysis of DTLS Implementations Using Protocol State Fuzzing. USENIX Security Symposium 2020: 2523-2540 - [e6]Keisuke Nakano, Konstantinos Sagonas:
Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings. Lecture Notes in Computer Science 12073, Springer 2020, ISBN 978-3-030-59024-6 [contents]
2010 – 2019
- 2019
- [j27]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas:
Optimal stateless model checking for reads-from equivalence under sequential consistency. Proc. ACM Program. Lang. 3(OOPSLA): 150:1-150:29 (2019) - [j26]Michalis Kokologiannakis, Konstantinos Sagonas:
Stateless model checking of the Linux kernel's read-copy update (RCU). Int. J. Softw. Tools Technol. Transf. 21(3): 287-306 (2019) - [d1]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas:
Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency. Zenodo, 2019
- 2018
- [j25]Konstantinos Sagonas, Kjell Winblad:
A contention adapting approach to concurrent ordered sets. J. Parallel Distributed Comput. 115: 1-19 (2018) - [j24]Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas, Viktor Vafeiadis:
Effective stateless model checking for C/C++ concurrency. Proc. ACM Program. Lang. 2(POPL): 17:1-17:32 (2018) - [j23]David Klaftenegger, Konstantinos Sagonas, Kjell Winblad:
Queue Delegation Locking. IEEE Trans. Parallel Distributed Syst. 29(3): 687-704 (2018) - [c96]Andreas Löscher, Konstantinos Sagonas:
Automating Targeted Property-Based Testing. ICST 2018: 70-80 - [c95]Konstantinos Kallas, Konstantinos Sagonas:
HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang. IFL 2018: 25-36 - [c94]Kjell Winblad, Konstantinos Sagonas, Bengt Jonsson:
Lock-free Contention Adapting Search Trees. SPAA 2018: 121-132 - [c93]Stavros Aronis, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Optimal Dynamic Partial Order Reduction with Observers. TACAS (2) 2018: 229-248 - 2017
- [j22]Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas:
Stateless model checking for TSO and PSO. Acta Informatica 54(8): 789-818 (2017) - [j21]Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas:
Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. J. ACM 64(4): 25:1-25:49 (2017) - [j20]Kenichi Asai, Konstantinos Sagonas:
Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15). Sci. Comput. Program. 137: 1 (2017) - [j19]Aggelos Giantsios, Nikolaos Papaspyrou, Konstantinos Sagonas:
Concolic testing for functional languages. Sci. Comput. Program. 147: 109-134 (2017) - [j18]Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad:
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. 39(4): 17:1-17:46 (2017) - [c92]Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas:
Comparing Source Sets and Persistent Sets for Partial Order Reduction. Models, Algorithms, Logics and Tools 2017: 516-536 - [c91]Stavros Aronis, Konstantinos Sagonas:
The shared-memory interferences of Erlang/OTP built-ins. Erlang Workshop 2017: 43-54 - [c90]Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas:
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. IFM 2017: 227-242 - [c89]Andreas Löscher, Konstantinos Sagonas:
Targeted property-based testing. ISSTA 2017: 46-56 - [c88]Michalis Kokologiannakis, Konstantinos Sagonas:
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). SPIN 2017: 172-181 - [i4]Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad:
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR abs/1704.07234 (2017) - 2016
- [c87]Andreas Löscher, Konstantinos Sagonas:
The Nifty way to call hell from heaven. Erlang Workshop 2016: 1-11 - [c86]Konstantinos Sagonas, Kjell Winblad:
The Contention Avoiding Concurrent Priority Queue. LCPC 2016: 314-330 - 2015
- [c85]Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson, Konstantinos Sagonas:
Enabling Design of Performance-Controlled Sensor Network Applications through Task Allocation and Reallocation. DCOSS 2015: 248-253 - [c84]Stefanos Kaxiras, David Klaftenegger, Magnus Norgren, Alberto Ros, Konstantinos Sagonas:
Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory. HPDC 2015: 3-14 - [c83]Konstantinos Sagonas, Kjell Winblad:
Contention Adapting Search Trees. ISPDC 2015: 215-224 - [c82]Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson, Konstantinos Sagonas:
ProFuN TG: A tool for programming and managing performance-aware sensor network applications. LCN Workshops 2015: 751-759 - [c81]Konstantinos Sagonas, Kjell Winblad:
Efficient Support for Range Queries and Range Updates Using Contention Adapting Search Trees. LCPC 2015: 37-53 - [c80]Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstantinos Sagonas:
Concolic testing for functional languages. PPDP 2015: 137-148 - [c79]Andreas Löscher, Konstantinos Sagonas, Thiemo Voigt:
Property-based testing of sensor networks. SECON 2015: 100-108 - [c78]Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas:
Stateless Model Checking for TSO and PSO. TACAS 2015: 353-367 - [e5]Kenichi Asai, Kostis Sagonas:
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015. ACM 2015, ISBN 978-1-4503-3297-2 [contents] - [i3]Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas:
Stateless Model Checking for TSO and PSO. CoRR abs/1501.02069 (2015) - 2014
- [j17]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
Static safety guarantees for a low-level multithreaded language with regions. Sci. Comput. Program. 80: 223-263 (2014) - [c77]Konstantinos Sagonas, Kjell Winblad:
More scalable ordered set for ETS using adaptation. Erlang Workshop 2014: 3-11 - [c76]David Klaftenegger, Konstantinos Sagonas, Kjell Winblad:
Delegation Locking Libraries for Improved Performance of Multithreaded Programs. Euro-Par 2014: 572-583 - [c75]Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas:
Optimal dynamic partial order reduction. POPL 2014: 373-384 - [c74]David Klaftenegger, Konstantinos Sagonas, Kjell Winblad:
Brief announcement: queue delegation locking. SPAA 2014: 70-72 - 2013
- [c73]David Klaftenegger, Konstantinos Sagonas, Kjell Winblad:
On the scalability of the Erlang term storage. Erlang Workshop 2013: 15-26 - [c72]Maria Christakis, Alkis Gotovos, Konstantinos Sagonas:
Systematic Testing for Detecting Concurrency Errors in Erlang Programs. ICST 2013: 154-163 - [c71]Konstantinos Sagonas, Josep Silva, Salvador Tamarit:
Precise explanation of success typing errors. PEPM 2013: 33-42 - [e4]Konstantinos Sagonas:
Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings. Lecture Notes in Computer Science 7752, Springer 2013, ISBN 978-3-642-45283-3 [contents] - 2012
- [c70]Nikolaos Papaspyrou, Konstantinos Sagonas:
On preserving term sharing in the Erlang virtual machine. Erlang Workshop 2012: 11-20 - [c69]Konstantinos Sagonas, Chris Stavrakakis, Yiannis Tsiouris:
ErLLVM: an LLVM backend for Erlang. Erlang Workshop 2012: 21-32 - [c68]Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, Ioannis E. Venetis:
A scalability benchmark suite for Erlang/OTP. Erlang Workshop 2012: 33-42 - [c67]Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger:
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). Trends in Functional Programming 2012: 263-278 - [c66]Stavros Aronis, Konstantinos Sagonas:
On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer. Trends in Functional Programming 2012: 295-310 - [c65]Leonidas Lampropoulos, Konstantinos Sagonas:
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services. WWV 2012: 3-16 - 2011
- [c64]Stavros Aronis, Konstantinos Sagonas:
Typed callbacks for more robust behaviours. Erlang Workshop 2011: 23-29 - [c63]Manolis Papadakis, Konstantinos Sagonas:
A PropEr integration of types and function specifications with property-based testing. Erlang Workshop 2011: 39-50 - [c62]Alkis Gotovos, Maria Christakis, Konstantinos Sagonas:
Test-driven development of concurrent programs using concuerror. Erlang Workshop 2011: 51-61 - [c61]Maria Christakis, Konstantinos Sagonas:
Detection of Asynchronous Message Passing Errors Using Static Analysis. PADL 2011: 5-18 - [c60]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris:
Dynamic deadlock avoidance in systems code using statically inferred effects. PLOS@SOSP 2011: 5:1-5:5 - [c59]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
A type and effect system for deadlock avoidance in low-level languages. TLDI 2011: 15-28 - 2010
- [c58]Konstantinos Sagonas:
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs. FLOPS 2010: 13-18 - [c57]Mihalis Pitidis, Konstantinos Sagonas:
Purity in Erlang. IFL 2010: 137-152 - [c56]Maria Christakis, Konstantinos Sagonas:
Static Detection of Race Conditions in Erlang. PADL 2010: 119-133 - [c55]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
Race-free and memory-safe multithreading: design and implementation in cyclone. TLDI 2010: 15-26 - [c54]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering. PLACES 2010: 44-58 - [e3]Scott Lystig Fritchie, Konstantinos Sagonas:
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010. ACM 2010, ISBN 978-1-4503-0253-1 [contents]
2000 – 2009
- 2009
- [c53]Thanassis Avgerinos, Konstantinos Sagonas:
Cleaning up Erlang code is a dirty job but somebody's gotta do it. Erlang Workshop 2009: 1-10 - [c52]Konstantinos Sagonas, Thanassis Avgerinos:
Automatic refactoring of Erlang programs. PPDP 2009: 13-24 - [c51]Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
A Concurrent Language with a Uniform Treatment of Regions and Locks. PLACES 2009: 79-93 - 2008
- [c50]Konstantinos Sagonas, Daniel Luna:
Gradual typing of erlang programs: a wrangler experience. Erlang Workshop 2008: 73-82 - 2007
- [c49]Miguel Jimenez, Tobias Lindahl, Konstantinos Sagonas:
A language for specifying type contracts in Erlang and its interaction with success typings. Erlang Workshop 2007: 11-17 - [c48]Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes:
Demand-Driven Indexing of Prolog Clauses. ICLP 2007: 395-409 - [c47]Per Gustafsson, Konstantinos Sagonas:
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. PADL 2007: 94-108 - [c46]Konstantinos Sagonas:
Detecting defects in Erlang programs using static analysis. PPDP 2007: 37 - 2006
- [j16]Per Gustafsson, Konstantinos Sagonas:
Efficient manipulation of binary data using pattern matching. J. Funct. Program. 16(1): 35-74 (2006) - [j15]Konstantinos Sagonas, Jesper Wilhelmsson:
Efficient memory management for concurrent programs that use message passing. Sci. Comput. Program. 62(2): 98-121 (2006) - [j14]Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson:
Message analysis for concurrent programs using message passing. ACM Trans. Program. Lang. Syst. 28(4): 715-746 (2006) - [c45]Konstantinos Sagonas, Jesper Wilhelmsson:
Mark and split. ISMM 2006: 29-39 - [c44]Zoltan Somogyi, Konstantinos Sagonas:
Tabling in Mercury: Design and Implementation. PADL 2006: 150-167 - [c43]Tobias Lindahl, Konstantinos Sagonas:
Practical type inference based on success typings. PPDP 2006: 167-178 - 2005
- [c42]Per Gustafsson, Konstantinos Sagonas:
Bit-level binaries and generalized comprehensions in Erlang. Erlang Workshop 2005: 1-8 - [c41]Tobias Lindahl, Konstantinos Sagonas:
TypEr: a type annotator of Erlang code. Erlang Workshop 2005: 17-25 - [c40]Daniel Luna, Mikael Pettersson, Konstantinos Sagonas:
Efficiently compiling a functional language on AMD64: the HiPE experience. PPDP 2005: 176-186 - [e2]Konstantinos Sagonas, Joe Armstrong:
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005. ACM 2005, ISBN 1-59593-066-3 [contents] - 2004
- [c39]Tobias Lindahl, Konstantinos Sagonas:
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. APLAS 2004: 91-106 - [c38]Daniel Luna, Mikael Pettersson, Konstantinos Sagonas:
HiPE on AMD64. Erlang Workshop 2004: 38-47 - [c37]Per Gustafsson, Konstantinos Sagonas:
Adaptive Pattern Matching on Binary Data. ESOP 2004: 124-139 - [c36]Konstantinos Sagonas, Jesper Wilhelmsson:
Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language. ISMM 2004: 1-12 - [c35]Konstantinos Sagonas, Peter J. Stuckey:
Just enough tabling. PPDP 2004: 78-89 - 2003
- [j13]Konstantinos Sagonas, Erik Stenman:
Experimental evaluation and improvements to linear scan register allocation. Softw. Pract. Exp. 33(11): 1003-1034 (2003) - [j12]Bengt Jonsson, Konstantinos Sagonas:
Preface by the section editors. Int. J. Softw. Tools Technol. Transf. 4(4): 401-404 (2003) - [j11]Erik Johansson, Mikael Pettersson, Konstantinos Sagonas, Thomas Lindgren:
The development of the HiPE system: design and experience report. Int. J. Softw. Tools Technol. Transf. 4(4): 421-436 (2003) - [c34]Konstantinos 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 - [c33]Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson:
Message Analysis for Concurrent Languages. SAS 2003: 73-90 - 2002
- [c32]Per Gustafsson, Konstantinos Sagonas:
Native code compilation of Erlang's bit syntax. Erlang Workshop 2002: 6-15 - [c31]Erik Stenman, Konstantinos Sagonas:
On reducing interprocess communication overhead in concurrent programs. Erlang Workshop 2002: 58-63 - [c30]Mikael Pettersson, Konstantinos Sagonas, Erik Johansson:
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. FLOPS 2002: 228-244 - [c29]Henning Makholm, Konstantinos Sagonas:
On Enabling the WAM with Region Support. ICLP 2002: 163-178 - [c28]Tobias Lindahl, Konstantinos Sagonas:
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. IFL 2002: 134-149 - [c27]Erik Johansson, Konstantinos Sagonas, Jesper Wilhelmsson:
Heap architectures for concurrent languages using message passing. MSP/ISMM 2002: 195-206 - [c26]Erik Johansson, Konstantinos Sagonas