Tue 6 Nov 2018 11:00 - 11:30 at Newbury - II

Program analysis has witnessed two dominant trends in recent years. On one hand, declarative languages such as Datalog and its variants are increasingly used to specify sophisticated program analyses. On the other hand lies the advent of Big Code which seeks to leverage large repositories of source code, test cases, and meta-information to predict program properties. I will describe challenges and opportunities at the intersection of these two trends, towards the goal of developing effective program reasoning tools for deployment in large software projects and interaction with software engineering practices.

Tue 6 Nov

njr-2018-papers
10:30 - 12:00: NJR - II at Newbury
njr-2018-papers10:30 - 11:00
Talk
Jan VitekNortheastern University
njr-2018-papers11:00 - 11:30
Talk
Mayur NaikUniversity of Pennsylvania
njr-2018-papers11:30 - 12:00
Talk
Farima FarmahinifarahaniUniversity of California at Irvine, USA