Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Julia: An abstract interpretation-based static analyzer of industrial OO software
Speaker:Pietro Ferrara
coming from:The software verification company Julia
Speakers Bio:
Event Type:MPI-Kolloquium
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:AG Audience
Language:English
Date, Time and Location
Date:Monday, 6 November 2017
Time:11:00
Duration:60 Minutes
Location:Kaiserslautern
Building:G26
Room:113
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
Name(s):Roslyn Stricker
Video Broadcast
Video Broadcast:YesTo Location:Saarbrücken
To Building:E1 4To Room:029
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):

Created by:Roslyn Stricker/MPI-SWS, 10/23/2017 03:53 PMLast modified by:Uwe Brahm/MPII/DE, 11/06/2017 07:00 AM
  • Roslyn Stricker, 10/23/2017 03:58 PM -- Created document.