برنامه مدرسه تابستانی شبکه ها و سیستم ها دانشگاه خاتم

Networks and Systems Summer School

Aim & Focus Areas

Network-based systems are an essential part of the modern life: we depend on complex systems in different scales from small embedded mobile devices connected to the Internet to large distributed computer systems. Performance, correctness, security, and dependability of these systems are of vital importance for the today’s modern society. The world-class invited speakers of this summer school share their knowledge and experience on different aspects of these compelling challenges, including real-time analysis of network traffic, software-defined networking and conformance testing for communicating systems.

Target Audience

The intended audience of the summer school are researchers and graduate students with some research background in computer science and engineering or closely related fields.


Organizers:

General  Chair:

Mohammad Morrovati 

Scientific Organization Committee:

Local Organization Chair:

Maryam Hejazinia

Dates: 13-16 August, 2018

VenueThe Networks and Systems Summer School will be held at Khatam University 

Registration Deadline:  August 6

Tuition :

General: 1,000,000 Toman

Students: 500,000 Toman

(Payable at the first day of Summer School)

Scholarship for strong resumes is Available.


Registration


 

 

Monday - August 13th

Mohammad Alizadeh –  EECS DEPARTMENT  MIT 

Mohammad Alizadeh is an Assistant Professor in the EECS Department at MIT, and a member of CSAIL. Before joining MIT, he completed his Ph.D. at Stanford University, and spent a couple of years at a datacenter networking startup, Insieme Networks, and Cisco.

Dr. Alizadeh works in the areas of computer networks and systems. His research aims to improve the performance, robustness, and ease of management of future networks and cloud computing systems. Mohammad’s current research, centers on network protocols and algorithms for large-scale datacenters, programmable switching architectures, and learning-based networked systems.

 Pieter Cuijpers – Eindhoven University of Technology

Title of Presentation: Ethernet TSN, and the worst-case response time of credit-based shaping

Pieter Cuijpers is an Assistant Professor in the System Architecture and Networking Research group at Eindhoven University of Technology (TU/e). He received his MSc in Electrical Engineering and his PhD in Computer Science from TU/e in 2000 and 2004 respectively. After developing a process algebra for hybrid systems (HyPA), his current research interests include the application of quantitative formal methods to cyber physical systems, with a focus on performance analysis and scheduling of distributed embedded systems. Important techniques that play a role in this are:

  • max-plus algebra and dataflow modeling
  • event-based modeling and simulation
  • axiomatic reasoning about execution intervals

Currently, Pieter is supervising three PhD students, in the rCPS project on data-intensive sensing (Jingyue Cao), the Awesome project on evolution of software components (Nan Yang), and the RWS project on a platform for sharing mobility data (Jeroen Redegeld).

 Yashar Ganjali– University of Toronto

Title of Presentation: Evolution of the Internet: Past, Present, and The Future

Yashar Ganjali is an associate professor of computer science at the University of Toronto. He is a member of Computer Systems and Networks Group. He received his BSc in Computer Engineering from Sharif University of Technology, and his MSc in Computer Science from University of Waterloo. He completed his PhD in Electrical Engineering at Stanford University. His PhD dissertation studied the buffer sizing problem in Internet core routers, and showed the possibility of reducing buffer sizes from millions of packets to just a few packets in Internet core routers.

Dr. Ganjali’s research interests include packet switching architectures/algorithms, software defined networks, data center networking, congestion control, network measurements, and online social networks. He has received several awards for his research including best paper award in Internet Measurement Conference 2008, best paper runner up in IEEE INFOCOM 2003, best demo runner up in SIGCOMM 2008, first and second prizes in NetFPGA Design Competition 2010, Cisco Research Award, and a Distinguished Faculty Award from Facebook.

 

Hossein Hojjat Rochester Institute of Technology

Title of Presentation: Software Synthesis for Networks

Hossein Hojjat is an assistant professor in the Computer Science department at the Rochester Institute of Technology (RIT). Before joining RIT, he was a postdoctoral researcher at Cornell University. He earned a PhD in Computer Science from EPFL in 2013. His research interests center on program synthesis and verification.

 Mohammad Mousavi University of Leicester

Title of Presentation: Conformance Testing Networked Applications: Theory and Practice

Mohammad got his bachelors and masters degree in Computer Engineering in 1999 and in Software Engineering in 2001, respectively, both from Sharif University of Technology, Iran and his Ph.D. in Computer Science from Eindhoven University of Technology, The Netherlands in 2005. Since then he held positions at Reykjavik University (postdoctoral researcher), Eindhoven University of Technology (assistant and associate professor), Delft University of Technology (guest faculty member), Halmstad University (professor of Computer Systems Engineering), and Chalmers / University of Gothenburg (guest professor of Software Engineering). He has had various leadership positions in his past appointments, such as managing educational programs, leading research teams, and leading research-centre-building initiatives. Mohammad’s main research area is in model-based testing, particularly applied to software product lines and cyber-physical systems. He has been leading several research initiatives and industrial collaboration projects on healthcare and automotive systems their validation, verification, and certification.

 Maarten van Steen– University of Twente

Title of Presentation: Why are distributed systems so complicated and what can we do about it?

Maarten vanSteen is professor at the University of Twente. He is specialized in large-scale distributed systems, now concentrating on very large wireless distributed systems, notably in the context of crowd monitoring and privacy-enhancing techniques. Next to Internet-based systems, he has published extensively on distributed protocols, wireless (sensor) networks, and gossiping solutions.

Maarten van Steen is associate editor for IEEE Internet Computing, field editor for Springer Computing, and section editor for Advances in Complex Systems. He authored and co-authored three textbooks, including “Distributed Systems” (with Andrew Tanenbaum), now its 3rd edition, as well as an introduction to Graph Theory and Complex Networks. More on his teaching and research can be found on www.distributed-systems.net.

 

Srinivasan Keshav – University of Waterloo

Title of Presentation: Research Methods in Networks and Systems

Srinivasan Keshav is a Professor of Computer Science at the University of Waterloo. He received a B.Tech in Computer Science and Engineering from IIT Delhi in 1986 and Ph.D. in Computer Science from the University of California, Berkeley in 1991. He was subsequently an MTS at AT&T Bell Labs and an Associate Professor at Cornell. In 1999 he left academia to co-found Ensim Corporation and GreenBorder Technologies Inc. He has been at the University of Waterloo since 2003, holding first a Canada Research Chair and then the Cisco Chair in Smart Grid. His honours include being named ACM Fellow and IEEE Senior Member, two Test of Time awards from ACM SIGCOMM, and best paper awards at ACM SIGCOMM, MOBICOM, and eEnergy. He is the author of two graduate textbooks on computer networking and has served both as Chair of ACM SIGCOMM and as Associate Dean of Graduate Studies in the Faculty of Mathematics, University of Waterloo.

 

Hamid Bagheri – University of Nebraska-Lincoln

Hamid Bagheri is an Assistant Professor in the Department of Computer Science and Engineering at University of Nebraska-Lincoln. He is a faculty associate of the Institute for Software Research (ISR) at the University of California, Irvine. Bagheri is a co-director of the ESQuaReD Laboratory at UNL. Prior to joining UNL, he was a project scientist in ISR at University of California, Irvine, and also a postdoctoral research fellow at Massachusetts Institute of Technology. He obtained his PhD in Computer Science from University of Virginia in 2013. His research interest lies in Software Engineering and Formal methods, with a focus on advancing software reliability by developing new methods and tools relying on concepts from fields like lightweight formal methods, software synthesis, model-driven development, and software architecture. His publications in several conferences have been recognized as best papers.
 
 

Marjan Sirjani –  Mälardalen University, Sweden, and Reykjavik University, Iceland

Title of presentation: Building Dependable Cyberphysical Systems using Timed Actors
Marjan Sirjani is a Professor and chair of Software Engineering at Mälardalen University, and the leader of Cyber-Physical Systems Analysis research group. She is also a part-time Professor at School of Computer Science at Reykjavik University. Her main research interest is applying formal methods in Software Engineering. She works on modeling and verification of concurrent, distributed, and self-adaptive systems. Marjan and her research group are pioneers in building model checking tools, compositional verification theories, and state-space reduction techniques for actor-based models. She has been working on analyzing actors since 2001 using the modeling language Rebeca (http://www.rebeca-lang.org). Rebeca and its extensions are designed to bridge the gap between model-based software development and formal analysis, and has been used for analyzing different network and system applications. Her research is now focused on safety assurance and performance evaluation of self-adaptive systems, in which she is collaborating with Ptolemy group at UC Berkeley. Marjan has been the PC member and PC chair of several international conferences including SEFM, iFM, Coordination, FM, FMICS, SAC, FSEN, and guest editor for special issues of the journals Science of Computer Programming and Fundamenta Informaticae. Before joining academia as a full-time faculty, she has been the managing director of Behin System Company for more than ten years, developing software and providing system services. Marjan served as the head of the Software Engineering Department of School of Electrical and Computer Engineering at the University of Tehran prior to joining the School of Computer Science at Reykjavik University in 2008.

TENTATIVE PROGRAM


August 13

  • 08:30-09:00 Arrival and registration
  • 09:00-9:15 Opening
  • 09:15-10:30 Yashar Ganjali: Evolution of the Internet: Past, Present, and The Future
  • 10:30-11:00 Coffee / Tea Break
  • 11:00-11:45 Yashar Ganjali: Evolution of the Internet: Past, Present, and The Future
  • 11:45-12:00 Leg stretcher
  • 12:00-12:30 Yashar Ganjali: Evolution of the Internet: Past, Present, and The Future

12:30-14:00 Lunch

  • 14:00-15:00 Mohammad Mousavi: Conformance Testing Networked Applications: Theory and Practice
  • 15:00-15:15 Coffee / Tea Break
  • 15:15-16:15 Mohammad Mousavi: Conformance Testing Networked Applications: Theory and Practice
  • 16:15-16:30 Leg stretcher
  • 16:30-17:00 Mohammad Mousavi: Conformance Testing Networked Applications: Theory and Practice

August 14

  • 09:00-10:00 Hossein Hojjat: Software Synthesis for Networks
  • 10:00-10:30 Coffee / Tea Break
  • 10:30-11:15 Hossein Hojjat: Software Synthesis for Networks
  • 11:15-11:30 Leg stretcher
  • 11:30-12:30 Hossein Hojjat: Software Synthesis for Networks

12:30-14:00 Lunch

  • 14:00-15:00 Mohammad Alizadeh Attar, TBA
  • 15:00-15:15 Coffee / Tea Break
  • 15:15-16:15 Mohammad Alizadeh Attar, TBA
  • 16:15-16:30 Leg Stretcher
  • 16:30-17:00 Mohammad Alizadeh Attar, TBA
  • 17:00-17:15 Coffee / Tea Break
  • 17:15-18:15 Srinivas Keshav, Research Methods in Networks and Systems

August 15

  • 09:00-10:00 Hamid Bagheri, TBA
  • 10:00-10:30 Coffee / Tea Break
  • 10:30-11:15 Hamid Bagheri, TBA
  • 11:15-11:30 Leg stretcher
  • 11:30-12:30 Hamid Bagheri, TBA
  • 12:30-14:00 Lunch
  • 14:00-15:00 Panel (Hamid Bagheri, Hossein Hojjat, Mohammad Mousavi, Maarten van Steen, Moderator: Sadegh Aliakbary)
  • 15:00-15:15 Coffee / Tea Break
  • 15:15-16:30 Local Speakers
  • 16:30-18:30 Social Event

August 16

  • 09:00-10:00 Maarten van Steen, Why are distributed systems so complicated and what can we do about it?
  • 10:00-10:30 Coffee / Tea Break
  • 10:30-11:15 Maarten van Steen, Why are distributed systems so complicated and what can we do about it?
  • 11:15-11:30 Leg stretcher
  • 11:30-12:30 Maarten van Steen, Why are distributed systems so complicated and what can we do about it?
  • 12:30-14:00 Lunch
  • 14:00-15:00 Pieter Cuijpers, Ethernet TSN, and the worst-case response time of credit-based shaping
  • 15:00-15:15 Coffee / Tea Break
  • 15:15-16:15 Pieter Cuijpers, Ethernet TSN, and the worst-case response time of credit-based shaping
  • 16:15-16:30 Leg Stretcher
  • 16:30-17:00 Pieter Cuijpers, Ethernet TSN, and the worst-case response time of credit-based shaping