Prof. Tevfik Bultan will give the keynote talk at the Java Pathfinder (JPF) Workshop which is co-located with the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).  JPF Workshop highlights research and tools for Java/Android program verification and analysis.  Prof. Bultan will talk about the research conducted at his research laboratory (Verification Lab - VLab) on 
automatically detecting and quantifying information leakage in Java programs.

The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering. Formerly the FSE conference in alternating years and ESEC/FSE in other years, ESEC/FSE is now the new name of this annual conference series. The ESEC/FSE conference brings together experts from academia and industry to exchange the latest research results and trends, as well as their practical application in all areas of software engineering.