Talks & Seminars
Title: Formal Analysis and Verification of Database Query Languages
Prof. Raju Halder, IIT Patna
Date & Time: August 13, 2015 15:00
Venue: Conference Room, C Block, 01st Floor, Department of Computer Science and Engineering, Kanwal Rekhi (KReSIT) Building
In this talk, we describe the abstract interpretation of Database Query Languages and its various applications. We formalized a complete denotational semantics, both at concrete and abstract levels, of database applications instrumented with data manipulation language operations such as SELECT, UPDATE, INSERT, DELETE. The theoretical formal framework serves as a foundation of several interesting practical applications, e.g. fine grained access control of data, persistent watermarking, cooperative query answering, etc. In this direction, the issue of semantics-based dependence refinement in database language is also addressed which leads to a more precise analysis of database applications, including program slicing, language-based information flow security analysis, etc. The semantics-based analysis of Hibernate Query Language this way leads to a formal verification of persistent object’s properties as well.
Speaker Profile:
Dr. Raju Halder is assistant professor in the Dept. of Comp. Sc. & Engg. at IIT Patna. He has received B.Sc. (Physics), B.Tech. (CSE), M.Tech. (CSE) degrees from University of Calcutta and the Ph.D. degree in Computer Science from Ca’ Foscari University of Venice (Italy). Prior to his Ph.D., he worked at IBM India Pvt. Ltd. He is the recipient of “Italian Ministry of Education, Universities and Research (MIUR)” fellowship. Before joining IIT Patna, Dr. Halder served as Post-Doctoral researcher at Macquarie University (Australia). His research interests include Abstract Interpretation, Model Checking, Program Analysis and Verification, Programming Languages, etc.
List of Talks


Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback