Campus Event Calendar
Event Entry
What and Who
Julia: An abstract interpretation-based static analyzer of industrial OO software
Pietro Ferrara
The software verification company Julia
MPI-Kolloquium
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 6 November 2017
11:00
60 Minutes
G26
113
Kaiserslautern
Abstract
Julia is an abstract interpretation-based static analyzer of Java bytecode. It appeared twelve years ago for the first time in a scientific publication, became a spin-off of the University of Verona in 2010, and was finally acquired by a large enterprise two years ago. The industrialization of an academic analyzer based on rigorous mathematical theories exposed us to various challenges about the efficiency, quality, and robustness.
In this talk, we will first introduce the main technical foundations of Julia and the most relevant analyses we implemented, and we will then discuss our market experience and the challenges raised by industrial software. Finally, we will present Julia’s current limitations as well as our mid- and long-term roadmap.
Contact
Roslyn Stricker
--email hidden
Video Broadcast
Yes
Saarbrücken
E1 4
029
passcode not visible
logged in users only
Roslyn Stricker, 10/23/2017 15:58 -- Created document.