Powered by
9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020), November 17, 2020,
Virtual, USA
9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020)
Frontmatter
Title Page
Article: splashws20nsadforeword-fm000-p doi:
Invited Talk
Abstract Domains in SMT Solving for Real Algebra (Invited Talk)
Erika Abraham
(RWTH Aachen University, Germany)
@InProceedings{NSAD20p1,
author = {Erika Abraham},
title = {Abstract Domains in SMT Solving for Real Algebra (Invited Talk)},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3427762.3430180},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p7-p doi:10.1145/3427762.3430180
Papers
Abstract Domains for Constraint Programming with Differential Equations
Ghiles Ziat,
Olivier Mullier,
Julien Alexandre dit Sandretto,
Christophe Garion,
Alexandre Chapoutot, and
Xavier Thirioux
(ISAE-supaero, France; University of Toulouse, France; ENSTA Paris, France)
@InProceedings{NSAD20p2,
author = {Ghiles Ziat and Olivier Mullier and Julien Alexandre dit Sandretto and Christophe Garion and Alexandre Chapoutot and Xavier Thirioux},
title = {Abstract Domains for Constraint Programming with Differential Equations},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {2-1},
doi = {10.1145/3427762.3429453},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p1-p doi:10.1145/3427762.3429453
Numeric Domains Meet Algebraic Data Types
Santiago Bautista,
Thomas Jensen, and
Benoît Montagu
(ENS Rennes, France; Inria, France)
@InProceedings{NSAD20p12,
author = {Santiago Bautista and Thomas Jensen and Benoît Montagu},
title = {Numeric Domains Meet Algebraic Data Types},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {12-11},
doi = {10.1145/3427762.3430178},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p2-p doi:10.1145/3427762.3430178
Proving Array Properties using Data Abstraction
Julien Braine and
Laure Gonnord
(University of Lyon, France; CNRS, France; Inria, France; LIP, France)
@InProceedings{NSAD20p17,
author = {Julien Braine and Laure Gonnord},
title = {Proving Array Properties using Data Abstraction},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3427762.3430179},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p5-p doi:10.1145/3427762.3430179
proc time: 0.02