Call for round the year submissions for Rootconf in 2020

Call for round the year submissions for Rootconf in 2020

Submit a proposal at any time in the year on DevOps, infrastructure security, cloud, and distributed systems. We will find you a suitable opportunity to share your work.

Make a submission

Submissions are closed for this project

About Rootconf:

Rootconf is HasGeek’s annual conference – and now a growing community – around DevOps, systems engineering, DevSecOps, security and cloud. The annual Rootconf conference takes place in May each year, with the exception of 2019 when the conference will be held in June.

Besides the annual conference, we also run meetups, one-off public lectures, debates and open houses on DevOps, systems engineering, distributed systems, legacy infrastructure, and topics related to Rootconf.

This is the place to submit proposals for your work, and get them peer reviewed by practitioners from the community.

Topics for submission:

We seek proposals – for short and long talks, as well as workshops and tutorials – on the following topics:

  1. Case studies of shift from batch processing to stream processing
  2. Real-life examples of service discovery
  3. Case studies on move from monolith to service-oriented architecture
  4. Micro-services
  5. Network security
  6. Monitoring, logging and alerting – running small-scale and large-scale systems
  7. Cloud architecture – implementations and lessons learned
  8. Optimizing infrastructure
  9. SRE
  10. Immutable infrastructure
  11. Aligning people and teams with infrastructure at scale
  12. Security for infrastructure

Contact us:

If you have questions/queries, write to us on rootconf.editorial@hasgeek.com

Hosted by

Rootconf is a forum for discussions about DevOps, infrastructure management, IT operations, systems engineering, SRE and security (from infrastructure defence perspective). more

N. CHATURV3DI

@chaturv3di

Paving the way for verification of distributed systems

Submitted Apr 30, 2019

From our undergraduate courses, we are familiar with the notion finite-state automata (also known as finite-state machines or, simply, state machines), which are abstract models of computation systems. During a computation, the automaton processes the various actions that constitute the computation, and moves from one state to another. A computation is accepted if, at the end of it, the finite-state automaton finally acquires an accepting state.

However, for many practical cases, it is not enough to analyse what happens at the end of the computation, and becomes important to consider what happens during a computation. In this sense, the analysis concerns itself with conditions such as “the system always remains safe” (safety condition) or “the system does something good repeatedly” (liveness condition). In this setting, it turns out naturally to assume that these computation systems have non-terminating behaviours. Therefore, infinite computations are considered. The finite-state automata to study such systems evaluate computations by observing whether or not the automaton “always remains in the set of good states,” or that it “visits good states repeatedly”.

While finite-state automata provide an abstract representation of non-terminating, sequential (or single threaded) computation systems — and the corresponding safety and liveness automata have been studied extensively — the study of non-terminating distributed systems has not seen much progress since the 1990’s. In particular, “distributed automata” analysing the safety and liveness properties of distributed systems have been elusive.

In this talk, I will present the word that I did as a part of my PhD thesis, which introduces classes of finite-state automata as well as distributed automata that help in analysing these important properties of non-terminating distributed systems.

Outline

  • Finite state automata
  • Connection between code, logic, and automata
  • Verification using automata
  • Distributed automata and verification of distributed systems

Requirements

Some appetite for Computer Science theory.

Speaker bio

Namit Chaturvedi is a computer science researcher, currently working at LinkedIn. He obtained his PhD in logic and automata theory in 2015 and transitioned to the world of machine learning and AI. He has previously worked on diverse projects, from load balancing on distributed systems to applying automata theory for physical access control. He has 10 publications in peer-reviewed conferences and journals; and jointly holds 2 technology patents.

His interests include outdoor sports, history of science, effect of science and technology on societies, and beer.

Comments

{{ gettext('Login to leave a comment') }}

{{ gettext('Post a comment…') }}
{{ gettext('New comment') }}
{{ formTitle }}

{{ errorMsg }}

{{ gettext('No comments posted yet') }}

N. CHATURV3DI

Demystifying Artificial Intelligence for Everyone

Humans have fancied and feared humanoid machines for more than 2000 years. In this talk, we follow the thread that ties our search for super-human machines together with millennia of developments in philosophy, logic, and mathematics. We take a closer look at what Machine Learning & AI really are, what they aren’t, and how they are affecting our societies. This is a non-technical talk, accessible… more

30 Apr 2019