S(o)OS Related Publications
Publications
Conferences & Workshops
- Fabio Falzoi, Juri Lelli, Giuseppe Lipari, "PRACTISE: a framework for PeRformance Analysis and Testing of real-time multIcore SchEdulers for the Linux kernel", Proceedings of the 8th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT'12) Pisa, Italy, July 2012
- Kleopatra Konstanteli, Tommaso Cucinotta, Konstantinos Psychas, Theodora Varvarigou. "Admission Control for Elastic Cloud Services," in Proceedings of the 5th IEEE International Conference on Cloud Computing (IEEE CLOUD 2012), June 24-29 2012, Honolulu, Hawaii, USA.
- Daniel Rubio Bonilla, Lutz Schubert (2012), Memory-Region Thread Level Speculative Execution, on Proceedings of the Eleventh International Conference on Computational Structures Technology (CST 2012).
- Tyler Crain, Vincent Gramoli, Michel Raynal, "A Speculation-Friendly Binary Search Tree", in Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'12), February 2012, New Orleans, LA, USA.
- G. Lipari and E. Bini, “On the Problem of Allocating Multicore Virtual Resources to Real-Time Task Pipelines,” in Proceedings of the 4th Workshop on Compositional Theory and Technology for Real-Time and Embedded Systems (CRTS), co-located with RTSS, November 2011, Vienna, Austria, pp. 1-8.
- Vincent Gramoli, Rachid Guerraoui, "Democratizing Transactional Programming", in Proceedings of the ACM/IFIP/USENIX 12th International Middleware Conference (Middleware'11), December 2011, Lisbon, Portugal.
- Juri Lelli, Giuseppe Lipari, Dario Faggioli, Tommaso Cucinotta, "An efficient and scalable implementation of global EDF in Linux," in Proceedings of the 7th Annual Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2011), July 2011, Porto, Portugal.
- Tommaso Cucinotta, Dario Faggioli, Giacomo Bagnoli, "Low-Latency Audio on Linux by Means of Real-Time Scheduling," in Proceedings of the Linux Audio Conference (LAC 2011), Maynooth, Ireland, May 2011.
- Gramoli V., Guerraoui R. (2011) Brief Announcement: Transaction Polymorphism. Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA'11).
- Harmanci, V. Gramoli, P. Felber. (2011) Atomic Boxes: Coordinated Exception Handling with Transactional Memory. Proceedings of the 25th European Conference on Object Oriented Programming (ECOOP'11).
- Kumar, S., Cucinotta, T., Lipari, G. (2011). A Latency Simulator for Many-core Systems, Proceedings of the 44th Annual Simulation Symposium (ANSS 2011), part of the Spring Simulation Multiconference (SpringSim'11), Boston, USA.
- Lipari, G., Bini, E. (2010) A framework for hierarchical scheduling on multiprocessors: from application requirements to run-time allocation, in Proceedings of the Real-Time System Symposium, Dec 2010, San Diego (CA)
- Baaij, C.P.R. and Kooijman, M. and Kuper, J. and Boeijink, W.A. and Gerards, M.E.T. (2010) CλaSH: Structural Descriptions of Synchronous Hardware using Haskell. In: Proceedings of the 13th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, 1-3 Sep 2010, Lille, France. pp. 714-721. IEEE Computer Society.
- Nicola Serreli, Giuseppe Lipari, Enrico Bini. The Distributed Deadline Synchronization Protocol for Real-Time Systems Scheduled by EDF. In Proceedings of the 2010 IEEE Conference on Emerging Technologies and Factory Automation. Bilbao, Sep. 13-15 2010.
- Cucinotta, T., Giani, D., Faggioli, D. & Checconi, F (2010). Providing Performance Guarantees to Virtual Machines using Real-Time Scheduling, In Proceedings of the 5th Workshop on Virtualization in High-Performance Cloud Computing. Island of Ischia, Naples.
- Cucinotta, T. & Faggioli, D (2010). An Exception Based Approach to Timing Constraints Violations in Real-Time and Multimedia Applications. In Proceedings of the IEEE Symposium on Industrial and Embedded Systems. Trento, Italy.
- Faggioli, D., Lipari, G. & Cucinotta, T (2010). The multiprocessor Bandwidth Inheritance Procotol. In Proceedings of the 22nd Euromicro Conference on Real-Time Systems. Bruxelles, Belgium.
-
Kuper, J., Baaij, C.P.R., Kooijman, M., Gerards, M.E.T. (2010) Exercises in architecture specification using CλaSH, In: Proceedings of Forum on Specification and Design Languages (FDL 2010), Southampton, UK, pp. 178-183.
-
Niedermeier, A., Wester, R., Baaij, C.P.R., Kuper, J., Smit, G.J.M. (2010) Comparing CλaSH and VHDL by implementing a dataflow processor. In: Proceedings of the Workshop on PROGram for Research on Embedded Systems and Software (PROGRESS 2010), Veldhoven, The Netherlands, pp. 216-221.
- Serreli, N., Lipari, G. & Bini, E (2010). The Demand Bound Function Interface of Distributed Sporadic Pipelines of Tasks Scheduled by EDF. In Proceedings of the 22nd Euromicro Conference on Real-Time Systems. Bruxelles, Belgium.
- Schubert, L., Assel, M. & Wesner, S. (2010). Resource Fabrics: The Next Level of Grids and Clouds. In Ghanza, M. & Paprzycki, M. (editors), Proceedings of the International Multiconference on Computer Science and Information Technology. IEEE.
- Schubert, L. & Kipp, A (2009). Principles of Service Oriented Operating Systems. In Primet, P. V., Kudoh, T. & Mambretti, J. (editors), Networks for Grid Applications, Second International Conference, GridNets 2008, pages 56-69. Springer.
- Schubert, L., Wesner, S., Kipp, A. & Arenas, A (2009). Self-Managed Microkernels: From Clouds Towards Resource Fabrics. In In Proceedings of the First International Conference on Cloud Computing. Munich.
- Gerards, M.E.T. & Baaij, C.P.R. & Kuper, J. & Kooijman, M. (2011) Higher-Order Abstraction in Hardware Descriptions with ClaSH, 14th Euromicro Conference on Digital System Design (DSD2011), Oulu, Finland (to appear).
- Kleopatra Konstanteli, Tommaso Cucinotta, Theodora Varvarigou. Probabilistic Admission Control for Elastic Cloud Computing in Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2011), December 12-14 2011, Irvine, CA.
- Tommaso Cucinotta, Gaetano Anastasi. A Heuristic for Optimum Allocation of Real-Time Service Workflows in Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2011), December 12-14 2011, Irvine, CA.
- Luca Abeni and Tommaso Cucinotta, Efficient Virtualisation of Real-Time Activities in Proceedings of the IEEE International Workshop on Real-Time Service-Oriented Architecture and Applications (RTSOAA 2011), December 12-14 2011, Irvine, CA.
- Gaetano F. Anastasi, Tommaso Cucinotta, Giuseppe Lipari, Marisol Garcia-Valls, A QoS Registry for Adaptive Real-Time Service-Oriented Applications in Proceedings of the IEEE International Workshop on Real-Time Service-Oriented Architecture and Applications (RTSOAA 2011), December 12-14 2011, Irvine, CA.
- Tommaso Cucinotta and Vivek Subramanian. Characterization and analysis of pipelined applications on the Intel SCC in Proceedings of the 4th Symposium of the Many-core Applications Research Community (MARC 2011), Potsdam, Germany, December 2011.
- Tommaso Cucinotta. Optimum Scalability Point for Parallelisable Real-Time Components in Proceedings of the International Workshop on Synthesis and Optimization Methods for Real-time and Embedded Systems (SOMRES 2011), co-located with the 32nd IEEE Real-Time Systems Symposium (RTSS 2011), Vienna, Austria, November 29 - December 2, 2011.
- Tommaso Cucinotta, Spyridon Gogouvitis, Kleopatra Konstanteli. SLAs in Virtualized Cloud Computing Infrastructures with QoS Assurance in Proceedings of the International Workshop on eContracting in the Clouds, co-located with the eChallenges 2011 Conference, Florence, Italy, October 27th 2011.
- Tommaso Cucinotta, Fabio Checconi, Dhaval Giani. Improving Responsiveness for Virtualized Networking Under Intensive Computing Workloads in Proceedings of the 13th Real-Time Linux Workshop (RTLWS 2011), Prague, Czech Republic, October 2011.
- Baaij, C.P.R. and Kuper, J. and Schubert, L. (2012) SoOSiM: Operating System and Programming Language Exploration. In: Proceedings of the 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time System (WATERS 2012), 10 Jul 2012, Pisa, Italy. pp. 63-68
- Wester, R. and Baaij, C.P.R. and Kuper, J. (2012) A two step hardware design method using CλaSH. In: 22nd International Conference on Field Programmable Logic and Applications, FPL 2012, 29-31 Aug 2012, Oslo, Norway. pp. 181-188. IEEE Computer Society. ISBN 978-1-4673-2257-7
- Kumar, S., Cucinotta, T., Lipari, G., A Latency Simulator for Many-Core Systems, on Spring Simulation Multiconference (SpringSim'11).
- Schubert, L..Reputing Microkernels. In Proceedings of the UK eScience All Hands Meeting, Oxford, 2009.
- Rubio Bonilla, D., Schubert, L. (2011) Adaptable and Distributed Program Execution, in e-Challenges, Oct 2011, Florence (IT).
- Schubert, L., & Wesner, S.. Boundaries of Supercomputing. In C.-P. Rückemann, P. Dini, W. Hommel, M. Pankowska, & L. Schubert (Eds.), The Second International Conference on Advanced Communications and Computation. XPS 2012.
- Jeffery, K., Horn, G., & Schubert, L.. A vision for better cloud applications. In D. Ardagna & L. Schubert (Eds.), Proceedings of the 2013 international workshop on Multi-cloud applications and federated clouds-MultiCloud ’13 (p. 7). New York, New York, USA: ACM Press. doi:10.1145/2462326.2462329 , 2013.
- Schubert, L., Kuper, J. & Gracia, J.. A Programming Model for Large Scale,Strongly Heterogeneous Infrastructures. Submitted (and accepted for full paper) to ParCo 2013.
- Niedermeier, A. and Kuper, J. and Smit, G.J.M.. A Haskell-Based Programming Paradigm for Coarse-Grained Reconfigurable Arrays. In: Proceedings of the Work in Progress Session of the 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2012) and the 15th EUROMICRO Conference on Digital System Design (DSD 2012), 5-8 Sep 2012, Çeşme, Izmir, Turkey. pp. 17-18. SEA-Publications. Institute for Systems Engineering and Automation, J. Kepler University Linz.
- Rovers, K.C. and Kuper, J.. UniTi: Unified composition and time for multi-domain model-based design. International Journal of Parallel Programming, 41 (2). 261-304 (2013).
- Gramoli Vincent, Guerraoui Rachid, and Trigonakis Vasileios. "TM2C: a software transactional memory for many-cores." In Proceedings of the 7th ACM european conference on Computer Systems, pp. 351-364. ACM, 2012.
Journals
- Juri Lelli, Dario Faggioli, Tommaso Cucinotta, Giuseppe Lipari: "An experimental comparison of different real-time schedulers on multicore systems". Journal of Systems and Software 85(10): 2405-2416 (2012)
- Dario Faggioli, Giuseppe Lipari, Tommaso Cucinotta: "Analysis and implementation of the multiprocessor bandwidth inheritance protocol". Real-Time Systems 48(6): 789-825 (2012)
- João Paulo Barraca, Alfredo Matos, Rui L. Aguiar (2011). User Centric Community Clouds. International Journal on Wireless Personal Communications
- Schubert, L., Kipp, A., Koller, B. & Wesner , S. (2009). Service Oriented Operating Systems: Future Workspaces. IEEE Wireless Communications, 16(3), 42-50.
- M. Assel, L. Schubert, D. Rubio Bonilla, and S. Wesner, “Beyond Clouds: Towards Real Utility Computing,” Scalable Computing: Practice and Experience, vol. 12, no. 2, pp. 179-191, 2011.
-
Javad Zarrin, Bruno Santos, Rui Aguiar,João Barraca, “Challenges of Many-core Simulation for Tera-scale System Design”, AMAMuS 2013 : Special Issue on Advances in Methods for Adaptive Multicore Systems (The Journal of Supercomputing) (submitted)
- Javad Zarrin, Bruno Santos, Rui Aguiar,João Barraca, " Resource Discovery for Future Many-
Core Systems", Future Generation Computer Systems: The International Journal of Grid
Computing and eScience (submitted) -
Bruno Santos, Javad Zarrin, Rui Aguiar,João Barraca, “Asynchronous Communication
Pattern for Distributed Operating System”, Journal of Parallel and Distributed Computing(submitted)
Books & Book Sections
- Cucinotta, T., Lipari, G., Schubert, L. (2011). Operating System and Scheduling for Future Multi-core and Many-Core Platforms, Chapter accepted to appear in the book "Programming Multi-core and Many-Core Computing Systems", Wiley Interscience.
- Schubert, L., Wesner, S., Rubio Bonilla, D. , Cucinotta, T., "Autonomic Distribution and Adaptation," Chapter accepted to appear in the book "Programming Multi-core and Many-Core Computing Systems", Wiley Interscience.
- Gramoli, V., Rachid, G., "Programming with Transactional Memory," Chapter accepted to appear in the book "Programming Multi-core and Many-Core Computing Systems", Wiley Interscience.
- Schubert, L., Kipp, A. & Wesner, S (2009). Above the Clouds: From Grids to Service- oriented Operating Systems, pages 238 - 249. Amsterdam : IOS Press.
- L. Schubert, M. Assel, A. Kipp, and S. Wesner, “Resource Cloud Mashups,” in Cloud Computing: Principles and Paradigms, R. Buyya, J. Broberg, and A.M. Goscinski, Eds. Wiley, 2011, pp. 533-548.
- Kuper, J. and Baaij, C.P.R. and Kooijman, M, and Gerards, M.E.T. (2011). Architecture Specifications in CλaSH. In: Tom J. Kamierski, Adam Morawiec (ed.) System Specification and Design Languages: Selected Contributions from FDL 2010, Springer, 2011, ISBN-13: 978-1461414261
Presentations
- Schubert, L. (2012). S(o)OS Overview. Computing Architectures, Software tools and nano-Technologies for Numerical and Embedded Scalable Systems" (CASTNESS), Paris
- Baaij, C. (2012). Description of resource capabilities using CλASH. Computing Architectures, Software tools and nano-Technologies for Numerical and Embedded Scalable Systems" (CASTNESS), Paris
- Subramanian, V. (2012). Characterization & Analysis of Pipelined Applications on the Intel Single-chip Cloud Computer. Computing Architectures, Software tools and nano-Technologies for Numerical and Embedded Scalable Systems" (CASTNESS), Paris
- Gramoli, V. (2012). Rethinking Transactional Memory in the Manycore Context. Computing Architectures, Software tools and nano-Technologies for Numerical and Embedded Scalable Systems" (CASTNESS), Paris
- Santos, B. (2012). Communication and Migration in Manycore Systems. Rethinking Transactional Memory in the Manycore Context. Computing Architectures, Software tools and nano-Technologies for Numerical and Embedded Scalable Systems" (CASTNESS), Paris
- Gramoli, V. (2011). Transaction Polymorphism. Embedded Systems Seminar. Freiburg (Germany).
- Zarrin, J. (2011). SOOS: System Level Resource Discovery and Management for Multi-Core Environment. At Computing Architectures Software tools and nano-Technologies for Numerical Embedded and Scalable Systems (CASTNESS) 2011, Roma, Italy.
- Letia, M. (2011). SOOS: Composition vs. Concurrency. At Computing Architectures Software tools and nano-Technologies for Numerical Embedded and Scalable Systems (CASTNESS) 2011, Roma, Italy.
- Cucinotta, T. (2011). SOOS: Large Scale Scheduling of Distributed Applications with Performance Requirements in Many-Core Systems. At Computing Architectures Software tools and nano-Technologies for Numerical Embedded and Scalable Systems (CASTNESS) 2011, Roma, Italy.
- Rubio Bonilla, D. (2011). SOOS: Scaling Issues in Current OS Architectures and Approaches to Overcome them. At Computing Architectures Software tools and nano-Technologies for Numerical Embedded and Scalable Systems (CASTNESS) 2011, Roma, Italy.
- Schubert, L. (2011). What is Cloud Computing. At Cloud Computing in the Pharmaceutical Industry, Frankfurt, Germany
- Kipp, A. (2011). Energy-Aware Applications. At the CHIST-ERA Conference 2011, Cork, Uk
- Schubert, L., (2010). Next Generation Operating Systems. At All Hands Meeting 2010, Cardiff, UK
- Assel, M. (2010). Convergence of HPC and PC: really?. At All Hands Meeting 2010, Cardiff, UK
- Baaij, C. (2010). Christiaan Baaij: Functional Hardware Specification. At All Hands Meeting 2010, Cardiff, UK
- Cucinotta, T. (2010). Challenges in Operating System Design for Future Many-Core Systems. At All Hands Meeting 2010, Cardiff, UK
- Gomes, D. (2010). Open Source & Research. At Future Networks 6th FP7 Concertation Meeting 2010, Brussels, Belgium
- Christiaan Baaij, CλaSH – A Functional Language for FPGAs. Presentation at: HiPEAC Computing Systems Week, Oct. 17th 2012, Gent, Belgium.
- Christiaan Baaij and Jan Kuper, An Alternative to Composing Functions with State in CλaSH. Poster & Presentation at: ICT.OPEN 2012, Oct 22-23, 2013, Rotterdam, The Netherlands.
- SSSA Progress Meeting: general overview of the project, planned SSSAresearch activities and main outcomes of the related work overview incorporated into D5.1 presented to researchers, PhD students and under-graduate students of the CEIICP. July 2010, Italy.
-
SSSA Progress Meeting: general overview of the project and planned SSSA research activities presented to researchers, PhD students and under-graduate students of the Centre of Excellence for Information, Communication and Perception Engineering (CEIICP), encompassing the Real-Time Systems Laboratory (RETIS), the Integrated Research Centre for Photonic Networks and Technologies (IRCPhonet) and the Perceptual Robotics Laboratory (PERCRO) of Scuola Superiore Sant'Anna. May 2010, Italy.
- SSSA Internal Workshop: General overview of the project and research being carried out by SSSA. Presented to researchers, PhD students and under-graduate students of the TeCIP, as well as to international renowned professors reviewing and providing feedback on the research activities of the RETIS. December 2011, Italy.
- Rubio Bonilla, D., Addressing the impact of manycore scale on execution management. 2011, Stuttgart, Germany.
- Tommaso Cucinotta, Presentation of the research activities around Real-Time Operating Systems of the Scuola Superiore Sant'Anna to the Alcatel-Lucent Bell Labs research team. October 27th 2011, Dublin, Ireland.
- Bruno, S., Asynchronous Design Pattern for Many-Core and Cloud Operating Systems – Poster. The audience was composed of researchers and members of industry participating in the HiPEAC 2012 Conference. HiPEAC 2012, January 2012. Paris, France.
- Jan Kuper, Christiaan Baaij, Rinse Wester, CλaSH Tutorial. The audience was composed of researchers and members of industry participating in the HiPEAC 2012 Conference. HiPEAC 2012, January 2012. Paris, France.
- Running presentation at the HLRS Infobooth at the International SuperComputing ISC2010.
- Running presentation at the HLRS Infobooth at the SuperComputing SC2011.
- Schubert L.. Invited Speaker. Cloud computing from a HPC provider perspective. Konferencja Uzytkownikow KDM, 2010.
- Schubert L.. Invited Speaker. The End of High Performance Computing? International Conference on Advanced Communications and Computation. 2012.
- Schubert L.. Invited Speaker. IDC Multicore Workshop. 2012.
-
Schubert L.. Invited Speaker. Dynamicity requirements in future cloud-like infrastructures. EuroCloud CLASS Conference. 2012.
- Schubert L.. Invited Speaker. HPC & Clouds: Converging Systems? EuroCloud CLASS Conference. 2012.
- Schubert L.. Invited Keynote. Standards Matter. ETSI Cloud Standards Conference. 2012.
- Schubert L.. Invited Speaker. The Future of ICT. eGovernment Forum Bahrain. 2013.
- Running presentation at the HLRS Infobooth at the SuperComputing SC2011.
- Kuper J.. ACE (Associated Compiler Experts), Half day workshop on Dataflow Based Hardware Specification. Amsterda, January 2013.
- Kuper/Baaij: Ruhr Universität Bochum, One day visit for presenting CLaSH and discussing hardware platforms and programming models. CLaSH is now actually used at RU-Bochum. April 2013.
- Kuper J.: Presentation on "Algorithms and Architectures". VU (Vrije Universiteit Amsterdam), April 2013.
Lectures
-
J. Kuper: CLaSH based lectures and exercises in the course "Embedded Computer Architectures 2"
-
C. Baaij: Lectures on CLaSH in the course "Functional Programming".