default search action

combined dblp search
author search
venue search
publication search

ask others

10th NSAD@SAS 2024: Pasadena, CA, USA

> Home > Conferences and Workshops > NSAD
> Home > Conferences and Workshops > SAS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/nsad/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/2024
Vincenzo Arceri, Michele Pasqua:
Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2024, Pasadena, CA, USA, 22 October 2024. ACM 2024, ISBN 979-8-4007-1217-3
- view
  authority control:
- export record
  dblp key:
  - conf/nsad/Urban24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/Urban24
Caterina Urban:
Abstract Domains for Machine Learning Verification (Keynote). 1
- view
  authority control:
- export record
  dblp key:
  - conf/nsad/GhidiniE0S24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/GhidiniE0S24
Rebecca Ghidini, Julian Erhard, Michael Schwarz, Helmut Seidl:
C-2PO: A Weakly Relational Pointer Domain: "These Are Not the Memory Cells You Are Looking For". 2-9
- view
  authority control:
- export record
  dblp key:
  - conf/nsad/0001P0ZC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/0001P0ZC24
Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, Agostino Cortesi:
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables. 10-17
- view
  authority control:
- export record
  dblp key:
  - conf/nsad/DolcettiCUZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/DolcettiCUZ24
Greta Dolcetti, Agostino Cortesi, Caterina Urban, Enea Zaffanella:
Towards a High Level Linter for Data Science. 18-25
- view
  authority control:
- export record
  dblp key:
  - conf/nsad/DarioP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/DarioP24
Anthony Dario, Samuel D. Pollard:
A Step-Function Abstract Domain for Granular Floating-Point Error Analysis. 26-33
- view
  authority control:
- export record
  dblp key:
  - conf/nsad/AssoliniPM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/AssoliniPM24
Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni:
Abstracting Entanglement. 34-41

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.