21st Static Analysis Symposium

!
21st Static Analysis
Symposium!
6th Workshop on Numerical and Symbolic Abstract Domains!
5th Workshop on Static Analysis and Systems Biology!
5th Workshop on Tools for Automatic Program Analysis
September 11-13 2014, Germany
Novotel, Hochstraße 11, 81669 München
Static Analysis and Systems Biology!
Wednesday, September 10th!
!
!
8:30
Welcome (Loïc Paulevé)
9:00
Gheorghe Craciun. Persistence, Permanence, and Global Stability in
Biological Interaction Networks
10:00
coffee break
10:30
Erwan Bigan, Jean-Marc Steyaert, and Stéphane Douady. On
necessary and sufficient conditions for stationary proto-cell growth
11:00
Vincent Picard, Anne Siegel, and Jeremie Bourdon. Multivariate
Normal Approximation for the Stochastic Simulation Algorithm: limit
theorem and applications
11:30
Alan Veliz-Cuba, Boris Aguilar and Reinhard Laubenbacher.
Dimension reduction of large sparse AND-NOT networks
12:00
lunch in the Novotel restaurant
14:00
Fabian Theis. Model reduction for the efficient moment-closure based
simulation of stochastic chemical reaction kinetics
15:00
Lubos Brim, Juraj Nižnan, and David Šafránek. Compact
Representation of Photosynthesis Dynamics by Rule-based Models
15:30
coffee break
16:00
Jerome Feret. An algebraic approach for inferring and using symmetries
in rule-based models
16:30
Diana Hermith, Davide Chiarugi, Moreno Falaschi, and Carlos Olarte.
Verification of spatial and temporal modalities in biochemical systems
17:00
concluding remarks
!
Invited talks have a blue background.!
!
Tools for Automatic Program Analysis!
Wednesday, September 10th!
!
8:30
Welcome (Anders Møller)
9:00
Alexey Loginov. Machine-code analysis and transformation at
GrammaTech
9:45
Yannis Smaragdakis. Declarative Static Program Analysis
10:30
coffee break
11:00
Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann and
Bastian Schlich. Static Analysis of Industrial Controller Code using
Arcade.PLC
11:30
Sven Mattsen, Arne Wichmann and Sibylle Schupp. BDDStab: BDDbased Value Analysis of Binaries
12:00
lunch in the Novotel restaurant
13:30
Werner Dietl. The Checker Framework: pluggable static analysis for Java
14:15
David Pichardie. Formal Verification of a C Static Analyzer
15:00
coffee break
15:30
Eric Bodden. What's that app doing with my data? - Challenges and
solutions to practical taint analysis
16:15
end of TAPAS
16:30
see program for NSAD on next page
!
Invited talks have a blue background.!
!
Numerical and Symbolic Abstract Domains!
!
Wednesday, September 10th!
16:15
end of TAPAS, see previous page
16:15
Welcome (Axel Simon)
16:30
Gianluca Amato, Francesca Scozzari and Enea Zaffanella. Efficient
Constraint/Generator Removal from Double Description of Polyhedra
17:00
Vivien Maisonneuve, Olivier Hermant and François Irigoin.
Computing Invariants with Transformers: Experimental Accuracy and
Speed
17:30
Xueguang Wu, Liqian Chen and Ji Wang. An Abstract Domain to Infer
Symbolic Ranges over Nonnegative Parameters!
18:00
end of NSAD
workshop day ends at 18:00!
!
Static Analysis Symposium!
Verification
Welcome (Helmut Seidl)
9:00
Patrice Godefroid (Microsoft Research, Redmond, USA). Dynamic
Program Verification
coffee break
10:30
Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, and Ji
Wang. An Abstract Domain to Infer Octagonal Constraints with
Absolute Value
11:00
Khalil Ghorbal, Andrew Sogokon, and André Platzer. Invariance of
Conjunctions of Polynomial Equalities for Algebraic Differential
Equations
11:30
Caterina Urban and Antoine Miné. A Decision Tree Abstract Domain
for Proving Conditional Termination
12:00
lunch at the Novotel restaurant
13:30
Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang,
and Farn Wang. Verifying Recursive Programs using Intraprocedural
Analyzers
14:00
Guillaume Iooss, Christophe Alias, and Sanjay Rajopadhye. On
Program Equivalence with Reductions
14:30
Parosh Aziz Abdulla, Lukas Holik, and Frédéric Haziza. Block Me If
You Can! (Context-Sensitive Parameterized Verification)
15:00
coffee break
15:30
Magnus Madsen and Anders Møller. Sparse Dataflow Analysis with
Pointers and Reachability
16:00
Sen Ye, Yulei Sui, and Jingling Xue. Region-based Selective FlowSensitive Pointer Analysis
16:30
Antoine Toubhans, Bor-Yuh Evan Chang, and Xavier Rival. An
Abstract Domain Combinator for Separately Conjoining Memory
Abstractions
day one ends at 17:00!
Alan Mycroft
10:00
Chair: Luke Ong
Pointers & Heaps
8:50
Chair: Xavier Rival
Domains
Thursday, September 11th!
Static Analysis Symposium!
Friday, September 12th!
10:00
coffee break
10:30
Louis Mandel and Cédric Pasteur. Reactivity of Cooperative Systems
11:00
Yuri Meshman, Andrei Marian Dan, Martin Vechev, and Eran Yahav.
Synthesis of Memory Fences via Refinement Propagation
11:30
Elvira Albert, Jesús Correas Fernández, and Guillermo Román-Díez.
Peak Cost Analysis of Distributed Systems
12:00
lunch at the Novotel restaurant
13:30
Woosuk Lee, Hakjoo Oh, and Kwangkeun Yi. A Progress Bar for Static
Analyzers
14:00
Roopsha Samanta, Oswaldo Olivo, and E. Allen Emerson. Cost-aware
Automatic Program Repair
16:15
guided tour at Lenbachhaus, see maps
18:30
dinner at restaurant ELLA, Lenbachhaus
day two ends at 14:30!
Tomáš Vojnar
Miscellaneous
Luke Ong (University of Oxford, UK). Higher-Order Model Checking:
From Theory to Practice (Chair: Markus Müller-Olm)
Patrice Godefroid
Concurrency
9:00
Excursion to Lenbachhaus!
We transfer to the Lenbachhaus by public transport. If you do
not have a valid ticket you may ask for a day ticket for SAS
attendees at the main Novotel reception.!
The quickest route is to take any S-Bahn from Rosenheimer
Platz towards the central station (Hauptbahnhof). The green
man on the map below is where you start.
Route option from München, Hochstraße 11 to Rosenheimer Platz
e
BOS f. Holztechnik u. Innenausbau
llst
raß
Am
Gasteig
Ze
St.
Muffatwerk
Nikolaus
Biergarten
am Muffatwerk
Maximiliansanlagen
Pre
y
Preysingstraße
Str
hofs
eimer
Rose nh
Ga
Gasteig
Kulturzentrum/
Philharmonie
Lil
ien
cke
Am
a ße
rg
sbrü
St.
Johannes
ig
ste
be
H Lu
dwig
rnstraße
gpl. Egge
Pütrichstraße
Müllersches
Volksbad
sin
traße
Deutsches
Museum
H
Holz
Ludwigsbrücke
H
Milch
Am
Ke
lle
rst
ße
ße
ins
Weißenburgerplatz
tra
zs
et
M
Sozialreferat Amt f.
Wohnen u. Migration
nzis
Fra
ße
Qu
e
nstra
e
traß
e
Rab
lstr
aß
kan
ers
ye
Gall
ma
ße
rstr a
llen
str
aß
e
Ke
g
ße
Sc
hle
H
Bala
P r üller-S tra
ße
e l ho
f
- Mac
eg
k-W
Fra n z -
tra
Ste
ibin
pp
Ze
Imm a
ns
Rosenheimer
Platz
rst
erpl.
e
da
e
raß
Pau
lan
ge
tra
ße
str
aß
Se
tra
Hoc
nstr
aße
hw
arz
eli
ns
S
Lilie
Sc
straße
raß
e
S1
hstr
aße
Forum
am Deutschen
Museum
© NAVTEQ / PTV AG / Map&Guide
125 m
250 m
S-Bahn
Footpath
S
1.
375 m
S-Bahn
500 m
Departure with walk
H
Stop
From München, Hochstraße 11.
2.
Hochstraße
3.
Straight Up
Rosenheimer Straße
4.
Turn Right Into Arrive at Rosenheimer Platz.
200 m 200 m
80 m 280 m
At the Hauptbahnhof, change into the U2 towards Harthof. Get
off at Königsplatz and walk to the Lenbachhaus. The red man
is where you arrive.
Route option from Königsplatz to München, Städtische Galerie im Lenbachhaus
er S
traß
e
Volkstheater
Brie
nne
r
Stra
Staatl.Museum
BerndÄgyptischer Kunst EichingerPlatz
Filmhochschule
H
Städt.
Leihamt
Hochschule f.
Musik u. Theater
Königsplatz
Theater im
Karlshof
H
Bar
er S
tr.
tz
Staatl.
Antikensammlg.
Ev.Luth.Landeskirchenamt Zentralinst. f.
Kunstgeschichte
Staatliche
St.
Graphische
Bonifaz
Sammlung
Bor
a-S
traß
e
lstr
aße
Karolinenplatz
spla
Obelisk
AmerikaHaus
a-v
on-
Seid
lstra
ße
Kar
ens
traß
e
H
Luis
Berufsbild.
Zentrum
Karlstraße
AllianzSeidlstraße- 24
Fachakademie
Kath
arin
Ma
rss
tra
ße
Läm
Arnu
ße
Hauptbahnhof München
Hauptbahnhof
Gl. 27-36
S
H
H
Intercityhotel
München
hie
nst
ParkCafé
Alter
Botanischer
Garten
e
Hotel
Eden
Wolf
lfstra
Kinder- und
Jugendmuseum
str
aß
U2
Seidlstraße
Sop
H
sen
Elisenhof
Hauptbahnhof
Nord
S8
Oberlandesgericht
München/Bayer.
Verfassungsgerichtshof
raß
e
Ottostraße
H
Arcostra
ße
ße
Eli
Hochschule
München
Finanzamt
München I
str
a
Elisenstraße
me
ße
Finanzamt für
Körperschaften
Luisengymnasium
rstr
aße
nstra
H
ße
Mensa
TUM
Kön
ig
H
rstra
Glyptothek
Theater f.
Kinder
Hir te
erge
Lenbachhaus
ße
Stiglm
aierplat
z
Stiglmaierplatz
H
Inst. für Geographie
Paläontologisches
Museum
Alte
Pinakothek
isst
raß
e
enburg
elsb
Ot
to
Nymph
TUM Technische
Universität
Gab
Arc
Löwenbräukeller
R.-W
agn
Aug
u
ße
er-S
sten
er Str.
ann
stra
traß
e
stra
ße
Dachau
Rot
tm
Neptun
Brunnen
im
ax
spl.
ilian
M
Justizpalast (Staatsministerium der Jusitz)
© NAVTEQ / PTV AG / Map&Guide
125 m
250 m
U-Bahn
Footpath
S-Bahn
1.
2.
3.
4.
S
S-Bahn
375 m
500 m
Departure with walk
Arrival with footpath
From Königsplatz.
Brienner Straße
Straight Up Luisenstraße
Arrive at München, Städtische Galerie im Lenbachhaus.
80 m 80 m
30 m 110 m
H
Stop
Static Analysis Symposium!
Saturday, September 13th!
10:00
coffee break
10:30
Frédéric Besson, Thomas Jensen, and Pierre Vittet. SawjaCard: a
Static Analysis Tool for Certifying Java Card Applications
11:00
Arlen Cox, Bor-Yuh Evan Chang, and Xavier Rival. Automatic Analysis
of Open Objects in Dynamic Language Programs
11:30
James Brotherston and Nikos Gorogiannis. Cyclic Abduction of
Inductively Defined Safety and Termination Preconditions
12:00
lunch at the Novotel restaurant
13:30
David Monniaux and Peter Schrammel. Speeding up Logico-numerical
Strategy Iteration
14:00
Alexey Bakhirkin, Josh Berdine, and Nir Piterman. Backward Analysis
via Over-Approximate Abstraction and Under-Approximate Subtraction
14:30
Aleksandar Chakarov and Sriram Sankaranarayanan. Expectation
Invariants for Probabilistic Program Loops as Fixed Points
day three ends at 15:00!
!
Axel Simon
Fixpoints
Tomáš Vojnar (Brno University of Technology, Czech Republic). Fully
Automated Shape Analysis Based on Forest Automata with Data
Constraints (Chair: Anders Møller)
Gregor Snelting
Heaps & Objects
9:00
Bavarian for Beginners!
Bavarian
German
English
Preiss
Preuße
Prussian
Brezn
Brezel
pretzel
ezad
jetzt
now
Fuizl
Bierdeckel
beer mat
Glump
minderwertige Ware
inferior goods
Gschbusi
Liebhaber(-in)
(girl/boy) friend
grantig
schlecht gelaunt
bad tempered
Haxn
Bein
leg
Hendl
gegrilltes Huhn
grilled chicken
Himmefadda
Gott
god
jodeln
jodeln
to yodel
Kraizdaifi
Kreuzteufel
bloody devil
Noàgal
Getränkerest
leftover of a drink
Noàgalzuzla
Person die Noàgal trinkt
person drinking Noàgal
Obazda
bay. Käsespezialität
bavarian cheese speciality
ōzapfa
ein Bierfass anstechen
to tap a barrel beer
pfiàd aich Gōd
Auf Wiedersehen
good bye
pfuidaifi
ekelerregend
disgusting
Raiwadatschi
Kartoffelpuffer
fried potato patty
Radla
Helles mit Limonade
lager shandy
Schmarrn
Unsinn
nonsense
Zweschgndatschi
Pflaumenkuchen
plum pie
!
Deutsches Museum München!
Sponsors!
We thank our sponsors for their generous support of SAS:!
!
!
!