Konstantinos Sagonas

According to our database1, Konstantinos Sagonas
  • authored at least 117 papers between 1993 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.
ACM Trans. Program. Lang. Syst., 2017

Concolic testing for functional languages.
Sci. Comput. Program., 2017

Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15).
Sci. Comput. Program., 2017

Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction.
J. ACM, 2017

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.
CoRR, 2017

Stateless model checking for TSO and PSO.
Acta Inf., 2017

Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU).
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Targeted property-based testing.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

The shared-memory interferences of Erlang/OTP built-ins.
Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 2017

Comparing Source Sets and Persistent Sets for Partial Order Reduction.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
The Contention Avoiding Concurrent Priority Queue.
Proceedings of the Languages and Compilers for Parallel Computing, 2016

The Nifty way to call hell from heaven.
Proceedings of the 15th International Workshop on Erlang, 2016

2015
Stateless Model Checking for TSO and PSO.
CoRR, 2015

Stateless Model Checking for TSO and PSO.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Property-based testing of sensor networks.
Proceedings of the 12th Annual IEEE International Conference on Sensing, 2015

Concolic testing for functional languages.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Efficient Support for Range Queries and Range Updates Using Contention Adapting Search Trees.
Proceedings of the Languages and Compilers for Parallel Computing, 2015

ProFuN TG: A tool for programming and managing performance-aware sensor network applications.
Proceedings of the 40th IEEE Local Computer Networks Conference Workshops, 2015

Contention Adapting Search Trees.
Proceedings of the 14th International Symposium on Parallel and Distributed Computing, 2015

Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory.
Proceedings of the 24th International Symposium on High-Performance Parallel and Distributed Computing, 2015

Enabling Design of Performance-Controlled Sensor Network Applications through Task Allocation and Reallocation.
Proceedings of the 2015 International Conference on Distributed Computing in Sensor Systems, 2015

2014
Static safety guarantees for a low-level multithreaded language with regions.
Sci. Comput. Program., 2014

Brief announcement: queue delegation locking.
Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures, 2014

Optimal dynamic partial order reduction.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Delegation Locking Libraries for Improved Performance of Multithreaded Programs.
Proceedings of the Euro-Par 2014 Parallel Processing, 2014

More scalable ordered set for ETS using adaptation.
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013
Precise explanation of success typing errors.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Systematic Testing for Detecting Concurrency Errors in Erlang Programs.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

On the scalability of the Erlang term storage.
Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

2012
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services
Proceedings of the Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, 2012

RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper).
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer.
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

ErLLVM: an LLVM backend for Erlang.
Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

On preserving term sharing in the Erlang virtual machine.
Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

A scalability benchmark suite for Erlang/OTP.
Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

2011
A type and effect system for deadlock avoidance in low-level languages.
Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011

Detection of Asynchronous Message Passing Errors Using Static Analysis.
Proceedings of the Practical Aspects of Declarative Languages, 2011

A PropEr integration of types and function specifications with property-based testing.
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

Test-driven development of concurrent programs using concuerror.
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

Typed callbacks for more robust behaviours.
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

2010
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering
Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Race-free and memory-safe multithreading: design and implementation in cyclone.
Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

Static Detection of Race Conditions in Erlang.
Proceedings of the Practical Aspects of Declarative Languages, 2010

Purity in Erlang.
Proceedings of the Implementation and Application of Functional Languages, 2010

Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs.
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009
A Concurrent Language with a Uniform Treatment of Regions and Locks
Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

Automatic refactoring of Erlang programs.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Cleaning up Erlang code is a dirty job but somebody's gotta do it.
Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, 2009

2008
Gradual typing of erlang programs: a wrangler experience.
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 2008

2007
Detecting defects in Erlang programs using static analysis.
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Demand-Driven Indexing of Prolog Clauses.
Proceedings of the Logic Programming, 23rd International Conference, 2007

A language for specifying type contracts in Erlang and its interaction with success typings.
Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, 2007

2006
Message analysis for concurrent programs using message passing.
ACM Trans. Program. Lang. Syst., 2006

Efficient memory management for concurrent programs that use message passing.
Sci. Comput. Program., 2006

Efficient manipulation of binary data using pattern matching.
J. Funct. Program., 2006

Practical type inference based on success typings.
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Tabling in Mercury: Design and Implementation.
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Mark and split.
Proceedings of the 5th International Symposium on Memory Management, 2006

2005
Efficiently compiling a functional language on AMD64: the HiPE experience.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

TypEr: a type annotator of Erlang code.
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, 2005

Bit-level binaries and generalized comprehensions in Erlang.
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, 2005

2004
Just enough tabling.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language.
Proceedings of the 4th International Symposium on Memory Management, 2004

Adaptive Pattern Matching on Binary Data.
Proceedings of the Programming Languages and Systems, 2004

HiPE on AMD64.
Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, 2004

Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003
Preface by the section editors.
STTT, 2003

The development of the HiPE system: design and experience report.
STTT, 2003

Experimental evaluation and improvements to linear scan register allocation.
Softw., Pract. Exper., 2003

Message Analysis for Concurrent Languages.
Proceedings of the Static Analysis, 10th International Symposium, 2003

All you wanted to know about the HiPE compiler: (but might have been afraid to ask).
Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003

2002
Segment Order Preserving and Generational Garbage Collection for Prolog.
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Linear Scan Register Allocation in a High-Performance Erlang Compiler.
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Heap architectures for concurrent languages using message passing.
Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

On Enabling the WAM with Region Support.
Proceedings of the Logic Programming, 18th International Conference, 2002

The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.
Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

On reducing interprocess communication overhead in concurrent programs.
Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, 2002

Native code compilation of Erlang's bit syntax.
Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, 2002

2001
Termination proofs for logic programs with tabling.
ACM Trans. Comput. Log., 2001

The limits of fixed-order computation.
Theor. Comput. Sci., 2001

Heap Memory Management in Prolog with Tabling: Principles and Practice.
Journal of Functional and Logic Programming, 2001

Instruction Merging and Specialization in the SICStus Prolog Virtual Machine.
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

2000
An abstract machine for efficiently computing queries to well-founded models.
J. Log. Program., 2000

CHAT: the copy-hybrid approach to tabling.
Future Generation Comp. Syst., 2000

A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
CoRR, 2000

Termination Proofs for Logic Programs with Tabling
CoRR, 2000

A high performance Erlang system.
PPDP, 2000

Heap Garbage Collection in XSB: Practice and Experience.
Proceedings of the Practical Aspects of Declarative Languages, 2000

1999
Efficient Access Mechanisms for Tabled Logic Programs.
J. Log. Program., 1999

CAT: The Copying Approach to Tabling
Journal of Functional and Logic Programming, 1999

Modular Termination Proofs for Prolog with Tabling.
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

CHAT: The Copy-Hybrid Approach to Tabling.
Proceedings of the Practical Aspects of Declarative Languages, 1999

CHAT Is Theta(SLG-Wam).
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

1998
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs.
ACM Trans. Program. Lang. Syst., 1998

Semantics-Based Program Analysis for Logic-Based Languages Using XSB.
STTT, 1998

Extending Partial Deduction to Tabled Execution: Some Results and Open Issues.
ACM Comput. Surv., 1998

On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems.
Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998

CAT: The Copying Approach to Tabling.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Memory Management for Prolog with Tabling.
Proceedings of the International Symposium on Memory Management, 1998

A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.
Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997
XSB: A System for Effciently Computing WFS.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Preserving Termination of Tabled Logic Programs While Unfolding.
Proceedings of the Logic Programming Synthesis and Transformation, 1997

Termination Analysis for Tabled Logic Programming.
Proceedings of the Logic Programming Synthesis and Transformation, 1997

XSB as the Natural Habitat for General Purpose Program Analysis.
Proceedings of the Logic Programming, 1997

1996
The Limits of Fixed-Order Computation.
Proceedings of the Logic in Databases, 1996

An Abstract Machine for Computing the Well-Founded Semantics.
Proceedings of the Logic Programming, 1996

An Abstract Machine for Fixed-Order Dynamically Stratified Programs.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995
Unification Factoring for Efficient Execution of Logic Programs.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Efficient Execution of HiLog in WAM-based Prolog Implementations.
Proceedings of the Logic Programming, 1995

Efficient Tabling Mechanisms for Logic Programs.
Proceedings of the Logic Programming, 1995

1994
A Portable Compiler for Integrating HiLog into Prolog Systems.
Proceedings of the Logic Programming, 1994

XSB as a Deductive Database.
Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994

XSB as an Efficient Deductive Database Engine.
Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994

1993
The XSB Programming System.
Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993


  Loading...