This is the multi-page printable view of this section.
Click here to print.
Return to the regular view of this page.
Compsys 2021
Future Computer Systems and Networking Research in the Netherlands: A Manifesto
For the past year, we have been working on a Manifesto on the future of Computer Systems and Networking research in the Netherlands (CompSysNL). The CompSysNL Manifesto is now online [1]; a 2-page executive summary ready for sending around is also available [2]. We are a large, cross-institutional community of scientists and technology experts (30+ co-signatories, 7 universities, 5 research institutes and organizations, etc.) Also check out who’s who in CompSysNL [3].
#CompSysNL #Manifesto #computersystems #computernetworks #infrastructure #ICT
References:
- Executive Summary (2 pages) https://bit.ly/ManifestoCompSysNLSummary
- Full version (40+ pages) https://bit.ly/ManifestoCompSysNL
- Who’s who in CompSysNL? https://bit.ly/CompSysNLWhosWho
Latest news:
- Sep-Oct 2021: We are updating the website to meet the needs of the IPN Special Interest Group on Future Computer Systems and Networking (FCSN)
- June 28-29th, 2021: CompSys takes place, thanks everyone for participation. All slides (including the keynotes) and papers are available online in the SurfDrive. Please see the awards winners below.
- June 21st, 2021: Ask Us Anything panel confirmed, see https://www.compsys.science/2021/panel. Please prepare your questions for the panel!
- June 13th, 2021: Detailed program schedule is now online. Please register (free of charge!) to receive details about the online platforms.
- May 22nd, 2021: Two exciting keynote talks from Prof. Dr. Theo Rasing and Prof. Dr. Marieke Huisman are confirmed, see https://www.compsys.science/2021/keynote for details.
- May 11th, 2021: Deadline extension of a week, new deadline for paper submission: May 21st, 2021 (Friday 23:59).
- April 26th, 2021: Registration details and paper submission details are now available.
- April 15th, 2021: CompSys 2021 dates and website up.
Awards:
- Best Presentation Award: Danilo de Goede, Duncan Kampert and Ana-Lucia Varbanescu, The Cost of AlphaZero: the Hive Case.
- CompSys'21 PubQuiz Winner: Corne Lukken
Congratulations!
Welcome to CompSys 2021, a Computer Science conference designed to showcase the success stories of Dutch Computer Systems research, while fostering and strengthening national and international collaboration.
At CompSys, we aim to provide a meeting space for research and industry ideas in the area of computing and computer science. Building up on the success of the previous three years (2019, 2018, 2017), the fifth edition of the conference will emphasize efforts on community building and providing a forum to discuss ongoing projects among all members of academic research groups in the Netherlands.
This year the conference will take place online (for the first time), for two half days (1-6pm). The conference will focus on the major research and practice themes related to computer systems. We envision a diverse program, featuring keynotes on advanced topics, strong scientific contributions, panel discussions, and exciting new ideas. We strive for a diverse participation from all the interesting and interested parties in the Netherlands, and we welcome senior members of the research community, junior faculty members, Ph.D., and master students.
3 - Submission details
CompSys-2021 invites you to submit two types of contributions: research papers and work-in-progress papers.
Submission Portal
Long papers
Research papers on your best research results from the past year(s). This includes papers already submitted to and/or accepted at international conferences or workshops (please indicate the original venue on the submission form).
Long papers (preferably not exceeding 12 pages in double-column or 15 pages in LNCS format) can be submitted using any of the commonly used templates (e.g., ACM, IEEE, LNCS) so that no reformatting should be needed in most cases.
Short papers: New ideas or work-in-progress
Since CompSys is a forum that encourages discussions about new and exciting ideas, we specifically welcome extended abstracts and work-in-progress papers. Such submissions are especially suitable for MSc students working towards finalizing their theses or PhD students who have recently started.
Submissions of new ideas or work-in-progress papers requires an short paper of at most 2 pages (not including references) in ACM or IEEE double-column format. The paper should mention the research question being addressed, outline the novelty and/or originality of the idea, approach, or results, and contain a summary of preliminary results.
No copyright To foster the broadest possible engagement and exchange ideas, CompSys-2021 does not claim copyright, making it possible for you to present work that has already been published or is in the process of publishing elsewhere.
Both types of contributions can be submitted online via the EasyChair conference submission system at https://easychair.org/conferences/?conf=compsys2021. For submission, the PDF format is mandatory.
All contributions will be reviewed by the Program Committee, which assigns an accepted contribution to either a short talk or a full presentation, depending on the advice of the reviewers.
All presentations will be made available in digital format, unless otherwise instructed by the authors.
Outstanding contributions
The best three contributors (authors of a paper, idea, and/or presentation) at CompSys 2021 will be presented with an "Outstanding contribution" award in the final session of the conference.
4 - Program
The full program is available below. All final paper prints and presentations are available in the SurfDrive link sent to registered participants.
| Monday |
|
Paper/activity |
Presenter(s) |
Author(s) |
| 12:45 |
- |
Welcome and opening remarks
|
|
Animesh Trivedi
|
| 13:00 |
Keynote |
Ultrafast magnetism and Brain-inspired approaches for Green ICT
|
|
Theo Rasing
|
| 14:00 |
|
Break
|
|
|
| 14:15 |
Paper presentation |
Rocket: Efficient and Scalable All-Pairs Computations on Heterogeneous Platforms
|
|
Stijn Heldens, Pieter Hijma, Ben van Werkhoven, Jason Maassen, Henri Bal and Rob van Nieuwpoort
|
| 14:25 |
Paper presentation |
Clownfish: Edge and Cloud Symbiosis for Video Stream Analytics
|
|
Vinod Nigade, Lin Wang and Henri Bal
|
| 14:35 |
Paper presentation |
OpenDC 2.0: Convenient Modeling and Simulation of Emerging Technology in Cloud Datacenters
|
|
Fabian Mastenbroek, Georgios Andreadis, Soufiane Jounaid, Wenchen Lai, Jacob Burley, Jaro Bosch, Erwin van Eyk, Laurens Versluis, Vincent van Beek and Alexandru Iosup
|
| 14:45 |
Paper presentation |
Profiling and discriminating of containerized ML applications in Digital Data Marketplaces (DDM)
|
|
Lu Zhang, Reginald Cushing, Ralph Koning, Cees De Laat and Paola Grosso
|
| 14:55 |
Paper presentation |
DDLBench: Towards a Scalable Benchmarking Infrastructure for Distributed Deep Learning
|
|
Matthijs Jansen, Valeriu Codreanu and Ana-Lucia Varbanescu
|
| 15:05 |
Work-in-progress presentation |
A Memory-Centric Partitioning Scheme for Large-Scale Pipeline-Parallel DNN Training
|
|
Henk Dreuning, Rob van Nieuwpoort and Henri Bal
|
| 15:15 |
|
Break
|
|
|
| 15:30 |
Paper presentation |
Practical Byzantine Reliable Broadcast on Partially Connected Networks
|
|
Silvia Bonomi, Jérémie Decouchant, Giovanni Farina, Vincent Rahli and Sebastien Tixeuil
|
| 15:40 |
Paper presentation |
MATCH: A Decentralized Middleware for Fair Matchmaking In Peer-to-Peer Markets
|
|
Martijn de Vos, Georgy Ishmaev and Johan Pouwelse
|
| 15:50 |
Paper presentation |
ZCSD: a Computational Storage Device over Zoned Namespaces SSDs
|
|
Corne Lukken, Giulia Frascaria and Animesh Trivedi
|
| 16:00 |
|
Break
|
|
|
| 16:10 |
Panel Discussion |
The Present and Future of Computer and Network Systems in the Netherlands
|
|
Alexandru Iosup, Paola Grosso, Kees De Laat, Lydia Chen, with Animesh Trivedi
|
| 17:00 |
|
Break
|
|
|
| 17:15 |
Work-in-progress presentation |
Energy Harvesting for Heterogeneous CPU-GPU Workloads
|
|
Nick Breed, Quincy Bakker and Ana-Lucia Varbanescu
|
| 17:25 |
Work-in-progress presentation |
A Case for a Programmable Edge Storage Middleware
|
|
Giulia Frascaria, Animesh Trivedi and Lin Wang
|
| 17:35 |
Paper presentation |
EPI Framework: Approach for traffic redirection through containerised network functions
|
|
Jamila Alsayed Kassem, Onno Valkering, Adam Belloum and Paola Grosso
|
| 17:45 |
- |
Break
|
|
|
| 18:00 |
Social Activity |
CompSys PubQuiz Evening
|
|
|
| Tuesday |
|
Paper/activity |
Presenter(s) |
Author(s) |
| 12:45 |
- |
Welcome and opening remarks
|
|
Animesh Trivedi
|
| 13:00 |
Keynote |
Automated Verification of Parallel Nested DFS with the VerCors verifier
|
|
Marieke Huisman
|
| 14:00 |
|
Break
|
|
|
| 14:15 |
Paper presentation |
Zero-Cost, Arrow-Enabled Data Interface for Apache Spark
|
|
Sebastiaan Alvarez Rodriguez and Alex Uta
|
| 14:25 |
Paper presentation |
Dyconits: Scaling Minecraft-like Services through Dynamically Managed Inconsistency
|
|
Jesse Donkervliet, Jim Cuijpers and Alexandru Iosup
|
| 14:35 |
Work-in-progress presentation |
Porting VexCL kernels on Xilinx FPGAs
|
|
Tristan Laan and Ana-Lucia Varbanescu
|
| 14:45 |
Work-in-progress presentation |
Exploring the scaling performance of Hemocell: a framework for blood flow simulations
|
|
Jelle van Dijk, Max van der Kolk, Gábor Závodszky and Ana-Lucia Varbanescu
|
| 14:55 |
Paper presentation |
ParPBM: A Novel Parallel Position Based Click Model
|
|
Pooya Khandel, Ilya Markov and Ana-Lucia Varbanescu
|
| 15:05 |
Paper presentation |
Credit Scoring Prediction using Graph Features
|
|
Lorena Poenaru-Olaru, Judith Redi, Arthur Hovanesyan and Huijuan Wang
|
| 15:15 |
|
Break
|
|
|
| 15:30 |
Panel Discussion |
CompSys'21 Ask Us Anything session
|
|
Suzan Bayhan, Bala Chandrasekaran, Dick Epema, Paola Grosso, with Animesh Trivedi
|
| 16:15 |
|
Break
|
|
|
| 16:30 |
Paper presentation |
Evaluation of Container Overlays for Secure Data Sharing
|
|
Sara Shakeri, Lourens Veen and Paola Grosso
|
| 16:40 |
Paper presentation |
How Lightning’s Routing Diminishes its Anonymity
|
|
Satwik Prabhu Kumble, Dick Epema and Stefanie Roos
|
| 16:50 |
Work-in-progress presentation |
Periscope: Censorship-Resistant Off-Chain Traffic Tunneling
|
|
Emiel de Smidt and Stefanie Roos
|
| 17:00 |
Paper presentation |
GradeML: Towards Holistic Performance Analysis for Machine Learning Workflows
|
|
Tim Hegeman, Matthijs Jansen, Alexandru Iosup and Animesh Trivedi
|
| 17:10 |
Work-in-progress presentation |
Using AI to Speed-up Strongly Connected Components Calculation
|
|
Dante Niewenhuis and Ana-Lucia Varbanescu
|
| 17:20 |
Work-in-progress presentation |
The Cost of AlphaZero: the Hive Case
|
|
Danilo de Goede, Duncan Kampert and Ana-Lucia Varbanescu
|
| 17:30 |
|
Concluding remarks
|
|
Animesh Trivedi
|
| 17:45 |
- |
Social evening - the online rooms will remain open
|
|
|
5 - Panel
The Present and Future of Computer and Network Systems in the Netherlands
Panelists: Alexandru Iosup (VU Amsterdam), Paola Grosso (University of Amsterdam), Kees De Laat (University of Amsterdam), Lydia Chen (TU Delft) with Animesh Trivedi (VU Amsterdam).
When: Monday 28th, June 2021, 4-5pm.
Details: Our modern society and competitive economy depend on a strong digital foundation and, in turn, on sustained computer systems research and innovation. Computer systems, ranging from small, embedded devices to large data centers and the networks that connect them, are a remarkable technology area with an outstanding impact on society. About two-thirds of the Dutch yearly GDP of 1 trillion is based on datacenters, but the investment in R&D in this area is not proportional and also not matching investments in other areas. In this panel, we open the discussion about why this is the case, why it shouldn't, and what we can do about it.
CompSys 2021 : Ask Us Anything!
Panelist: Suzan Bayhan, Bala Chandrasekaran, Dick Epema, and Paola Grosso
Moderator: Animesh Trivedi
When: Tuesday 29th, June 2021, 3:30-4:15pm.
Details: A Reddit Ask Me Anything (AMA) inspired Q&A session where you can ask our panelists anything related to their opinions (e.g., on research, education, funding), their approach towards work, work-life balance, academic life, and all the big questions regarding life, the universe and everything.
Bio
Suzan Bayhan is an assistant professor at the University of Twente (UT). She earned her Ph.D. in computer engineering in 2012 from Bogazici University. Before joining UT, she worked at the University of Helsinki and TU Berlin as a researcher. She received the best paper awards at ACM ICN '15 and IEEE WoWMoM '20, and the best demo award at IEEE INFOCOM '20. Her current research interests include spectrum sharing, the coexistence of wireless networks, WiFi and LTE resource management, and edge computing.
Bala Chandrasekaran is an assistant professor at Vrije Universiteit Amsterdam, and his research focusses on the performance and security aspects of networked systems. Prior to joining the VU, he was a senior researcher at the Max-Planck-Institut für Informatik in Saarbrücken, Germany. He graduated with a PhD in 2016 from Duke University in Durham, USA.
Dick Epema is professor of Computer Science at Delft University of Technology. He leads the Distributed Systems Group, which has two research themes. In cooperative systems, the holy grail is trust in the internet, with such topics as blockchain technology and self-sovereign identities, to allow any two entities to interact in a trusted way without central, trusted third parties. In distributed machine-learning systems, the goal is to extract optimal efficiency from datacenters for machine-learning applications.
Paula Grosso is associate professor at the Institute for Informatics at the University of Amsterdam. She leads the Multiscale Networked Systems (MNS) group, which researches the emerging architectures that can support the operations of multiscale systems across the Future Internet. She has an extensive record of contribution to international projects and she is currently involved with her group in numerous of EU-funded projects, among them GN4-3, FEd4FIRE+.
6 - Keynote
We have the pleasure of welcoming our keynote speakers at CompSys'21.
| Monday June 28th, 1:00-2:00pm |
| Ultrafast magnetism and Brain-inspired approaches for Green ICT |
| By Prof. Dr. Theo Rasing |
| Radboud University, Institute for Molecules and Materials, Nijmegen, the Netherlands |
Abstract The explosive growth of digital data use and storage has led to an enormous rise in global energy consumption of Information and Communication Technology (ICT), which already stands at 7% of the world electricity consumption1. New ICT technologies, such as Artificial Intelligence push this exponentially increasing energy requirement even more, though the underlying hardware paradigm is utterly inefficient: tasks like pattern recognition can be performed by the human brain with only 20W, while conventional (super)computers require 10 MW. Therefore, the development of radically new physical principles that combine energy-efficiency with high speeds and high densities is crucial for a sustainable future. One of those is the use of non-thermodynamic routes that promises orders of magnitude faster and more energy efficient manipulation of bits2. Another one is neuromorphic computing, that is inspired by the notion that our brain uses a million times less energy than a supercomputer while, at least for some tasks, it even outperforms the latter. In this talk, I will discuss the state of the art in ultrafast manipulation of magnetic bits and present some first results3 to implement brain-inspired computing concepts in magnetic materials that operate close to these ultimate limits.
[1] Lannoo, B. Energy consumption of ICT Networks. TREND Final Workshop Brussels (2013), PDF.
[2] A. Kirilyuk, A. V. Kimel and Th. Rasing, Ultrafast optical manipulation of magnetic order, Rev. Mod. Phys. 82, 2731-2784 (2010).
[3] A. Chakravarty, J.H. Mentink, C. S. Davies, K. Yamada, A.V. Kimel and Th. Rasing, Supervised learning of an opto-magnetic neural network with ultrashort laser pulses, Appl. Phys. Lett. 114, 192407 (2019)
|
| Short bio Theo Rasing is professor of physics at Radboud University, Nijmegen, member of the Royal Dutch Academy of Arts and Sciences and Academia Europaea, honorary professor Wuhan University of Technology, honorary member Ioffe Institute in St. Petersburg, recipient ERC Synergy Grant 2019, ERC Advanced Grant 2013 and Spinoza Award 2008, highest scientific award of the Netherlands. His research focuses on the study and control of the properties of functional (molecular/ photonic/magnetic) nanomaterials on ultrafast (femtosecond) timescales. He has co-authored over 500 papers (h= 61, WoS), including 43 Physical Review Letters and 18 in Nature Group journals and co-inventor on 4 patent applications. A Physical Review Letters of 2007 was mentioned as a Breakthrough of the year by Science. |
| Tuesday June 29th, 1:00pm-2:00pm |
| Automated Verification of Parallel Nested DFS with the VerCors verifier |
| Prof. Dr. Marieke Huisman |
| University of Twente |
Abstract The VerCors verifier is a tool set for the verification of parallel and concurrent software. Its main characteristics are (i) that it can verify programs under different concurrency models, written in high-level programming languages, such as for example in Java, OpenCL and OpenMP; and (ii) that it can reason not only about race freedom and memory safety, but also about functional correctness. In this talk I will first give an overview of the VerCors verifier, and how it has been used for the verification of many different parallel and concurrent algorithms.
In the second part of my talk I will zoom in on the verification of a parallel model checking algorithm. Model checking algorithms are typically complex algorithms whose correctness is crucial for the usability of a model checker. However, establishing the correctness of such algorithms can be challenging, and is often done manually. Model checking algorithms are often parallelized for efficiency reasons, which makes them even more error-prone, and thus we need to use mechanized techniques to reason about their correctness. I will show how we used Vercors to mechanically verify the parallel nested depth first algorithm of Laarman et al. We also show how having a mechanized proof supports the easy verification of various optimizations of the algorithm. As far as we are aware, this is the first deductive verification of a multi-core model checking algorithm. |
|
Short bio Marieke Huisman is well-known for her work on program verification and specification, and software reliability. At the University of Twente, she leads the Formal Methods and Tools group. In 2011, she obtained an ERC Starting Grant for the VerCors project on the verification of concurrent software, where she studied practical verification of concurrent programs, and developed verification techniques for advanced programming and specification constructs. All verifications are supported by the VerCors tool set. In follow-up projects, the results have been expanded to programming languages for other parallel computing paradigms, such as GPUs and distribution (EU project CARP, NWO Top project VerDi). She currently is working on adding support to reason at a more abstract level, and to increase the level of automation of the verification process, as part of her NWO VICI project Mercedes (2018 - 2022). In 2013, she received the Netherlands Prize for ICT research 2013. |
7 - Registration
Participation in CompSys 2021 is free of charge, but registration is required.
To register: please send an email to: asci-office AT tudelft.nl and you will receive a link with logistics details a few days before the conference.
8 - Location
The conference will take place online. We are going to us the following tools
- Zoom -- the primay tool where the paper presentations and main conference activities take place.
- https://www.wonder.me/ -- parallel discussion and networking virtual rooms, open 24x7. Feel free to join and leave as you like.
- CompSysNL Slack channel -- where we have dedicated channels to keep the discussion going and provide a platform for further collaboration.
9 - Contact
International Conference on Computing Systems
Paula Diks (ASCI OFFICE)
Van Mourik Broekmanweg 6
2628 XE Delft
Netherlands
