Suresh Kumar Gadi gave a plenary talk and conducted a workshop at the 1st Symposium on Applied Computer Science (SACS-2017).