Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 8.

Article

Thompson, Simon and Li, Huiqing and Baker, Robert and Adams, Stephen and Trinder, Phil and Chechina, Natalia and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Aronis, Stavros and Bihari, Eva and Boudeville, Olivier and Cesarini, Francesco and de Stefano, Maurizio and Eriksson, Sverker and Fordos, Viktoria and Ghaffari, Amir and Green, Rickard and Hoch, csaba and Klaftenegger, David and Lundin, Kenneth and MacKenzie, Kenneth and Roukounaki, Katerinia and Tsiouris, Yiannis and Winblad, Kjell (2017) Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Transactions on Programming Languages and Systems, 39 (4). ISSN 0164-0925. E-ISSN 1558-4593. (doi:https://doi.org/10.1145/3107937) (Full text available)
[img]
Preview

Boudeville, Olivier and Cesarini, Francesco and Chechina, Natalia and Lundin, Kenneth and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Thompson, Simon and Trinder, Phil and Wiger, Ulf (2013) RELEASE: A High-level Paradigm for Reliable Large-scale Server Software. Trends in Functional Programming, 7829 . pp. 263-278. ISSN 0302-9743. (doi:https://doi.org/10.1007/978-3-642-40447-4_17) (Full text available)
[img]
Preview

Conference or workshop item

Christakis, Maria and Gotovos, Alkis and Sagonas, Konstantinos (2013) Systematic Testing for Detecting Concurrency Errors in Erlang Programs. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST). IEEE pp. 154-163. (doi:https://doi.org/10.1109/ICST.2013.50) (Full text available)
[img]
Preview

Gotovos, Alkis and Christakis, Maria and Sagonas, Konstantinos (2011) Test-Driven Development of Concurrent Programs using Concuerror. In: Erlang '11 Proceedings of the 10th ACM SIGPLAN workshop on Erlang. ACM p. 51. ISBN 978-1-4503-0859-5. (doi:https://doi.org/10.1145/2034654.2034664) (Full text available)
[img]
Preview

Christakis, Maria and Sagonas, Konstantinos (2011) Detection of Asynchronous Message Passing Errors Using Static Analysis. In: Practical Aspects of Declarative Languages. Lecture Notes in Computer Science. pp. 5-18. ISBN 978-3-642-18377-5. E-ISBN 978-3-642-18378-2. (doi:https://doi.org/10.1007/978-3-642-18378-2_3) (Full text available)
[img]
Preview

Arts, Thomas and Thompson, Simon (2010) From Test Cases to FSMs: Augmented Test-driven Development and Property Inference. In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds. ErlangÂ?10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. ACM SIGPLAN pp. 182-196. ISBN 978-1-4503-0253-1. (Full text available)
[img]
Preview

Drienyovszky, Daniel and Horpacsi, Daniel and Thompson, Simon (2010) QuickChecking Refactoring Tools. In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds. ErlangÂ?10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. ACM SIGPLAN pp. 182-196. ISBN 978-1-4503-0253-1. (Full text available)
[img]
Preview

Christakis, Maria and Sagonas, Konstantinos (2010) Static Detection of Race Conditions in Erlang. In: Practical Aspects of Declarative Languages. Lecture Notes in Computer Science. pp. 119-133. ISBN 978-3-642-11502-8. E-ISBN 978-3-642-11503-5. (doi:https://doi.org/10.1007/978-3-642-11503-5_11) (Full text available)
[img]
Preview

This list was generated on Tue May 21 16:46:08 2019 BST.