( en | de | ru )

 

Disambiguation of "Sagonas, Konstantinos"

Author of the publication

copydeleteadd this publication to your clipboard
A scalability benchmark suite for Erlang/OTP.

, , , , , and . Erlang Workshop, page 33-42. ACM, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Konstantinos Ouzounis

Konstantinos Noussias

Konstantinos Setzis

Konstantinos Paterakis

Konstantinos Yphantides

 

Other publications of authors with the same name

Practical type inference based on success typings., and . PPDP, page 167-178. ACM, (2006)Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story., and . APLAS, volume 3302 of Lecture Notes in Computer Science, page 91-106. Springer, (2004)A high performance Erlang system., , and . PPDP, page 32-43. ACM, (2000)Automatic refactoring of Erlang programs., and . PPDP, page 13-24. ACM, (2009)Precise explanation of success typing errors., , and . PEPM, page 33-42. ACM, (2013)An Abstract Machine for Fixed-Order Dynamically Stratified Programs., , and . CADE, volume 1104 of Lecture Notes in Computer Science, page 328-342. Springer, (1996)Grammar-based testing for little languages: an experience report with student compilers., , , and . SLE, page 253-269. ACM, (2020)Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs., , , , , , and . ATVA, volume 14216 of Lecture Notes in Computer Science, page 176-198. Springer, (2023)Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations., , , and . NDSS, The Internet Society, (2023)So Many Fuzzers, So Little Time✱: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack., , and . ASE, page 95:1-95:12. ACM, (2022)