SPLASH Workshops 2020
2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Workshops 2020)
Powered by
Conference Publishing Consulting

9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020), November 17, 2020, Virtual, USA

Workshop NSAD 2020 – Author Index

Contents - Abstracts - Authors

A B C G J M S T Z

Abraham, Erika NSAD '20: "Abstract Domains in SMT Solving ..."
Bautista, Santiago NSAD '20: "Numeric Domains Meet Algebraic ..."
Braine, Julien NSAD '20: "Proving Array Properties using ..."
Chapoutot, Alexandre NSAD '20: "Abstract Domains for Constraint ..."
Garion, Christophe NSAD '20: "Abstract Domains for Constraint ..."
Gonnord, Laure NSAD '20: "Proving Array Properties using ..."
Jensen, Thomas NSAD '20: "Numeric Domains Meet Algebraic ..."
Montagu, Benoît NSAD '20: "Numeric Domains Meet Algebraic ..."
Mullier, Olivier NSAD '20: "Abstract Domains for Constraint ..."
Sandretto, Julien Alexandre dit NSAD '20: "Abstract Domains for Constraint ..."
Thirioux, Xavier NSAD '20: "Abstract Domains for Constraint ..."
Ziat, Ghiles NSAD '20: "Abstract Domains for Constraint ..."

12 authors

proc time: 3.5