Konstantinos Sagonas
Senior Lecturer/Associate Professor at Department of Information Technology; Division of Computer Systems
- Telephone:
- +46 18 471 10 56
- E-mail:
- Konstantinos.Sagonas@it.uu.se
- Visiting address:
- Hus 10, Regementsvägen 10
- Postal address:
- Box 524
751 20 UPPSALA
- ORCID:
- 0000-0001-9657-0179
Short presentation
I am a computer scientist.
I am also a terrible e-mail responder, so contact me on the phone if you want some reaction.
In my publications, I use the first name in my passport (Konstantinos), but I usually go by the name Kostis (NB: its correct pronunciation has the intonation in the second syllable).
You can find more information about my research output on my DBLP entry or on Google Scholar, where you can also find a photo of mine and an up-to-date list of my research areas.
Keywords
- computer science
Publications
Selection of publications
-
Optimal stateless model checking for reads-from equivalence under sequential consistency
Part of Proceedings of the ACM on Programming Languages, p. 1-29, 2019
- DOI for Optimal stateless model checking for reads-from equivalence under sequential consistency
- Download full text (pdf) of Optimal stateless model checking for reads-from equivalence under sequential consistency
-
Stateless model checking of the Linux kernel's read-copy update (RCU)
Part of International Journal on Software Tools for Technology Transfer, p. 287-306, 2019
- DOI for Stateless model checking of the Linux kernel's read-copy update (RCU)
- Download full text (pdf) of Stateless model checking of the Linux kernel's read-copy update (RCU)
-
Optimal dynamic partial order reduction with observers
Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 229-248, 2018
- DOI for Optimal dynamic partial order reduction with observers
- Download full text (pdf) of Optimal dynamic partial order reduction with observers
-
Progress on Algorithms for Stateless Model Checking
Part of Proceedings of the Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018
-
Lock-free Contention Adapting Search Trees
Part of The 30th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2018, 2018
-
Automating Targeted Property-Based Testing
Part of IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), p. 70-80, 2018
-
A contention adapting approach to concurrent ordered sets
Part of Journal of Parallel and Distributed Computing, p. 1-19, 2018
-
Part of IEEE Transactions on Parallel and Distributed Systems, p. 687-704, 2018
-
Targeted property-based testing
Part of Proc. 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, p. 46-56, 2017
-
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)
Part of Proc. 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, p. 172-181, 2017
-
Comparing source sets and persistent sets for partial order reduction
Part of Models, Algorithms, Logics and Tools, p. 516-536, Springer, 2017
-
The shared-memory interferences of Erlang/OTP built-ins
Part of Proceedings Of The 16Th Acm Sigplan International Workshop On Erlang (Erlang '17), p. 43-54, 2017
- DOI for The shared-memory interferences of Erlang/OTP built-ins
- Download full text (pdf) of The shared-memory interferences of Erlang/OTP built-ins
-
The Contention Avoiding Concurrent Priority Queue
Part of Languages and Compilers for Parallel Computing, p. 314-330, 2017
-
Scaling Reliably: Improving the scalability of the Erlang distributed actor platform
Part of ACM Transactions on Programming Languages and Systems, 2017
-
Stateless model checking for TSO and PSO
Part of Acta Informatica, p. 789-818, 2017
-
Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking
p. 227-242, 2017
- DOI for Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking
- Download full text (pdf) of Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking
-
Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM ' 15)
Part of Science of Computer Programming, p. 1-1, 2017
-
Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction
Part of Journal of the ACM, 2017
-
Concolic testing for functional languages
Part of Science of Computer Programming, p. 109-134, 2017
-
The Nifty way to call hell from heaven
Part of Proc. 15th International Workshop on Erlang, p. 1-11, 2016
-
Stateless model checking for TSO and PSO
Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 353-367, 2015
-
Part of Proc. Poster/Demo Session, p. 19-20, 2015
-
Property-Based Testing of Sensor Networks
Part of Proc. 12th International Conference on Sensing, Communication, and Networking, p. 100-108, 2015
-
Part of Proc. 11th International Conference on Distributed Computing in Sensor Systems, p. 248-253, 2015
- DOI for Enabling design of performance-controlled sensor network applications through task allocation and reallocation
- Download full text (pdf) of Enabling design of performance-controlled sensor network applications through task allocation and reallocation
-
Contention adapting search trees
Part of Proc. 14th International Symposium on Parallel and Distributed Computing, p. 215-224, 2015
-
ProFuN TG: A tool for programming and managing performance-aware sensor network applications
Part of IEEE 40th Local Computer Networks Conference Workshops (LCN Workshops), p. 751-759, 2015
- DOI for ProFuN TG: A tool for programming and managing performance-aware sensor network applications
- Download full text (pdf) of ProFuN TG: A tool for programming and managing performance-aware sensor network applications
-
ProFuN TG: Programming Sensornets with Task Graphs for Increased Reliability and Energy-Efficiency
2015
-
More scalable ordered set for ETS using adaptation
Part of Proc. 13th ACM SIGPLAN Workshop on Erlang, p. 3-11, 2014
-
Delegation locking libraries for improved performance of multithreaded programs
Part of Euro-Par 2014, p. 572-583, 2014
-
Optimal dynamic partial order reduction
Part of Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, p. 373-384, 2014
-
Static safety guarantees for a low-level multithreaded language with regions
Part of Science of Computer Programming, p. 223-263, 2014
-
On the scalability of the Erlang term storage
Part of Proc. 12th ACM SIGPLAN Workshop on Erlang, p. 15-26, 2013
-
Precise explanation of success typing errors
Part of Proc. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, p. 33-42, 2013
-
Systematic testing for detecting concurrency errors in Erlang programs
Part of Proc. 6th International Conference on Software Testing, Verification and Validation, p. 154-163, 2013
-
On using Erlang for parallelization: Experience from parallelizing Dialyzer
Part of Trends in Functional Programming, p. 295-310, 2013
-
RELEASE: A high-level paradigm for reliable large-scale server software
Part of Trends in Functional Programming, p. 263-278, 2013
-
ErLLVM: An LLVM backend for Erlang
Part of Proc. 11th ACM SIGPLAN Workshop on Erlang, p. 21-32, 2012
-
A scalability benchmark suite for Erlang/OTP
Part of Proc. 11th ACM SIGPLAN Workshop on Erlang, p. 33-42, 2012
-
On preserving term sharing in the Erlang virtual machine
Part of Proc. 11th ACM SIGPLAN Workshop on Erlang, p. 11-20, 2012
-
A type and effect system for deadlock avoidance in low-level languages
Part of Proc. 6th International Workshop on Types in Language Design and Implementation, p. 15-28, 2011
-
Detection of asynchronous message passing errors using static analysis
Part of Practical Aspects of Declarative Languages, p. 5-18, 2011
-
Static detection of race conditions in Erlang
Part of Practical Aspects of Declarative Languages, p. 119-133, 2010
-
Race-free and memory-safe multithreading: Design and implementation in Cyclone
Part of Proc. 5th International Workshop on Types in Language Design and Implementation, p. 15-26, 2010
-
Using static analysis to detect type errors and concurrency defects in Erlang programs
Part of Functional and Logic Programming, p. 13-18, 2010
-
A concurrent language with a uniform treatment of regions and locks
Part of Proc. 2nd Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, p. 79-93, 2010
-
Automatic refactoring of Erlang programs
Part of Proc. 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, p. 13-23, 2009
-
Gradual Typing of Erlang Programs: A Wrangler Experience
Part of Proc. 7th ACM SIGPLAN Workshop on ERLANG, p. 73-81, 2008
-
A language for specifying type contracts in Erlang and its interaction with success typings
Part of Proc. 6th ACM SIGPLAN Workshop on ERLANG, p. 11-17, 2007
-
Detecting defects in Erlang programs using static analysis
Part of Proc. 9th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, p. 37-37, 2007
-
Demand-Driven Indexing of Prolog Clauses
Part of Logic Programming, p. 395-409, 2007
-
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
Part of Practical Aspects of Declarative Languages, p. 94-108, 2007
-
Practical type inference based on success typings
Part of Proc. 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, p. 167-178, 2006
-
Tabling in Mercury: Design and Implementation
Part of PADL'06, 2006
-
Part of ISSM'06, 2006
-
Efficient manipulation of binary data using pattern matching
Part of Journal of Functional Programming, p. 35-74, 2006
-
Efficient Memory Management for Concurrent Programs that Use Message Passing
Part of Science of Computer Programming, p. 98-121, 2006
-
Message analysis for concurrent programs using message passing
Part of ACM Transactions on Programming Languages and Systems, p. 715-746, 2006
-
Bit-level binaries and generalized comprehensions in Erlang
Part of Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, 2005
-
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang
2005
-
TypEr: A Type Annotator of Erlang Code
Part of Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, p. 17-25, 2005
-
Efficiently Compiling a Functional Language on AMD64: The HiPE Experience
Part of PPDP 2005, 2005
-
Bit-level Binaries and Generalized Comprehensions in Erlang
Part of Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, p. 1-8, 2005
-
Efficiently Compiling a Functional Language on AMD64: The HiPE Experience
Part of Proceedings of the Seventh ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, p. 176-186, 2005
-
Part of Proceedings of ACM SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools, 2005
-
Part of In Proceedings of ISMM'04: ACM SIGPLAN International Symposium on Memory Management, p. 1-12, 2004
-
Part of In Proceedings of the Third ACM SIGPLAN Erlang Workshop, p. 38-47, 2004
-
Part of In Proceedings of the Sixth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, p. 78-89, 2004
-
Adaptive Pattern Matching on Binary Data
Part of In Programming Languages and Systems. Proceedings of the 13th European Symposium On Programming, p. 124-139, 2004
-
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
Part of In Programming Languages and Systems: Proceedings of the Second Asian Symposium, p. 91-106, 2004
-
The development of the HiPE system: Design and experience report
Part of International Journal on Software Tools for Technology Transfer, p. 421-436, 2003
-
ASTEC: An Experience in the Establishment of Collaboration between Academia and Industry
Part of Springer International Journal on Software Tools for Technology Transfer, p. 401-404, 2003
-
Experimental Evaluation and Improvements to Linear Scan Register Allocation
Part of Software - Practice & Experience, p. 1003-1034, 2003
-
All you wanted to know about the HiPE compiler: (but might have been afraid to ask)
Part of Proceedings of the Second ACM SIGPLAN Erlang Workshop, p. 36-43, 2003
-
Message Analysis for Concurrent Languages
Part of In Proceedings of the Static Analysis Symposium, p. 73-90, 2003
-
On Enabling the WAM with Region Support
Part of Proceedings of the International Conference on Logic Programming, p. 163-178, 2002
-
Native Code Compilation of Erlang's Bit Syntax
Part of Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, p. 6-15, 2002
-
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.
Part of Proceedings of the 14th International Workshop on the Implementation of Functional Languages (IFL 2002). Madrid, Spain, September 2002. LNCS., 2002
-
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.
Part of Proceedings of the 6th International Symposium on Functional and Logic Programming, Aizu, Japan, September 2002. Springer, p. 228-244, 2002
-
Linear Scan Register Allocation in a High-Performance Erlang Compiler.
Part of # Practical Aspects of Declarative Languages: Proceedings of the PADL 2002 Symposium, Portland, Oregon., p. 299-317, 2002
-
Heap Architectures for Concurrent Languages using Message Passing
Part of Proceedings of ISMM'2002: ACM SIGPLAN International Symposium on Memory Management, p. 88-99, 2002
-
Segment Order Preserving and Generational Garbage Collection for Prolog
Part of In Practical Aspects of Declarative Languages: Proceedings of the PADL 2002 Symposium, p. 299-317, 2002
-
On Reducing Interprocess Communication Overhead in Concurrent Programs.
Part of Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, p. 58-63, 2002
-
Heap Memory Management in Prolog with Tabling: Practice and Experience
Part of Journal of Functional and Logic Programming: Special Issue on Selected Best Papers from PADL 2000, p. 1-56, 2001
-
Termination Proofs for Logic Programs with Tabling
Part of ACM Transactions on Computational Logic, p. 57-92, 2001
-
Modular termination proofs for Prolog with tabling
Part of Principles and Practice of Declarative Programming, p. 342-359, 1999
-
CAT: the Copying Approach to Tabling
Part of Journal of Functional and Logic Programming: Special Issue on Selected Best Papers from PLILP/ALP'98, p. 1-38, 1999
Recent publications
-
PSF: A Generic and Extensible Framework for Protocol State Fuzzing
Part of Computer Aided Verification, p. 167-180, 2026
- DOI for PSF: A Generic and Extensible Framework for Protocol State Fuzzing
- Download full text (pdf) of PSF: A Generic and Extensible Framework for Protocol State Fuzzing
-
SLλ: A Scalable Algorithm for Register Automata Learning
Part of Journal of automated reasoning, 2026
- DOI for SLλ: A Scalable Algorithm for Register Automata Learning
- Download full text (pdf) of SLλ: A Scalable Algorithm for Register Automata Learning
-
State Fuzzing DTLS 1.3 Implementations
Part of 2025 IEEE Conference on Standards for Communications and Networking (CSCN), p. 426-432, 2025
-
Awaiting for Godot: stateless model checking that avoids executions where nothing happens
Part of Formal methods in system design, p. 71-105, 2025
- DOI for Awaiting for Godot: stateless model checking that avoids executions where nothing happens
- Download full text (pdf) of Awaiting for Godot: stateless model checking that avoids executions where nothing happens
-
Parsimonious Optimal Dynamic Partial Order Reduction
Part of Computer Aided Verification, PT II, CAV 2024, p. 19-43, 2024
- DOI for Parsimonious Optimal Dynamic Partial Order Reduction
- Download full text (pdf) of Parsimonious Optimal Dynamic Partial Order Reduction
All publications
Articles in journal
-
SLλ: A Scalable Algorithm for Register Automata Learning
Part of Journal of automated reasoning, 2026
- DOI for SLλ: A Scalable Algorithm for Register Automata Learning
- Download full text (pdf) of SLλ: A Scalable Algorithm for Register Automata Learning
-
Awaiting for Godot: stateless model checking that avoids executions where nothing happens
Part of Formal methods in system design, p. 71-105, 2025
- DOI for Awaiting for Godot: stateless model checking that avoids executions where nothing happens
- Download full text (pdf) of Awaiting for Godot: stateless model checking that avoids executions where nothing happens
-
Lock-free Contention Adapting Search Trees
Part of ACM TRANSACTIONS ON PARALLEL COMPUTING, 2021
-
Optimal stateless model checking for reads-from equivalence under sequential consistency
Part of Proceedings of the ACM on Programming Languages, p. 1-29, 2019
- DOI for Optimal stateless model checking for reads-from equivalence under sequential consistency
- Download full text (pdf) of Optimal stateless model checking for reads-from equivalence under sequential consistency
-
Stateless model checking of the Linux kernel's read-copy update (RCU)
Part of International Journal on Software Tools for Technology Transfer, p. 287-306, 2019
- DOI for Stateless model checking of the Linux kernel's read-copy update (RCU)
- Download full text (pdf) of Stateless model checking of the Linux kernel's read-copy update (RCU)
-
Effective Stateless Model Checking for C/C++ Concurrency
Part of Proceedings of the ACM on Programming Languages, p. 1-32, 2018
- DOI for Effective Stateless Model Checking for C/C++ Concurrency
- Download full text (pdf) of Effective Stateless Model Checking for C/C++ Concurrency
-
A contention adapting approach to concurrent ordered sets
Part of Journal of Parallel and Distributed Computing, p. 1-19, 2018
-
Part of IEEE Transactions on Parallel and Distributed Systems, p. 687-704, 2018
-
Scaling Reliably: Improving the scalability of the Erlang distributed actor platform
Part of ACM Transactions on Programming Languages and Systems, 2017
-
Stateless model checking for TSO and PSO
Part of Acta Informatica, p. 789-818, 2017
-
Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM ' 15)
Part of Science of Computer Programming, p. 1-1, 2017
-
Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction
Part of Journal of the ACM, 2017
-
Concolic testing for functional languages
Part of Science of Computer Programming, p. 109-134, 2017
-
Static safety guarantees for a low-level multithreaded language with regions
Part of Science of Computer Programming, p. 223-263, 2014
-
Efficient manipulation of binary data using pattern matching
Part of Journal of Functional Programming, p. 35-74, 2006
-
Efficient Memory Management for Concurrent Programs that Use Message Passing
Part of Science of Computer Programming, p. 98-121, 2006
-
Message analysis for concurrent programs using message passing
Part of ACM Transactions on Programming Languages and Systems, p. 715-746, 2006
-
The development of the HiPE system: Design and experience report
Part of International Journal on Software Tools for Technology Transfer, p. 421-436, 2003
-
ASTEC: An Experience in the Establishment of Collaboration between Academia and Industry
Part of Springer International Journal on Software Tools for Technology Transfer, p. 401-404, 2003
-
Experimental Evaluation and Improvements to Linear Scan Register Allocation
Part of Software - Practice & Experience, p. 1003-1034, 2003
-
Heap Memory Management in Prolog with Tabling: Practice and Experience
Part of Journal of Functional and Logic Programming: Special Issue on Selected Best Papers from PADL 2000, p. 1-56, 2001
-
Termination Proofs for Logic Programs with Tabling
Part of ACM Transactions on Computational Logic, p. 57-92, 2001
-
CAT: the Copying Approach to Tabling
Part of Journal of Functional and Logic Programming: Special Issue on Selected Best Papers from PLILP/ALP'98, p. 1-38, 1999
Chapters in book
-
Trading Space for Simplicity in Stateless Model Checking
Part of Real Time and Such, p. 79-97, Springer, 2024
-
Comparing source sets and persistent sets for partial order reduction
Part of Models, Algorithms, Logics and Tools, p. 516-536, Springer, 2017
Conference papers
-
PSF: A Generic and Extensible Framework for Protocol State Fuzzing
Part of Computer Aided Verification, p. 167-180, 2026
- DOI for PSF: A Generic and Extensible Framework for Protocol State Fuzzing
- Download full text (pdf) of PSF: A Generic and Extensible Framework for Protocol State Fuzzing
-
State Fuzzing DTLS 1.3 Implementations
Part of 2025 IEEE Conference on Standards for Communications and Networking (CSCN), p. 426-432, 2025
-
Parsimonious Optimal Dynamic Partial Order Reduction
Part of Computer Aided Verification, PT II, CAV 2024, p. 19-43, 2024
- DOI for Parsimonious Optimal Dynamic Partial Order Reduction
- Download full text (pdf) of Parsimonious Optimal Dynamic Partial Order Reduction
-
Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution
Part of 19TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY, ARES 2024, 2024
-
Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP
Part of 2024 IEEE Conference on Standards for Communications and Networking (CSCN), p. 48-54, 2024
-
Parsimonious Optimal Dynamic Partial Order Reduction
2024
-
A First Exploration of Fine-Grain Coherence for Integrity Metadata
Part of 2024 INTERNATIONAL SYMPOSIUM ON SECURE AND PRIVATE EXECUTION ENVIRONMENT DESIGN, SEED 2024, p. 62-72, 2024
-
SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
Part of PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, p. 1866-1870, 2024
-
Scalable Tree-based Register Automata Learning
Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 87-108, 2024
- DOI for Scalable Tree-based Register Automata Learning
- Download full text (pdf) of Scalable Tree-based Register Automata Learning
-
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations
Part of Network and Distributed System Security (NDSS) Symposium 2023, p. 1-18, 2023
-
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs
Part of Automated Technology for Verification and Analysis, p. 176-198, 2023
- DOI for Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs
- Download full text (pdf) of Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs
-
EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
Part of Proceedings of the 32nd ACM Sigsoft International Symposium on Software Testing and Analysis, ISSTA 2023, p. 1495-1498, 2023
- DOI for EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
- Download full text (pdf) of EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
-
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification
Part of 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), p. 70-81, 2022
-
Part of ASE '22, 2022
- DOI for So Many Fuzzers, So Little Time: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack
- Download full text (pdf) of So Many Fuzzers, So Little Time: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack
-
Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens
Part of 2022 Formal Methods in Computer-Aided Design (FMCAD), p. 284-293, 2022
- DOI for Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens
- Download full text (pdf) of Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens
-
DTLS-Fuzzer: A DTLS Protocol State Fuzzer
Part of 2022 IEEE 15th International Conference on Software Testing, Verification and Validation (ICST 2022), p. 456-458, 2022
-
TSOPER: Efficient Coherence-Based Strict Persistency
Part of 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA), p. 125-138, 2021
-
Fifteen Years of Successfully Dialyzing Erlang and Elixir Code: Abstract
Part of Erlang '21, p. 1-1, 2021
-
Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
Part of Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, p. 253-269, 2020
-
Analysis of DTLS Implementations Using Protocol State Fuzzing
Part of Proceedings of the 29th USENIX Security Symposium, p. 2523-2540, 2020
-
Parallel Graph-Based Stateless Model Checking
Part of Automated Technology for Verification and Analysis, p. 377-393, 2020
-
Concolic Testing of Higher-order Functional Languages
Part of Electronic Proceedings in Theoretical Computer Science, p. 2-2, 2019
-
Optimal dynamic partial order reduction with observers
Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 229-248, 2018
- DOI for Optimal dynamic partial order reduction with observers
- Download full text (pdf) of Optimal dynamic partial order reduction with observers
-
Progress on Algorithms for Stateless Model Checking
Part of Proceedings of the Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018
-
Lock-free Contention Adapting Search Trees
Part of The 30th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2018, 2018
-
HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang
Part of Proceedings of the 30th Symposium on Implementation and Application ff Functional Languages (IFL 2018), p. 25-36, 2018
-
Automating Targeted Property-Based Testing
Part of IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), p. 70-80, 2018
-
Targeted property-based testing
Part of Proc. 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, p. 46-56, 2017
-
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)
Part of Proc. 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, p. 172-181, 2017
-
The shared-memory interferences of Erlang/OTP built-ins
Part of Proceedings Of The 16Th Acm Sigplan International Workshop On Erlang (Erlang '17), p. 43-54, 2017
- DOI for The shared-memory interferences of Erlang/OTP built-ins
- Download full text (pdf) of The shared-memory interferences of Erlang/OTP built-ins
-
The Contention Avoiding Concurrent Priority Queue
Part of Languages and Compilers for Parallel Computing, p. 314-330, 2017
-
Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking
p. 227-242, 2017
- DOI for Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking
- Download full text (pdf) of Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking
-
The Nifty way to call hell from heaven
Part of Proc. 15th International Workshop on Erlang, p. 1-11, 2016
-
Concolic Testing for Functional Languages
Part of Proceedings of the 17th international symposium on principles and practice of declarative programming (PPDP 2015), p. 137-148, 2015
-
Stateless model checking for TSO and PSO
Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 353-367, 2015
-
Part of Proc. Poster/Demo Session, p. 19-20, 2015
-
Property-Based Testing of Sensor Networks
Part of Proc. 12th International Conference on Sensing, Communication, and Networking, p. 100-108, 2015
-
Part of Proc. 11th International Conference on Distributed Computing in Sensor Systems, p. 248-253, 2015
- DOI for Enabling design of performance-controlled sensor network applications through task allocation and reallocation
- Download full text (pdf) of Enabling design of performance-controlled sensor network applications through task allocation and reallocation
-
Contention adapting search trees
Part of Proc. 14th International Symposium on Parallel and Distributed Computing, p. 215-224, 2015
-
ProFuN TG: A tool for programming and managing performance-aware sensor network applications
Part of IEEE 40th Local Computer Networks Conference Workshops (LCN Workshops), p. 751-759, 2015
- DOI for ProFuN TG: A tool for programming and managing performance-aware sensor network applications
- Download full text (pdf) of ProFuN TG: A tool for programming and managing performance-aware sensor network applications
-
ProFuN TG: Programming Sensornets with Task Graphs for Increased Reliability and Energy-Efficiency
2015
-
More scalable ordered set for ETS using adaptation
Part of Proc. 13th ACM SIGPLAN Workshop on Erlang, p. 3-11, 2014
-
Delegation locking libraries for improved performance of multithreaded programs
Part of Euro-Par 2014, p. 572-583, 2014
-
Optimal dynamic partial order reduction
Part of Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, p. 373-384, 2014
-
Brief announcement: queue delegation locking
Part of Proc. 26th ACM Symposium on Parallelism in Algorithms and Architectures, p. 70-72, 2014
- DOI for Brief announcement: queue delegation locking
- Download full text (pdf) of Brief announcement: queue delegation locking
-
On the scalability of the Erlang term storage
Part of Proc. 12th ACM SIGPLAN Workshop on Erlang, p. 15-26, 2013
-
Precise explanation of success typing errors
Part of Proc. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, p. 33-42, 2013
-
Systematic testing for detecting concurrency errors in Erlang programs
Part of Proc. 6th International Conference on Software Testing, Verification and Validation, p. 154-163, 2013
-
On using Erlang for parallelization: Experience from parallelizing Dialyzer
Part of Trends in Functional Programming, p. 295-310, 2013
-
RELEASE: A high-level paradigm for reliable large-scale server software
Part of Trends in Functional Programming, p. 263-278, 2013
-
ErLLVM: An LLVM backend for Erlang
Part of Proc. 11th ACM SIGPLAN Workshop on Erlang, p. 21-32, 2012
-
A scalability benchmark suite for Erlang/OTP
Part of Proc. 11th ACM SIGPLAN Workshop on Erlang, p. 33-42, 2012
-
On preserving term sharing in the Erlang virtual machine
Part of Proc. 11th ACM SIGPLAN Workshop on Erlang, p. 11-20, 2012
-
A type and effect system for deadlock avoidance in low-level languages
Part of Proc. 6th International Workshop on Types in Language Design and Implementation, p. 15-28, 2011
-
Detection of asynchronous message passing errors using static analysis
Part of Practical Aspects of Declarative Languages, p. 5-18, 2011
-
Static detection of race conditions in Erlang
Part of Practical Aspects of Declarative Languages, p. 119-133, 2010
-
Race-free and memory-safe multithreading: Design and implementation in Cyclone
Part of Proc. 5th International Workshop on Types in Language Design and Implementation, p. 15-26, 2010
-
Using static analysis to detect type errors and concurrency defects in Erlang programs
Part of Functional and Logic Programming, p. 13-18, 2010
-
A concurrent language with a uniform treatment of regions and locks
Part of Proc. 2nd Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, p. 79-93, 2010
-
Automatic refactoring of Erlang programs
Part of Proc. 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, p. 13-23, 2009
-
Gradual Typing of Erlang Programs: A Wrangler Experience
Part of Proc. 7th ACM SIGPLAN Workshop on ERLANG, p. 73-81, 2008
-
A language for specifying type contracts in Erlang and its interaction with success typings
Part of Proc. 6th ACM SIGPLAN Workshop on ERLANG, p. 11-17, 2007
-
Detecting defects in Erlang programs using static analysis
Part of Proc. 9th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, p. 37-37, 2007
-
Demand-Driven Indexing of Prolog Clauses
Part of Logic Programming, p. 395-409, 2007
-
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
Part of Practical Aspects of Declarative Languages, p. 94-108, 2007
-
Practical type inference based on success typings
Part of Proc. 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, p. 167-178, 2006
-
Tabling in Mercury: Design and Implementation
Part of PADL'06, 2006
-
Part of ISSM'06, 2006
-
Bit-level binaries and generalized comprehensions in Erlang
Part of Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, 2005
-
TypEr: A Type Annotator of Erlang Code
Part of Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, p. 17-25, 2005
-
Efficiently Compiling a Functional Language on AMD64: The HiPE Experience
Part of PPDP 2005, 2005
-
Bit-level Binaries and Generalized Comprehensions in Erlang
Part of Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, p. 1-8, 2005
-
Efficiently Compiling a Functional Language on AMD64: The HiPE Experience
Part of Proceedings of the Seventh ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, p. 176-186, 2005
-
Part of Proceedings of ACM SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools, 2005
-
Part of In Proceedings of ISMM'04: ACM SIGPLAN International Symposium on Memory Management, p. 1-12, 2004
-
Part of In Proceedings of the Third ACM SIGPLAN Erlang Workshop, p. 38-47, 2004
-
Part of In Proceedings of the Sixth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, p. 78-89, 2004
-
Adaptive Pattern Matching on Binary Data
Part of In Programming Languages and Systems. Proceedings of the 13th European Symposium On Programming, p. 124-139, 2004
-
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
Part of In Programming Languages and Systems: Proceedings of the Second Asian Symposium, p. 91-106, 2004
-
All you wanted to know about the HiPE compiler: (but might have been afraid to ask)
Part of Proceedings of the Second ACM SIGPLAN Erlang Workshop, p. 36-43, 2003
-
Message Analysis for Concurrent Languages
Part of In Proceedings of the Static Analysis Symposium, p. 73-90, 2003
-
On Enabling the WAM with Region Support
Part of Proceedings of the International Conference on Logic Programming, p. 163-178, 2002
-
Native Code Compilation of Erlang's Bit Syntax
Part of Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, p. 6-15, 2002
-
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.
Part of Proceedings of the 14th International Workshop on the Implementation of Functional Languages (IFL 2002). Madrid, Spain, September 2002. LNCS., 2002
-
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.
Part of Proceedings of the 6th International Symposium on Functional and Logic Programming, Aizu, Japan, September 2002. Springer, p. 228-244, 2002
-
Linear Scan Register Allocation in a High-Performance Erlang Compiler.
Part of # Practical Aspects of Declarative Languages: Proceedings of the PADL 2002 Symposium, Portland, Oregon., p. 299-317, 2002
-
Heap Architectures for Concurrent Languages using Message Passing
Part of Proceedings of ISMM'2002: ACM SIGPLAN International Symposium on Memory Management, p. 88-99, 2002
-
Segment Order Preserving and Generational Garbage Collection for Prolog
Part of In Practical Aspects of Declarative Languages: Proceedings of the PADL 2002 Symposium, p. 299-317, 2002
-
On Reducing Interprocess Communication Overhead in Concurrent Programs.
Part of Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, p. 58-63, 2002
-
Modular termination proofs for Prolog with tabling
Part of Principles and Practice of Declarative Programming, p. 342-359, 1999