default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Konstantinos Sagonas
@inproceedings{DBLP:conf/IEEEares/AsadianF0S24,
author = {Hooman Asadian and
Paul Fiterau{-}Brostean and
Bengt Jonsson and
Konstantinos Sagonas},
title = {Monitor-based Testing of Network Protocol Implementations Using Symbolic
Execution},
booktitle = {Proceedings of the 19th International Conference on Availability,
Reliability and Security, {ARES} 2024, Vienna, Austria, 30 July 2024
- 2 August 2024},
pages = {17:1--17:12},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3664476.3664521},
doi = {10.1145/3664476.3664521},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/AsadianF0S24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbdullaADJS24,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Sarbojit Das and
Bengt Jonsson and
Konstantinos Sagonas},
editor = {Arie Gurfinkel and
Vijay Ganesh},
title = {Parsimonious Optimal Dynamic Partial Order Reduction},
booktitle = {Computer Aided Verification - 36th International Conference, {CAV}
2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14682},
pages = {19--43},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65630-9\_2},
doi = {10.1007/978-3-031-65630-9\_2},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbdullaADJS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DierlFHJST24,
author = {Simon Dierl and
Paul Fiterau{-}Brostean and
Falk Howar and
Bengt Jonsson and
Konstantinos Sagonas and
Fredrik T{\aa}quist},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Scalable Tree-based Register Automata Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {87--108},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_5},
doi = {10.1007/978-3-031-57249-4\_5},
timestamp = {Sat, 08 Jun 2024 13:13:56 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DierlFHJST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-14324,
author = {Simon Dierl and
Paul Fiterau{-}Brostean and
Falk Howar and
Bengt Jonsson and
Konstantinos Sagonas and
Fredrik T{\aa}quist},
title = {Scalable Tree-based Register Automata Learning},
journal = {CoRR},
volume = {abs/2401.14324},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.14324},
doi = {10.48550/ARXIV.2401.14324},
eprinttype = {arXiv},
eprint = {2401.14324},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-14324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-11128,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Sarbojit Das and
Bengt Jonsson and
Konstantinos Sagonas},
title = {Parsimonious Optimal Dynamic Partial Order Reduction},
journal = {CoRR},
volume = {abs/2405.11128},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.11128},
doi = {10.48550/ARXIV.2405.11128},
eprinttype = {arXiv},
eprint = {2405.11128},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-11128.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AbdullaABDJLS23,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Frederik Meyer B{\o}nneland and
Sarbojit Das and
Bengt Jonsson and
Magnus L{\aa}ng and
Konstantinos Sagonas},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Tailoring Stateless Model Checking for Event-Driven Multi-threaded
Programs},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14216},
pages = {176--198},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45332-8\_9},
doi = {10.1007/978-3-031-45332-8\_9},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AbdullaABDJLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SagonasT23,
author = {Konstantinos Sagonas and
Thanasis Typaldos},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {EDHOC-Fuzzer: An {EDHOC} Protocol State Fuzzer},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1495--1498},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604922},
doi = {10.1145/3597926.3604922},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/SagonasT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/Fiterau-Brostean23,
author = {Paul Fiterau{-}Brostean and
Bengt Jonsson and
Konstantinos Sagonas and
Fredrik T{\aa}quist},
title = {Automata-Based Automated Detection of State Machine Bugs in Protocol
Implementations},
booktitle = {30th Annual Network and Distributed System Security Symposium, {NDSS}
2023, San Diego, California, USA, February 27 - March 3, 2023},
publisher = {The Internet Society},
year = {2023},
url = {https://www.ndss-symposium.org/ndss-paper/automata-based-automated-detection-of-state-machine-bugs-in-protocol-implementations/},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ndss/Fiterau-Brostean23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-15930,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Frederik Meyer B{\o}nneland and
Sarbojit Das and
Bengt Jonsson and
Magnus L{\aa}ng and
Konstantinos Sagonas},
title = {Tailoring Stateless Model Checking for Event-Driven Multi-Threaded
Programs},
journal = {CoRR},
volume = {abs/2307.15930},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.15930},
doi = {10.48550/ARXIV.2307.15930},
eprinttype = {arXiv},
eprint = {2307.15930},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-15930.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JonssonLS22,
author = {Bengt Jonsson and
Magnus L{\aa}ng and
Konstantinos Sagonas},
editor = {Alberto Griggio and
Neha Rungta},
title = {Awaiting for Godot: Stateless Model Checking that Avoids Executions
where Nothing Happens},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {284--293},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_35},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_35},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/JonssonLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AsadianFJS22,
author = {Hooman Asadian and
Paul Fiterau{-}Brostean and
Bengt Jonsson and
Konstantinos Sagonas},
title = {Applying Symbolic Execution to Test Implementations of a Network Protocol
Against its Specification},
booktitle = {15th {IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2022, Valencia, Spain, April 4-14, 2022},
pages = {70--81},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICST53961.2022.00019},
doi = {10.1109/ICST53961.2022.00019},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/AsadianFJS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Fiterau-Brostean22,
author = {Paul Fiterau{-}Brostean and
Bengt Jonsson and
Konstantinos Sagonas and
Fredrik T{\aa}quist},
title = {DTLS-Fuzzer: {A} {DTLS} Protocol State Fuzzer},
booktitle = {15th {IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2022, Valencia, Spain, April 4-14, 2022},
pages = {456--458},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICST53961.2022.00051},
doi = {10.1109/ICST53961.2022.00051},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/Fiterau-Brostean22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PonceletST22,
author = {Clement Poncelet and
Konstantinos Sagonas and
Nicolas Tsiftes},
title = {So Many Fuzzers, So Little Time{\unicode{10033}}: Experience from
Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {95:1--95:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3556946},
doi = {10.1145/3551349.3556946},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PonceletST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-09259,
author = {Bengt Jonsson and
Magnus L{\aa}ng and
Konstantinos Sagonas},
title = {Awaiting for Godot: Stateless Model Checking that Avoids Executions
where Nothing Happens},
journal = {CoRR},
volume = {abs/2208.09259},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.09259},
doi = {10.48550/ARXIV.2208.09259},
eprinttype = {arXiv},
eprint = {2208.09259},
timestamp = {Mon, 22 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-09259.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topc/WinbladSJ21,
author = {Kjell Winblad and
Konstantinos Sagonas and
Bengt Jonsson},
title = {Lock-free Contention Adapting Search Trees},
journal = {{ACM} Trans. Parallel Comput.},
volume = {8},
number = {2},
pages = {10:1--10:38},
year = {2021},
url = {https://doi.org/10.1145/3460874},
doi = {10.1145/3460874},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topc/WinbladSJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/Sagonas21,
author = {Konstantinos Sagonas},
editor = {Stavros Aronis and
Annette Bieniusa},
title = {Fifteen years of successfully dialyzing Erlang and Elixir code (invited
talk)},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Workshop on
Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021},
pages = {1},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3471871.3480952},
doi = {10.1145/3471871.3480952},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/Sagonas21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/EkemarkYRSK21,
author = {Per Ekemark and
Yuan Yao and
Alberto Ros and
Konstantinos Sagonas and
Stefanos Kaxiras},
title = {{TSOPER:} Efficient Coherence-Based Strict Persistency},
booktitle = {{IEEE} International Symposium on High-Performance Computer Architecture,
{HPCA} 2021, Seoul, South Korea, February 27 - March 3, 2021},
pages = {125--138},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/HPCA51647.2021.00021},
doi = {10.1109/HPCA51647.2021.00021},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpca/EkemarkYRSK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LangS20,
author = {Magnus L{\aa}ng and
Konstantinos Sagonas},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {Parallel Graph-Based Stateless Model Checking},
booktitle = {Automated Technology for Verification and Analysis - 18th International
Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12302},
pages = {377--393},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_21},
doi = {10.1007/978-3-030-59152-6\_21},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/LangS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/HeerdenRS020,
author = {Phillip van Heerden and
Moeketsi Raselimo and
Konstantinos Sagonas and
Bernd Fischer},
editor = {Ralf L{\"{a}}mmel and
Laurence Tratt and
Juan de Lara},
title = {Grammar-based testing for little languages: an experience report with
student compilers},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2020, Virtual Event, USA, November
16-17, 2020},
pages = {253--269},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426425.3426946},
doi = {10.1145/3426425.3426946},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sle/HeerdenRS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/Fiterau-Brostean20,
author = {Paul Fiterau{-}Brostean and
Bengt Jonsson and
Robert Merget and
Joeri de Ruiter and
Konstantinos Sagonas and
Juraj Somorovsky},
editor = {Srdjan Capkun and
Franziska Roesner},
title = {Analysis of {DTLS} Implementations Using Protocol State Fuzzing},
booktitle = {29th {USENIX} Security Symposium, {USENIX} Security 2020, August 12-14,
2020},
pages = {2523--2540},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/usenixsecurity20/presentation/fiterau-brostean},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uss/Fiterau-Brostean20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2020,
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3},
doi = {10.1007/978-3-030-59025-3},
isbn = {978-3-030-59024-6},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AbdullaAJLNS19,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Bengt Jonsson and
Magnus L{\aa}ng and
Tuan Phong Ngo and
Konstantinos Sagonas},
title = {Optimal stateless model checking for reads-from equivalence under
sequential consistency},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {150:1--150:29},
year = {2019},
url = {https://doi.org/10.1145/3360576},
doi = {10.1145/3360576},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/AbdullaAJLNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Kokologiannakis19,
author = {Michalis Kokologiannakis and
Konstantinos Sagonas},
title = {Stateless model checking of the Linux kernel's read-copy update {(RCU)}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {3},
pages = {287--306},
year = {2019},
url = {https://doi.org/10.1007/s10009-019-00514-6},
doi = {10.1007/S10009-019-00514-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Kokologiannakis19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/AbdullaAJLNS19,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Bengt Jonsson and
Magnus L{\aa}ng and
Tuan Phong Ngo and
Konstantinos Sagonas},
title = {Optimal Stateless Model Checking for Reads-From Equivalence under
Sequential Consistency (Version 1.0.0-review1)},
publisher = {Zenodo},
year = {2019},
month = oct,
howpublished = {\url{https://doi.org/10.5281/zenodo.3384856}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3384856},
doi = {10.5281/ZENODO.3384856},
timestamp = {Wed, 11 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/AbdullaAJLNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/SagonasW18,
author = {Konstantinos Sagonas and
Kjell Winblad},
title = {A contention adapting approach to concurrent ordered sets},
journal = {J. Parallel Distributed Comput.},
volume = {115},
pages = {1--19},
year = {2018},
url = {https://doi.org/10.1016/j.jpdc.2017.11.007},
doi = {10.1016/J.JPDC.2017.11.007},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/SagonasW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Kokologiannakis18,
author = {Michalis Kokologiannakis and
Ori Lahav and
Konstantinos Sagonas and
Viktor Vafeiadis},
title = {Effective stateless model checking for {C/C++} concurrency},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {17:1--17:32},
year = {2018},
url = {https://doi.org/10.1145/3158105},
doi = {10.1145/3158105},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/Kokologiannakis18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/KlafteneggerSW18,
author = {David Klaftenegger and
Konstantinos Sagonas and
Kjell Winblad},
title = {Queue Delegation Locking},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {29},
number = {3},
pages = {687--704},
year = {2018},
url = {https://doi.org/10.1109/TPDS.2017.2767046},
doi = {10.1109/TPDS.2017.2767046},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/KlafteneggerSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LoscherS18,
author = {Andreas L{\"{o}}scher and
Konstantinos Sagonas},
title = {Automating Targeted Property-Based Testing},
booktitle = {11th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2018, V{\"{a}}ster{\aa}s, Sweden, April
9-13, 2018},
pages = {70--80},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICST.2018.00017},
doi = {10.1109/ICST.2018.00017},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/LoscherS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/KallasS18,
author = {Konstantinos Kallas and
Konstantinos Sagonas},
editor = {Matteo Cimini and
Jay McCarthy},
title = {HiPErJiT: {A} Profile-Driven Just-in-Time Compiler for Erlang},
booktitle = {Proceedings of the 30th Symposium on Implementation and Application
of Functional Languages, {IFL} 2018, Lowell, MA, USA, September 5-7,
2018},
pages = {25--36},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3310232.3310234},
doi = {10.1145/3310232.3310234},
timestamp = {Thu, 04 Apr 2019 09:36:58 +0200},
biburl = {https://dblp.org/rec/conf/ifl/KallasS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/WinbladSJ18,
author = {Kjell Winblad and
Konstantinos Sagonas and
Bengt Jonsson},
editor = {Christian Scheideler and
Jeremy T. Fineman},
title = {Lock-free Contention Adapting Search Trees},
booktitle = {Proceedings of the 30th on Symposium on Parallelism in Algorithms
and Architectures, {SPAA} 2018, Vienna, Austria, July 16-18, 2018},
pages = {121--132},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3210377.3210413},
doi = {10.1145/3210377.3210413},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spaa/WinbladSJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AronisJLS18,
author = {Stavros Aronis and
Bengt Jonsson and
Magnus L{\aa}ng and
Konstantinos Sagonas},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Optimal Dynamic Partial Order Reduction with Observers},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {229--248},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_14},
doi = {10.1007/978-3-319-89963-3\_14},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AronisJLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AbdullaAAJLS17,
author = {Parosh Aziz Abdulla and
Stavros Aronis and
Mohamed Faouzi Atig and
Bengt Jonsson and
Carl Leonardsson and
Konstantinos Sagonas},
title = {Stateless model checking for {TSO} and {PSO}},
journal = {Acta Informatica},
volume = {54},
number = {8},
pages = {789--818},
year = {2017},
url = {https://doi.org/10.1007/s00236-016-0275-0},
doi = {10.1007/S00236-016-0275-0},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AbdullaAAJLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AbdullaAJS17,
author = {Parosh Aziz Abdulla and
Stavros Aronis and
Bengt Jonsson and
Konstantinos Sagonas},
title = {Source Sets: {A} Foundation for Optimal Dynamic Partial Order Reduction},
journal = {J. {ACM}},
volume = {64},
number = {4},
pages = {25:1--25:49},
year = {2017},
url = {https://doi.org/10.1145/3073408},
doi = {10.1145/3073408},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/AbdullaAJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AsaiS17,
author = {Kenichi Asai and
Konstantinos Sagonas},
title = {Selected and extended papers from Partial Evaluation and Program Manipulation
2015 (PEPM'15)},
journal = {Sci. Comput. Program.},
volume = {137},
pages = {1},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.02.001},
doi = {10.1016/J.SCICO.2017.02.001},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AsaiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GiantsiosPS17,
author = {Aggelos Giantsios and
Nikolaos Papaspyrou and
Konstantinos Sagonas},
title = {Concolic testing for functional languages},
journal = {Sci. Comput. Program.},
volume = {147},
pages = {109--134},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.04.008},
doi = {10.1016/J.SCICO.2017.04.008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GiantsiosPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TrinderCPSTAABB17,
author = {Phil Trinder and
Natalia Chechina and
Nikolaos Papaspyrou and
Konstantinos Sagonas and
Simon J. Thompson and
Stephen Adams and
Stavros Aronis and
Robert Baker and
Eva Bihari and
Olivier Boudeville and
Francesco Cesarini and
Maurizio Di Stefano and
Sverker Eriksson and
Viktoria Ford{\'{o}}s and
Amir Ghaffari and
Aggelos Giantsios and
Rickard Green and
Csaba Hoch and
David Klaftenegger and
Huiqing Li and
Kenneth Lundin and
Kenneth MacKenzie and
Katerina Roukounaki and
Yiannis Tsiouris and
Kjell Winblad},
title = {Scaling Reliably: Improving the Scalability of the Erlang Distributed
Actor Platform},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {39},
number = {4},
pages = {17:1--17:46},
year = {2017},
url = {https://doi.org/10.1145/3107937},
doi = {10.1145/3107937},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/TrinderCPSTAABB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbdullaAJS17,
author = {Parosh Aziz Abdulla and
Stavros Aronis and
Bengt Jonsson and
Konstantinos Sagonas},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Comparing Source Sets and Persistent Sets for Partial Order Reduction},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {516--536},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_26},
doi = {10.1007/978-3-319-63121-9\_26},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AbdullaAJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/AronisS17,
author = {Stavros Aronis and
Konstantinos Sagonas},
editor = {Natalia Chechina and
Scott Lystig Fritchie},
title = {The shared-memory interferences of Erlang/OTP built-ins},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Workshop on
Erlang, Oxford, United Kingdom, September 3-9, 2017},
pages = {43--54},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3123569.3123573},
doi = {10.1145/3123569.3123573},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/AronisS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AronisFS17,
author = {Stavros Aronis and
Scott Lystig Fritchie and
Konstantinos Sagonas},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {Testing and Verifying Chain Repair Methods for Corfu Using Stateless
Model Checking},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {227--242},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_15},
doi = {10.1007/978-3-319-66845-1\_15},
timestamp = {Fri, 07 Aug 2020 17:57:32 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AronisFS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LoscherS17,
author = {Andreas L{\"{o}}scher and
Konstantinos Sagonas},
editor = {Tevfik Bultan and
Koushik Sen},
title = {Targeted property-based testing},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
pages = {46--56},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703.3092711},
doi = {10.1145/3092703.3092711},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LoscherS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Kokologiannakis17,
author = {Michalis Kokologiannakis and
Konstantinos Sagonas},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {Stateless model checking of the Linux kernel's hierarchical read-copy-update
(tree {RCU)}},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {172--181},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3092287},
doi = {10.1145/3092282.3092287},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Kokologiannakis17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TrinderCPSTAABB17,
author = {Phil Trinder and
Natalia Chechina and
Nikolaos Papaspyrou and
Konstantinos Sagonas and
Simon J. Thompson and
Stephen Adams and
Stavros Aronis and
Robert Baker and
Eva Bihari and
Olivier Boudeville and
Francesco Cesarini and
Maurizio Di Stefano and
Sverker Eriksson and
Viktoria Ford{\'{o}}s and
Amir Ghaffari and
Aggelos Giantsios and
Rickard Green and
Csaba Hoch and
David Klaftenegger and
Huiqing Li and
Kenneth Lundin and
Kenneth MacKenzie and
Katerina Roukounaki and
Yiannis Tsiouris and
Kjell Winblad},
title = {Scaling Reliably: Improving the Scalability of the Erlang Distributed
Actor Platform},
journal = {CoRR},
volume = {abs/1704.07234},
year = {2017},
url = {http://arxiv.org/abs/1704.07234},
eprinttype = {arXiv},
eprint = {1704.07234},
timestamp = {Wed, 03 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TrinderCPSTAABB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/LoscherS16,
author = {Andreas L{\"{o}}scher and
Konstantinos Sagonas},
editor = {Melinda T{\'{o}}th and
Scott Lystig Fritchie},
title = {The Nifty way to call hell from heaven},
booktitle = {Proceedings of the 15th International Workshop on Erlang, Nara, Japan,
September 18-22, 2016},
pages = {1--11},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2975969.2975970},
doi = {10.1145/2975969.2975970},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/LoscherS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/SagonasW16,
author = {Konstantinos Sagonas and
Kjell Winblad},
editor = {Chen Ding and
John Criswell and
Peng Wu},
title = {The Contention Avoiding Concurrent Priority Queue},
booktitle = {Languages and Compilers for Parallel Computing - 29th International
Workshop, {LCPC} 2016, Rochester, NY, USA, September 28-30, 2016,
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {10136},
pages = {314--330},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-52709-3\_23},
doi = {10.1007/978-3-319-52709-3\_23},
timestamp = {Tue, 28 Jul 2020 07:46:49 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/SagonasW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcoss/ElstsBJS15,
author = {Atis Elsts and
Farshid Hassani Bijarbooneh and
Martin Jacobsson and
Konstantinos Sagonas},
title = {Enabling Design of Performance-Controlled Sensor Network Applications
through Task Allocation and Reallocation},
booktitle = {2015 International Conference on Distributed Computing in Sensor Systems,
{DCOSS} 2015, Fortaleza, Brazil, June 10-12, 2015},
pages = {248--253},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/DCOSS.2015.44},
doi = {10.1109/DCOSS.2015.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcoss/ElstsBJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/KaxirasKNRS15,
author = {Stefanos Kaxiras and
David Klaftenegger and
Magnus Norgren and
Alberto Ros and
Konstantinos Sagonas},
editor = {Thilo Kielmann and
Dean Hildebrand and
Michela Taufer},
title = {Turning Centralized Coherence and Distributed Critical-Section Execution
on their Head: {A} New Approach for Scalable Distributed Shared Memory},
booktitle = {Proceedings of the 24th International Symposium on High-Performance
Parallel and Distributed Computing, {HPDC} 2015, Portland, OR, USA,
June 15-19, 2015},
pages = {3--14},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2749246.2749250},
doi = {10.1145/2749246.2749250},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/KaxirasKNRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/SagonasW15,
author = {Konstantinos Sagonas and
Kjell Winblad},
editor = {Daniel Grosu and
Hai Jin and
George Papadopoulos},
title = {Contention Adapting Search Trees},
booktitle = {14th International Symposium on Parallel and Distributed Computing,
{ISPDC} 2015, Limassol, Cyprus, June 29 - July 2, 2015},
pages = {215--224},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISPDC.2015.32},
doi = {10.1109/ISPDC.2015.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispdc/SagonasW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/ElstsBJS15,
author = {Atis Elsts and
Farshid Hassani Bijarbooneh and
Martin Jacobsson and
Konstantinos Sagonas},
editor = {Salil S. Kanhere and
Jens T{\"{o}}lle and
Soumaya Cherkaoui},
title = {ProFuN {TG:} {A} tool for programming and managing performance-aware
sensor network applications},
booktitle = {40th {IEEE} Local Computer Networks Conference Workshops, {LCN} Workshops
2015, Clearwater Beach, FL, USA, October 26-29, 2015},
pages = {751--759},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LCNW.2015.7365924},
doi = {10.1109/LCNW.2015.7365924},
timestamp = {Fri, 07 Aug 2020 17:23:40 +0200},
biburl = {https://dblp.org/rec/conf/lcn/ElstsBJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/SagonasW15,
author = {Konstantinos Sagonas and
Kjell Winblad},
editor = {Xipeng Shen and
Frank Mueller and
James Tuck},
title = {Efficient Support for Range Queries and Range Updates Using Contention
Adapting Search Trees},
booktitle = {Languages and Compilers for Parallel Computing - 28th International
Workshop, {LCPC} 2015, Raleigh, NC, USA, September 9-11, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9519},
pages = {37--53},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29778-1\_3},
doi = {10.1007/978-3-319-29778-1\_3},
timestamp = {Tue, 23 Jan 2024 20:31:22 +0100},
biburl = {https://dblp.org/rec/conf/lcpc/SagonasW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GiantsiosPS15,
author = {Aggelos Giantsios and
Nikolaos S. Papaspyrou and
Konstantinos Sagonas},
editor = {Moreno Falaschi and
Elvira Albert},
title = {Concolic testing for functional languages},
booktitle = {Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
pages = {137--148},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2790449.2790519},
doi = {10.1145/2790449.2790519},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/GiantsiosPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secon/LoscherSV15,
author = {Andreas L{\"{o}}scher and
Konstantinos Sagonas and
Thiemo Voigt},
title = {Property-based testing of sensor networks},
booktitle = {12th Annual {IEEE} International Conference on Sensing, Communication,
and Networking, {SECON} 2015, Seattle, WA, USA, June 22-25, 2015},
pages = {100--108},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SAHCN.2015.7338296},
doi = {10.1109/SAHCN.2015.7338296},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/secon/LoscherSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdullaAAJLS15,
author = {Parosh Aziz Abdulla and
Stavros Aronis and
Mohamed Faouzi Atig and
Bengt Jonsson and
Carl Leonardsson and
Konstantinos Sagonas},
editor = {Christel Baier and
Cesare Tinelli},
title = {Stateless Model Checking for {TSO} and {PSO}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {353--367},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_28},
doi = {10.1007/978-3-662-46681-0\_28},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaAAJLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2015,
editor = {Kenichi Asai and
Kostis Sagonas},
title = {Proceedings of the 2015 Workshop on Partial Evaluation and Program
Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2678015},
isbn = {978-1-4503-3297-2},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbdullaAAJLS15,
author = {Parosh Aziz Abdulla and
Stavros Aronis and
Mohamed Faouzi Atig and
Bengt Jonsson and
Carl Leonardsson and
Konstantinos Sagonas},
title = {Stateless Model Checking for {TSO} and {PSO}},
journal = {CoRR},
volume = {abs/1501.02069},
year = {2015},
url = {http://arxiv.org/abs/1501.02069},
eprinttype = {arXiv},
eprint = {1501.02069},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbdullaAAJLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GerakiosPS14,
author = {Prodromos Gerakios and
Nikolaos Papaspyrou and
Konstantinos Sagonas},
title = {Static safety guarantees for a low-level multithreaded language with
regions},
journal = {Sci. Comput. Program.},
volume = {80},
pages = {223--263},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.06.005},
doi = {10.1016/J.SCICO.2013.06.005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GerakiosPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/SagonasW14,
author = {Konstantinos Sagonas and
Kjell Winblad},
editor = {Laura M. Castro and
Hans Svensson},
title = {More scalable ordered set for {ETS} using adaptation},
booktitle = {Proceedings of the Thirteenth {ACM} {SIGPLAN} workshop on Erlang,
Gothenburg, Sweden, September 5, 2014},
pages = {3--11},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633448.2633455},
doi = {10.1145/2633448.2633455},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/SagonasW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/KlafteneggerSW14,
author = {David Klaftenegger and
Konstantinos Sagonas and
Kjell Winblad},
editor = {Fernando M. A. Silva and
In{\^{e}}s de Castro Dutra and
V{\'{\i}}tor Santos Costa},
title = {Delegation Locking Libraries for Improved Performance of Multithreaded
Programs},
booktitle = {Euro-Par 2014 Parallel Processing - 20th International Conference,
Porto, Portugal, August 25-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8632},
pages = {572--583},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09873-9\_48},
doi = {10.1007/978-3-319-09873-9\_48},
timestamp = {Sat, 19 Oct 2019 20:26:17 +0200},
biburl = {https://dblp.org/rec/conf/europar/KlafteneggerSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AbdullaAJS14,
author = {Parosh Aziz Abdulla and
Stavros Aronis and
Bengt Jonsson and
Konstantinos Sagonas},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Optimal dynamic partial order reduction},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {373--384},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535845},
doi = {10.1145/2535838.2535845},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/AbdullaAJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/KlafteneggerSW14,
author = {David Klaftenegger and
Konstantinos Sagonas and
Kjell Winblad},
editor = {Guy E. Blelloch and
Peter Sanders},
title = {Brief announcement: queue delegation locking},
booktitle = {26th {ACM} Symposium on Parallelism in Algorithms and Architectures,
{SPAA} '14, Prague, Czech Republic - June 23 - 25, 2014},
pages = {70--72},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2612669.2612714},
doi = {10.1145/2612669.2612714},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spaa/KlafteneggerSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/KlafteneggerSW13,
author = {David Klaftenegger and
Konstantinos Sagonas and
Kjell Winblad},
editor = {Steve Vinoski and
Laura M. Castro},
title = {On the scalability of the Erlang term storage},
booktitle = {Proceedings of the Twelfth {ACM} {SIGPLAN} Erlang Workshop, Boston,
Massachusetts, USA, September 28, 2013},
pages = {15--26},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505305.2505308},
doi = {10.1145/2505305.2505308},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/KlafteneggerSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChristakisGS13,
author = {Maria Christakis and
Alkis Gotovos and
Konstantinos Sagonas},
title = {Systematic Testing for Detecting Concurrency Errors in Erlang Programs},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22,
2013},
pages = {154--163},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICST.2013.50},
doi = {10.1109/ICST.2013.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChristakisGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SagonasST13,
author = {Konstantinos Sagonas and
Josep Silva and
Salvador Tamarit},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Precise explanation of success typing errors},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {33--42},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426897},
doi = {10.1145/2426890.2426897},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/SagonasST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2013,
editor = {Konstantinos Sagonas},
title = {Practical Aspects of Declarative Languages - 15th International Symposium,
{PADL} 2013, Rome, Italy, January 21-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7752},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45284-0},
doi = {10.1007/978-3-642-45284-0},
isbn = {978-3-642-45283-3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/PapaspyrouS12,
author = {Nikolaos Papaspyrou and
Konstantinos Sagonas},
editor = {Torben Hoffman and
John Hughes},
title = {On preserving term sharing in the Erlang virtual machine},
booktitle = {Proceedings of the Eleventh {ACM} {SIGPLAN} Erlang Workshop, Copenhagen,
Denmark, September 14, 2012},
pages = {11--20},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364489.2364493},
doi = {10.1145/2364489.2364493},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/PapaspyrouS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/SagonasST12,
author = {Konstantinos Sagonas and
Chris Stavrakakis and
Yiannis Tsiouris},
editor = {Torben Hoffman and
John Hughes},
title = {ErLLVM: an {LLVM} backend for Erlang},
booktitle = {Proceedings of the Eleventh {ACM} {SIGPLAN} Erlang Workshop, Copenhagen,
Denmark, September 14, 2012},
pages = {21--32},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364489.2364494},
doi = {10.1145/2364489.2364494},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/SagonasST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/AronisPRSTV12,
author = {Stavros Aronis and
Nikolaos Papaspyrou and
Katerina Roukounaki and
Konstantinos Sagonas and
Yiannis Tsiouris and
Ioannis E. Venetis},
editor = {Torben Hoffman and
John Hughes},
title = {A scalability benchmark suite for Erlang/OTP},
booktitle = {Proceedings of the Eleventh {ACM} {SIGPLAN} Erlang Workshop, Copenhagen,
Denmark, September 14, 2012},
pages = {33--42},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364489.2364495},
doi = {10.1145/2364489.2364495},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/AronisPRSTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BoudevilleCCLPSTTW12,
author = {Olivier Boudeville and
Francesco Cesarini and
Natalia Chechina and
Kenneth Lundin and
Nikolaos Papaspyrou and
Konstantinos Sagonas and
Simon J. Thompson and
Phil Trinder and
Ulf T. Wiger},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {{RELEASE:} {A} High-Level Paradigm for Reliable Large-Scale Server
Software - (Project Paper)},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {263--278},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_17},
doi = {10.1007/978-3-642-40447-4\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BoudevilleCCLPSTTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/AronisS12,
author = {Stavros Aronis and
Konstantinos Sagonas},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {On Using Erlang for Parallelization - Experience from Parallelizing
Dialyzer},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {295--310},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_19},
doi = {10.1007/978-3-642-40447-4\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/AronisS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6110,
author = {Leonidas Lampropoulos and
Konstantinos Sagonas},
editor = {Josep Silva and
Francesco Tiezzi},
title = {Automatic WSDL-guided Test Case Generation for PropEr Testing of Web
Services},
booktitle = {Proceedings 8th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th
July 2012},
series = {{EPTCS}},
volume = {98},
pages = {3--16},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.98.3},
doi = {10.4204/EPTCS.98.3},
timestamp = {Thu, 20 May 2021 14:31:18 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6110.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/AronisS11,
author = {Stavros Aronis and
Konstantinos Sagonas},
editor = {Kenji Rikitake and
Erik Stenman},
title = {Typed callbacks for more robust behaviours},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
Japan, September 23, 2011},
pages = {23--29},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034654.2034660},
doi = {10.1145/2034654.2034660},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/AronisS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/PapadakisS11,
author = {Manolis Papadakis and
Konstantinos Sagonas},
editor = {Kenji Rikitake and
Erik Stenman},
title = {A PropEr integration of types and function specifications with property-based
testing},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
Japan, September 23, 2011},
pages = {39--50},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034654.2034663},
doi = {10.1145/2034654.2034663},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/PapadakisS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/GotovosCS11,
author = {Alkis Gotovos and
Maria Christakis and
Konstantinos Sagonas},
editor = {Kenji Rikitake and
Erik Stenman},
title = {Test-driven development of concurrent programs using concuerror},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo,
Japan, September 23, 2011},
pages = {51--61},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034654.2034664},
doi = {10.1145/2034654.2034664},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/GotovosCS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ChristakisS11,
author = {Maria Christakis and
Konstantinos Sagonas},
editor = {Ricardo Rocha and
John Launchbury},
title = {Detection of Asynchronous Message Passing Errors Using Static Analysis},
booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium,
{PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6539},
pages = {5--18},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18378-2\_3},
doi = {10.1007/978-3-642-18378-2\_3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/ChristakisS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/GerakiosPSV11,
author = {Prodromos Gerakios and
Nikolaos Papaspyrou and
Konstantinos Sagonas and
Panagiotis Vekris},
title = {Dynamic deadlock avoidance in systems code using statically inferred
effects},
booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
pages = {5:1--5:5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039239.2039247},
doi = {10.1145/2039239.2039247},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/GerakiosPSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/GerakiosPS11,
author = {Prodromos Gerakios and
Nikolaos Papaspyrou and
Konstantinos Sagonas},
editor = {Stephanie Weirich and
Derek Dreyer},
title = {A type and effect system for deadlock avoidance in low-level languages},
booktitle = {Proceedings of {TLDI} 2011: 2011 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Austin, TX, USA,
January 25, 2011},
pages = {15--28},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1929553.1929558},
doi = {10.1145/1929553.1929558},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tldi/GerakiosPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Sagonas10,
author = {Konstantinos Sagonas},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Using Static Analysis to Detect Type Errors and Concurrency Defects
in Erlang Programs},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {13--18},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_2},
doi = {10.1007/978-3-642-12251-4\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Sagonas10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/PitidisS10,
author = {Mihalis Pitidis and
Konstantinos Sagonas},
editor = {Jurriaan Hage and
Marco T. Moraz{\'{a}}n},
title = {Purity in Erlang},
booktitle = {Implementation and Application of Functional Languages - 22nd International
Symposium, {IFL} 2010, Alphen aan den Rijn, The Netherlands, September
1-3, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6647},
pages = {137--152},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24276-2\_9},
doi = {10.1007/978-3-642-24276-2\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/PitidisS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ChristakisS10,
author = {Maria Christakis and
Konstantinos Sagonas},
editor = {Manuel Carro and
Ricardo Pe{\~{n}}a},
title = {Static Detection of Race Conditions in Erlang},
booktitle = {Practical Aspects of Declarative Languages, 12th International Symposium,
{PADL} 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5937},
pages = {119--133},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11503-5\_11},
doi = {10.1007/978-3-642-11503-5\_11},
timestamp = {Sat, 19 Oct 2019 20:25:18 +0200},
biburl = {https://dblp.org/rec/conf/padl/ChristakisS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/GerakiosPS10,
author = {Prodromos Gerakios and
Nikolaos Papaspyrou and
Konstantinos Sagonas},
editor = {Andrew Kennedy and
Nick Benton},
title = {Race-free and memory-safe multithreading: design and implementation
in cyclone},
booktitle = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Madrid, Spain, January
23, 2010},
pages = {15--26},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1708016.1708020},
doi = {10.1145/1708016.1708020},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tldi/GerakiosPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1110-4160,
author = {Prodromos Gerakios and
Nikolaos Papaspyrou and
Konstantinos Sagonas},
editor = {Kohei Honda and
Alan Mycroft},
title = {A Type System for Unstructured Locking that Guarantees Deadlock Freedom
without Imposing a Lock Ordering},
booktitle = {Proceedings Third Workshop on Programming Language Approaches to Concurrency
and communication-cEntric Software, {PLACES} 2010, Paphos, Cyprus,
21st March 2010},
series = {{EPTCS}},
volume = {69},
pages = {44--58},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.69.4},
doi = {10.4204/EPTCS.69.4},
timestamp = {Sun, 15 Jan 2023 14:37:53 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-4160.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/erlang/2010,
editor = {Scott Lystig Fritchie and
Konstantinos Sagonas},
title = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Erlang, Baltimore,
Maryland, USA, September 30, 2010},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1863509},
isbn = {978-1-4503-0253-1},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/AvgerinosS09,
author = {Thanassis Avgerinos and
Konstantinos Sagonas},
editor = {Clara Benac Earle and
Simon J. Thompson},
title = {Cleaning up Erlang code is a dirty job but somebody's gotta do it},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
Scotland, UK, September 5, 2009},
pages = {1--10},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596600.1596602},
doi = {10.1145/1596600.1596602},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/AvgerinosS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SagonasA09,
author = {Konstantinos Sagonas and
Thanassis Avgerinos},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Automatic refactoring of Erlang programs},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {13--24},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599414},
doi = {10.1145/1599410.1599414},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/SagonasA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-0940,
author = {Prodromos Gerakios and
Nikolaos Papaspyrou and
Konstantinos Sagonas},
editor = {Alastair R. Beresford and
Simon J. Gay},
title = {A Concurrent Language with a Uniform Treatment of Regions and Locks},
booktitle = {Proceedings Second International Workshop on Programming Language
Approaches to Concurrency and Communication-cEntric Software, {PLACES}
2009, York, UK, 22nd March 2009},
series = {{EPTCS}},
volume = {17},
pages = {79--93},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.17.7},
doi = {10.4204/EPTCS.17.7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-0940.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/SagonasL08,
author = {Konstantinos Sagonas and
Daniel Luna},
editor = {Soon Tee Teoh and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {Gradual typing of erlang programs: a wrangler experience},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} workshop on ERLANG, Victoria,
BC, Canada, September 27, 2008},
pages = {73--82},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411273.1411284},
doi = {10.1145/1411273.1411284},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/SagonasL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/JimenezLS07,
author = {Miguel Jimenez and
Tobias Lindahl and
Konstantinos Sagonas},
editor = {Simon J. Thompson and
Lars{-}{\AA}ke Fredlund},
title = {A language for specifying type contracts in Erlang and its interaction
with success typings},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Erlang, Freiburg,
Germany, October 5, 2007},
pages = {11--17},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292520.1292523},
doi = {10.1145/1292520.1292523},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/JimenezLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CostaSL07,
author = {V{\'{\i}}tor Santos Costa and
Konstantinos Sagonas and
Ricardo Lopes},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Demand-Driven Indexing of Prolog Clauses},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {395--409},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_27},
doi = {10.1007/978-3-540-74610-2\_27},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CostaSL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GustafssonS07,
author = {Per Gustafsson and
Konstantinos Sagonas},
editor = {Michael Hanus},
title = {Applications, Implementation and Performance Evaluation of Bit Stream
Programming in Erlang},
booktitle = {Practical Aspects of Declarative Languages, 9th International Symposium,
{PADL} 2007, Nice, France, January 14-15, 2007},
series = {Lecture Notes in Computer Science},
volume = {4354},
pages = {94--108},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69611-7\_6},
doi = {10.1007/978-3-540-69611-7\_6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/GustafssonS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Sagonas07,
author = {Konstantinos Sagonas},
editor = {Michael Leuschel and
Andreas Podelski},
title = {Detecting defects in Erlang programs using static analysis},
booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 14-16, 2007,
Wroclaw, Poland},
pages = {37},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273920.1273926},
doi = {10.1145/1273920.1273926},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Sagonas07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GustafssonS06,
author = {Per Gustafsson and
Konstantinos Sagonas},
title = {Efficient manipulation of binary data using pattern matching},
journal = {J. Funct. Program.},
volume = {16},
number = {1},
pages = {35--74},
year = {2006},
url = {https://doi.org/10.1017/S0956796805005745},
doi = {10.1017/S0956796805005745},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/GustafssonS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SagonasW06,
author = {Konstantinos Sagonas and
Jesper Wilhelmsson},
title = {Efficient memory management for concurrent programs that use message
passing},
journal = {Sci. Comput. Program.},
volume = {62},
number = {2},
pages = {98--121},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2006.02.006},
doi = {10.1016/J.SCICO.2006.02.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SagonasW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CarlssonSW06,
author = {Richard Carlsson and
Konstantinos Sagonas and
Jesper Wilhelmsson},
title = {Message analysis for concurrent programs using message passing},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {28},
number = {4},
pages = {715--746},
year = {2006},
url = {https://doi.org/10.1145/1146809.1146813},
doi = {10.1145/1146809.1146813},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/CarlssonSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/SagonasW06,
author = {Konstantinos Sagonas and
Jesper Wilhelmsson},
editor = {Erez Petrank and
J. Eliot B. Moss},
title = {Mark and split},
booktitle = {Proceedings of the 5th International Symposium on Memory Management,
{ISMM} 2006, Ottawa, Ontario, Canada, June 10-11, 2006},
pages = {29--39},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133956.1133961},
doi = {10.1145/1133956.1133961},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/SagonasW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/SomogyiS06,
author = {Zoltan Somogyi and
Konstantinos Sagonas},
editor = {Pascal Van Hentenryck},
title = {Tabling in Mercury: Design and Implementation},
booktitle = {Practical Aspects of Declarative Languages, 8th International Symposium,
{PADL} 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3819},
pages = {150--167},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11603023\_11},
doi = {10.1007/11603023\_11},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/SomogyiS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LindahlS06,
author = {Tobias Lindahl and
Konstantinos Sagonas},
editor = {Annalisa Bossi and
Michael J. Maher},
title = {Practical type inference based on success typings},
booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
pages = {167--178},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140335.1140356},
doi = {10.1145/1140335.1140356},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/LindahlS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/GustafssonS05,
author = {Per Gustafsson and
Konstantinos Sagonas},
editor = {Konstantinos Sagonas and
Joe Armstrong},
title = {Bit-level binaries and generalized comprehensions in Erlang},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN} Workshop on Erlang, Tallinn,
Estonia, September 26-28, 2005},
pages = {1--8},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1088361.1088363},
doi = {10.1145/1088361.1088363},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/GustafssonS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/LindahlS05,
author = {Tobias Lindahl and
Konstantinos Sagonas},
editor = {Konstantinos Sagonas and
Joe Armstrong},
title = {TypEr: a type annotator of Erlang code},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN} Workshop on Erlang, Tallinn,
Estonia, September 26-28, 2005},
pages = {17--25},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1088361.1088366},
doi = {10.1145/1088361.1088366},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/LindahlS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LunaPS05,
author = {Daniel Luna and
Mikael Pettersson and
Konstantinos Sagonas},
editor = {Pedro Barahona and
Amy P. Felty},
title = {Efficiently compiling a functional language on {AMD64:} the HiPE experience},
booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 11-13 2005,
Lisbon, Portugal},
pages = {176--186},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1069774.1069791},
doi = {10.1145/1069774.1069791},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/LunaPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/erlang/2005,
editor = {Konstantinos Sagonas and
Joe Armstrong},
title = {Proceedings of the 2005 {ACM} {SIGPLAN} Workshop on Erlang, Tallinn,
Estonia, September 26-28, 2005},
publisher = {{ACM}},
year = {2005},
isbn = {1-59593-066-3},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/LindahlS04,
author = {Tobias Lindahl and
Konstantinos Sagonas},
editor = {Wei{-}Ngan Chin},
title = {Detecting Software Defects in Telecom Applications Through Lightweight
Static Analysis: {A} War Story},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {91--106},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_7},
doi = {10.1007/978-3-540-30477-7\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/LindahlS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/LunaPS04,
author = {Daniel Luna and
Mikael Pettersson and
Konstantinos Sagonas},
editor = {Francesco Cesarini and
Philip Wadler},
title = {HiPE on {AMD64}},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Erlang, Snowbird,
Utah, USA, September 22, 2004},
pages = {38--47},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1022471.1022478},
doi = {10.1145/1022471.1022478},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/LunaPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GustafssonS04,
author = {Per Gustafsson and
Konstantinos Sagonas},
editor = {David A. Schmidt},
title = {Adaptive Pattern Matching on Binary Data},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {124--139},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_10},
doi = {10.1007/978-3-540-24725-8\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/GustafssonS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/SagonasW04,
author = {Konstantinos Sagonas and
Jesper Wilhelmsson},
editor = {David F. Bacon and
Amer Diwan},
title = {Message analysis-guided allocation and low-pause incremental garbage
collection in a concurrent language},
booktitle = {Proceedings of the 4th International Symposium on Memory Management,
{ISMM} 2004, Vancouver, BC, Canada, October 24-25, 2004},
pages = {1--12},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029873.1029875},
doi = {10.1145/1029873.1029875},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/SagonasW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SagonasS04,
author = {Konstantinos Sagonas and
Peter J. Stuckey},
editor = {Eugenio Moggi and
David Scott Warren},
title = {Just enough tabling},
booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 24-26 August 2004,
Verona, Italy},
pages = {78--89},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1013963.1013975},
doi = {10.1145/1013963.1013975},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/SagonasS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/SagonasS03,
author = {Konstantinos Sagonas and
Erik Stenman},
title = {Experimental evaluation and improvements to linear scan register allocation},
journal = {Softw. Pract. Exp.},
volume = {33},
number = {11},
pages = {1003--1034},
year = {2003},
url = {https://doi.org/10.1002/spe.533},
doi = {10.1002/SPE.533},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/SagonasS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JonssonS03,
author = {Bengt Jonsson and
Konstantinos Sagonas},
title = {Preface by the section editors},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {4},
pages = {401--404},
year = {2003},
url = {https://doi.org/10.1007/s10009-003-0108-7},
doi = {10.1007/S10009-003-0108-7},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JonssonS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JohanssonPSL03,
author = {Erik Johansson and
Mikael Pettersson and
Konstantinos Sagonas and
Thomas Lindgren},
title = {The development of the HiPE system: design and experience report},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {4},
pages = {421--436},
year = {2003},
url = {https://doi.org/10.1007/s100090100068},
doi = {10.1007/S100090100068},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JohanssonPSL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/SagonasPCGL03,
author = {Konstantinos Sagonas and
Mikael Pettersson and
Richard Carlsson and
Per Gustafsson and
Tobias Lindahl},
editor = {Bjarne D{\"{a}}cker and
Thomas Arts},
title = {All you wanted to know about the HiPE compiler: (but might have been
afraid to ask)},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Erlang, Uppsala,
Sweden, August 29, 2003},
pages = {36--42},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/940880.940886},
doi = {10.1145/940880.940886},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/SagonasPCGL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CarlssonSW03,
author = {Richard Carlsson and
Konstantinos Sagonas and
Jesper Wilhelmsson},
editor = {Radhia Cousot},
title = {Message Analysis for Concurrent Languages},
booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
CA, USA, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2694},
pages = {73--90},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44898-5\_5},
doi = {10.1007/3-540-44898-5\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/CarlssonSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/GustafssonS02,
author = {Per Gustafsson and
Konstantinos Sagonas},
editor = {Rex L. Page and
John Hughes},
title = {Native code compilation of Erlang's bit syntax},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Erlang, Pittsburgh,
Pennsylvania, USA, October 7, 2002},
pages = {6--15},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/592849.592851},
doi = {10.1145/592849.592851},
timestamp = {Wed, 16 Mar 2022 22:31:11 +0100},
biburl = {https://dblp.org/rec/conf/erlang/GustafssonS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/StenmanS02,
author = {Erik Stenman and
Konstantinos Sagonas},
editor = {Rex L. Page and
John Hughes},
title = {On reducing interprocess communication overhead in concurrent programs},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Erlang, Pittsburgh,
Pennsylvania, USA, October 7, 2002},
pages = {58--63},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/592849.592857},
doi = {10.1145/592849.592857},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/StenmanS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/PetterssonSJ02,
author = {Mikael Pettersson and
Konstantinos Sagonas and
Erik Johansson},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {228--244},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_14},
doi = {10.1007/3-540-45788-7\_14},
timestamp = {Sun, 02 Jun 2019 21:12:36 +0200},
biburl = {https://dblp.org/rec/conf/flops/PetterssonSJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MakholmS02,
author = {Henning Makholm and
Konstantinos Sagonas},
editor = {Peter J. Stuckey},
title = {On Enabling the {WAM} with Region Support},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {163--178},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_12},
doi = {10.1007/3-540-45619-8\_12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MakholmS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/LindahlS02,
author = {Tobias Lindahl and
Konstantinos Sagonas},
editor = {Ricardo Pena and
Thomas Arts},
title = {Unboxed Compilation of Floating Point Arithmetic in a Dynamically
Typed Language Environment},
booktitle = {Implementation of Functional Languages, 14th International Workshop,
{IFL} 2002, Madrid, Spain, September 16-18, 2002, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {2670},
pages = {134--149},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44854-3\_9},
doi = {10.1007/3-540-44854-3\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/LindahlS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/JohanssonSW02,
author = {Erik Johansson and
Konstantinos Sagonas and
Jesper Wilhelmsson},
editor = {Hans{-}Juergen Boehm and
David Detlefs},
title = {Heap architectures for concurrent languages using message passing},
booktitle = {Proceedings of The Workshop on Memory Systems Performance {(MSP} 2002),
June 16, 2002 and The International Symposium on Memory Management
{(ISMM} 2002), June 20-21, 2002, Berlin, Germany},
pages = {195--206},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/512429.512440},
doi = {10.1145/512429.512440},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/JohanssonSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/JohanssonS02,
author = {Erik Johansson and
Konstantinos Sagonas},
editor = {Shriram Krishnamurthi and
C. R. Ramakrishnan},
title = {Linear Scan Register Allocation in a High-Performance Erlang Compiler},
booktitle = {Practical Aspects of Declarative Languages, 4th International Symposium,
{PADL} 2002, Portland, OR, USA, January 19-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2257},
pages = {101--119},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45587-6\_8},
doi = {10.1007/3-540-45587-6\_8},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/padl/JohanssonS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/VandeginsteSD02,
author = {Ruben Vandeginste and
Konstantinos Sagonas and
Bart Demoen},
editor = {Shriram Krishnamurthi and
C. R. Ramakrishnan},
title = {Segment Order Preserving and Generational Garbage Collection for Prolog},
booktitle = {Practical Aspects of Declarative Languages, 4th International Symposium,
{PADL} 2002, Portland, OR, USA, January 19-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2257},
pages = {299--317},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45587-6\_19},
doi = {10.1007/3-540-45587-6\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/VandeginsteSD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/DemoenS01,
author = {Bart Demoen and
Konstantinos Sagonas},
title = {Heap Memory Management in Prolog with Tabling: Principles and Practice},
journal = {J. Funct. Log. Program.},
volume = {2001},
number = {9},
year = {2001},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/DemoenS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SagonasSW01,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
title = {The limits of fixed-order computation},
journal = {Theor. Comput. Sci.},
volume = {254},
number = {1-2},
pages = {465--499},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(99)00341-2},
doi = {10.1016/S0304-3975(99)00341-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SagonasSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/VerbaetenSS01,
author = {Sofie Verbaeten and
Danny De Schreye and
Konstantinos Sagonas},
title = {Termination proofs for logic programs with tabling},
journal = {{ACM} Trans. Comput. Log.},
volume = {2},
number = {1},
pages = {57--92},
year = {2001},
url = {https://doi.org/10.1145/371282.371357},
doi = {10.1145/371282.371357},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/VerbaetenSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NassenCS01,
author = {Henrik N{\"{a}}ss{\'{e}}n and
Mats Carlsson and
Konstantinos Sagonas},
title = {Instruction Merging and Specialization in the SICStus Prolog Virtual
Machine},
booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, September 5-7,
2001, Florence, Italy},
pages = {49--60},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/773184.773191},
doi = {10.1145/773184.773191},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/NassenCS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/DemoenS00,
author = {Bart Demoen and
Konstantinos Sagonas},
title = {{CHAT:} the copy-hybrid approach to tabling},
journal = {Future Gener. Comput. Syst.},
volume = {16},
number = {7},
pages = {809--830},
year = {2000},
url = {https://doi.org/10.1016/S0167-739X(99)00092-8},
doi = {10.1016/S0167-739X(99)00092-8},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/DemoenS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SagonasSW00,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
title = {An abstract machine for efficiently computing queries to well-founded
models},
journal = {J. Log. Program.},
volume = {45},
number = {1-3},
pages = {1--41},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(00)00005-4},
doi = {10.1016/S0743-1066(00)00005-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SagonasSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/DemoenS00,
author = {Bart Demoen and
Konstantinos Sagonas},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Heap Garbage Collection in {XSB:} Practice and Experience},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {93--108},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_7},
doi = {10.1007/3-540-46584-7\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/DemoenS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/JohanssonPS00,
author = {Erik Johansson and
Mikael Pettersson and
Konstantinos Sagonas},
editor = {Maurizio Gabbrielli and
Frank Pfenning},
title = {A high performance Erlang system},
booktitle = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
on Principles and practice of declarative programming, Montreal, Canada,
September 20-23, 2000},
pages = {32--43},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351268.351273},
doi = {10.1145/351268.351273},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/JohanssonPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0003045,
author = {Sofie Verbaeten and
Danny De Schreye and
Konstantinos Sagonas},
title = {Termination Proofs for Logic Programs with Tabling},
journal = {CoRR},
volume = {cs.LO/0003045},
year = {2000},
url = {https://arxiv.org/abs/cs/0003045},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0003045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0003068,
author = {Maurice Bruynooghe and
Michael Leuschel and
Konstantinos Sagonas},
title = {A Polyvariant Binding-Time Analysis for Off-line Partial Deduction},
journal = {CoRR},
volume = {cs.PL/0003068},
year = {2000},
url = {https://arxiv.org/abs/cs/0003068},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0003068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/DemoenS99,
author = {Bart Demoen and
Konstantinos Sagonas},
title = {{CAT:} The Copying Approach to Tabling},
journal = {J. Funct. Log. Program.},
volume = {1999},
number = {Special Issue 2},
year = {1999},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/DemoenS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RamakrishnanRSSW99,
author = {I. V. Ramakrishnan and
Prasad Rao and
Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
title = {Efficient Access Mechanisms for Tabled Logic Programs},
journal = {J. Log. Program.},
volume = {38},
number = {1},
pages = {31--54},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(98)10013-4},
doi = {10.1016/S0743-1066(98)10013-4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/RamakrishnanRSSW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DemoenS99,
author = {Bart Demoen and
Konstantinos Sagonas},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {{CHAT} Is Theta(SLG-Wam)},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {337--357},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_21},
doi = {10.1007/3-540-48242-3\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DemoenS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/DemoenS99,
author = {Bart Demoen and
Konstantinos Sagonas},
editor = {Gopal Gupta},
title = {{CHAT:} The Copy-Hybrid Approach to Tabling},
booktitle = {Practical Aspects of Declarative Languages, First International Workshop,
{PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1551},
pages = {106--121},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49201-1\_8},
doi = {10.1007/3-540-49201-1\_8},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/padl/DemoenS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/VerbaetenSS99,
author = {Sofie Verbaeten and
Konstantinos Sagonas and
Danny De Schreye},
editor = {Gopalan Nadathur},
title = {Modular Termination Proofs for Prolog with Tabling},
booktitle = {Principles and Practice of Declarative Programming, International
Conference PPDP'99, Paris, France, September 29 - October 1, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1702},
pages = {342--359},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10704567\_21},
doi = {10.1007/10704567\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/VerbaetenSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/SagonasL98,
author = {Konstantinos Sagonas and
Michael Leuschel},
title = {Extending Partial Deduction to Tabled Execution: Some Results and
Open Issues},
journal = {{ACM} Comput. Surv.},
volume = {30},
number = {3es},
pages = {16},
year = {1998},
url = {https://doi.org/10.1145/289121.289137},
doi = {10.1145/289121.289137},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/SagonasL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CodishDS98,
author = {Michael Codish and
Bart Demoen and
Konstantinos Sagonas},
title = {Semantics-Based Program Analysis for Logic-Based Languages Using {XSB}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {1},
pages = {29--45},
year = {1998},
url = {https://doi.org/10.1007/s100090050016},
doi = {10.1007/S100090050016},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CodishDS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SagonasS98,
author = {Konstantinos Sagonas and
Terrance Swift},
title = {An Abstract Machine for Tabled Execution of Fixed-Order Stratified
Logic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {20},
number = {3},
pages = {586--634},
year = {1998},
url = {https://doi.org/10.1145/291889.291897},
doi = {10.1145/291889.291897},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/SagonasS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BruynoogheLS98,
author = {Maurice Bruynooghe and
Michael Leuschel and
Konstantinos Sagonas},
editor = {Chris Hankin},
title = {A Polyvariant Binding-Time Analysis for Off-line Partial Deduction},
booktitle = {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 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1381},
pages = {27--41},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053561},
doi = {10.1007/BFB0053561},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BruynoogheLS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/DemoenS98,
author = {Bart Demoen and
Konstantinos Sagonas},
editor = {Simon L. Peyton Jones and
Richard E. Jones},
title = {Memory Management for Prolog with Tabling},
booktitle = {International Symposium on Memory Management, {ISMM} '98, Vancouver,
British Columbia, Canada, 17-19 October, 1998, Conference Proceedings},
pages = {97--106},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/286860.286871},
doi = {10.1145/286860.286871},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/DemoenS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/DemoenS98,
author = {Bart Demoen and
Konstantinos Sagonas},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {{CAT:} The Copying Approach to Tabling},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {21--35},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056605},
doi = {10.1007/BFB0056605},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/DemoenS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapd/JanssensS98,
author = {Gerda Janssens and
Konstantinos Sagonas},
title = {On the Use of Tabling for Abstract Interpretation: An Experiment with
Abstract Equation Systems},
booktitle = {Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction,
TAPD'98, Paris, France, April 2-3, 1998},
pages = {118--126},
publisher = {{INRIA}},
year = {1998},
url = {ftp://ftp.inria.fr/INRIA/Projects/Atoll/TAPD98/sagonas.ps.gz},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapd/JanssensS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1998w1,
editor = {Konstantinos Sagonas},
title = {Proceedings of the International Workshop on Implementation Technology
for Programming Languages based on Logic, held in conjunction with
the Joint International Conference and Symposium on Logic Programming,
Manchester, UK, Saturday 20th June, 1998},
year = {1998},
timestamp = {Wed, 20 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/1998w1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishDS97,
author = {Michael Codish and
Bart Demoen and
Konstantinos Sagonas},
editor = {Lee Naish},
title = {{XSB} as the Natural Habitat for General Purpose Program Analysis},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {416},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CodishDS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/DecorteSLMS97,
author = {Stefaan Decorte and
Danny De Schreye and
Michael Leuschel and
Bern Martens and
Konstantinos Sagonas},
editor = {Norbert E. Fuchs},
title = {Termination Analysis for Tabled Logic Programming},
booktitle = {Logic Programming Synthesis and Transformation, 7th International
Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1463},
pages = {111--127},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49674-2\_6},
doi = {10.1007/3-540-49674-2\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/DecorteSLMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LeuschelMS97,
author = {Michael Leuschel and
Bern Martens and
Konstantinos Sagonas},
editor = {Norbert E. Fuchs},
title = {Preserving Termination of Tabled Logic Programs While Unfolding},
booktitle = {Logic Programming Synthesis and Transformation, 7th International
Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1463},
pages = {189--205},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49674-2\_10},
doi = {10.1007/3-540-49674-2\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LeuschelMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/RaoSSWF97,
author = {Prasad Rao and
Konstantinos Sagonas and
Terrance Swift and
David Scott Warren and
Juliana Freire},
editor = {J{\"{u}}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {{XSB:} {A} System for Effciently Computing {WFS}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1265},
pages = {431--441},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63255-7\_33},
doi = {10.1007/3-540-63255-7\_33},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/RaoSSWF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SagonasSW96,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {An Abstract Machine for Fixed-Order Dynamically Stratified Programs},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {328--342},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_98},
doi = {10.1007/3-540-61511-3\_98},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SagonasSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SagonasSW96,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Michael J. Maher},
title = {An Abstract Machine for Computing the Well-Founded Semantics},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {274--288},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278920},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SagonasSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/SagonasSW96,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Dino Pedreschi and
Carlo Zaniolo},
title = {The Limits of Fixed-Order Computation},
booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
July 1-2, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1154},
pages = {343--363},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031750},
doi = {10.1007/BFB0031750},
timestamp = {Mon, 03 Jan 2022 22:35:11 +0100},
biburl = {https://dblp.org/rec/conf/lid/SagonasSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SagonasW95,
author = {Konstantinos Sagonas and
David Scott Warren},
editor = {Leon Sterling},
title = {Efficient Execution of HiLog in WAM-based Prolog Implementations},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {349--363},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SagonasW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RamakrishnanRSSW95,
author = {I. V. Ramakrishnan and
Prasad Rao and
Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Leon Sterling},
title = {Efficient Tabling Mechanisms for Logic Programs},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {697--711},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/RamakrishnanRSSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DawsonRRSSSW95,
author = {Steven Dawson and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Konstantinos Sagonas and
Steven Skiena and
Terrance Swift and
David Scott Warren},
editor = {Ron K. Cytron and
Peter Lee},
title = {Unification Factoring for Efficient Execution of Logic Programs},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {247--258},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199509},
doi = {10.1145/199448.199509},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/DawsonRRSSSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/SagonasSW94,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Richard T. Snodgrass and
Marianne Winslett},
title = {{XSB} as an Efficient Deductive Database Engine},
booktitle = {Proceedings of the 1994 {ACM} {SIGMOD} International Conference on
Management of Data, Minneapolis, Minnesota, USA, May 24-27, 1994},
pages = {442--453},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/191839.191927},
doi = {10.1145/191839.191927},
timestamp = {Tue, 16 Aug 2022 23:04:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/SagonasSW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/SagonasSW94a,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Richard T. Snodgrass and
Marianne Winslett},
title = {{XSB} as a Deductive Database},
booktitle = {Proceedings of the 1994 {ACM} {SIGMOD} International Conference on
Management of Data, Minneapolis, Minnesota, USA, May 24-27, 1994},
pages = {512},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/191839.191970},
doi = {10.1145/191839.191970},
timestamp = {Mon, 22 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/SagonasSW94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SagonasW94,
author = {Konstantinos Sagonas and
David Scott Warren},
editor = {Maurice Bruynooghe},
title = {A Portable Compiler for Integrating HiLog into Prolog Systems},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {682},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/SagonasW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/SagonasSW93,
author = {Konstantinos F. Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Raghu Ramakrishnan},
title = {The {XSB} Programming System},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {164},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Thu, 02 May 2024 16:24:13 +0200},
biburl = {https://dblp.org/rec/conf/deductive/SagonasSW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-13 01:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
