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