Technical Reports

Welcome to the on-line library of technical reports of the Software Engineering Laboratory at the National Technical University of Athens, School of Electrical and Computer Engineering, Division of Computer Science.

Attention: The technical reports library is still under construction.
Its contents are now very limited!
Thank you for your understanding.

General information

	Copyright notice. All users of the on-line library must read this page before using the library.
	Document formats. Information concerning the various formats in which the library's documents are available. Also, information about tools that support these formats.

2010

[Gera10]: Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas, "A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering", Technical Report CSD-SW-TR-1-10, National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory, 2010.

2009

[Gera09a]: Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas, "A Concurrent Language with a Uniform Treatment of Regions and Locks" Technical Report CSD-SW-TR-7-09, National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory, 2010.
[Gera09b]: Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas, "Race-free and Memory-safe Multithreading: Design and Implementation in Cyclone", Technical Report CSD-SW-TR-8-09, National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory, 2009.

2006

[Todo06]: Eneia Todoran and Nikolaos S. Papaspyrou, "Continuations for Prototyping Concurrent Languages", Technical Report CSD-SW-TR-1-06, National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory, 2006.

2005

[Papa05]: Nikolaos S. Papaspyrou, Michalis A. Papakyriakou and Angelos Manousaridis, "Encoding Hoare Logic in Typed Certified Code", Technical Report CSD-SW-TR-1-05, National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory, 2005.

2004

[Todo04]: Eneia Todoran and Nikolaos S. Papaspyrou, "Denotational Prototype Semantics for a Simple Concurrent Language with Synchronous Communication", Technical Report CSD-SW-TR-1-04, National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory, 2004.

2001

[Papa01]: Nikolaos S. Papaspyrou, "A Resumption Monad Transformer and its Applications in the Semantics of Concurrency", Technical Report CSD-SW-TR-2-01, National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory, 2001.

Nikolaos S. Papaspyrou and Ioannis T. Kassios, "GLU#/C++: Theory and Implementation", Technical Report CSD-SW-TR-2-01, National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory, 2001. In Greek.

This page is maintained by Nikos Papaspyrou (nickie@softlab.ntua.gr).
Feel free to share with us your comments and remarks.