| |
Assolini, Nicola
|
NSAD '24: "Abstracting Entanglement ..."
Abstracting Entanglement
Nicola Assolini, Alessandra Di Pierro, and Isabella Mastroeni
(University of Verona, Italy)
@InProceedings{NSAD24p41,
author = {Nicola Assolini and Alessandra Di Pierro and Isabella Mastroeni},
title = {Abstracting Entanglement},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3689609.3689998},
year = {2024},
}
 Publisher's Version
Article: splashws24nsadmain-p92-p doi:10.1145/3689609.3689998
|
| |
Cortesi, Agostino
|
NSAD '24: "Stability: An Abstract Domain ..."
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, and Agostino Cortesi
(Ca’ Foscari University of Venice, Italy; University of Parma, Italy)
@InProceedings{NSAD24p17,
author = {Luca Negrini and Sofia Presotto and Pietro Ferrara and Enea Zaffanella and Agostino Cortesi},
title = {Stability: An Abstract Domain for the Trend of Variation of Numerical Variables},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3689609.3689995},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p32-p doi:10.1145/3689609.3689995
NSAD '24: "Towards a High Level Linter ..."
Towards a High Level Linter for Data Science
Greta Dolcetti, Agostino Cortesi, Caterina Urban, and Enea Zaffanella
(Ca’ Foscari University of Venice, Italy; Inria - École Normale Supérieure, France; University of Parma, Italy)
@InProceedings{NSAD24p25,
author = {Greta Dolcetti and Agostino Cortesi and Caterina Urban and Enea Zaffanella},
title = {Towards a High Level Linter for Data Science},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3689609.3689996},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p51-p doi:10.1145/3689609.3689996
|
| |
Dario, Anthony
|
NSAD '24: "A Step-Function Abstract Domain ..."
A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
Anthony Dario and Samuel D. Pollard
(University of Oregon, USA; Sandia National Laboratories, USA)
@InProceedings{NSAD24p33,
author = {Anthony Dario and Samuel D. Pollard},
title = {A Step-Function Abstract Domain for Granular Floating-Point Error Analysis},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3689609.3689997},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p61-p doi:10.1145/3689609.3689997
|
| |
Di Pierro, Alessandra |
NSAD '24: "Abstracting Entanglement ..."
Abstracting Entanglement
Nicola Assolini, Alessandra Di Pierro, and Isabella Mastroeni
(University of Verona, Italy)
@InProceedings{NSAD24p41,
author = {Nicola Assolini and Alessandra Di Pierro and Isabella Mastroeni},
title = {Abstracting Entanglement},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3689609.3689998},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p92-p doi:10.1145/3689609.3689998
|
| |
Dolcetti, Greta |
NSAD '24: "Towards a High Level Linter ..."
Towards a High Level Linter for Data Science
Greta Dolcetti, Agostino Cortesi, Caterina Urban, and Enea Zaffanella
(Ca’ Foscari University of Venice, Italy; Inria - École Normale Supérieure, France; University of Parma, Italy)
@InProceedings{NSAD24p25,
author = {Greta Dolcetti and Agostino Cortesi and Caterina Urban and Enea Zaffanella},
title = {Towards a High Level Linter for Data Science},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3689609.3689996},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p51-p doi:10.1145/3689609.3689996
|
| |
Erhard, Julian
|
NSAD '24: "C-2PO: A Weakly Relational ..."
C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
Rebecca Ghidini, Julian Erhard, Michael Schwarz, and Helmut Seidl
(TU Munich, Germany; LMU Munich, Germany)
@InProceedings{NSAD24p9,
author = {Rebecca Ghidini and Julian Erhard and Michael Schwarz and Helmut Seidl},
title = {C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {9-8},
doi = {10.1145/3689609.3689994},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p31-p doi:10.1145/3689609.3689994
|
| |
Ferrara, Pietro
|
NSAD '24: "Stability: An Abstract Domain ..."
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, and Agostino Cortesi
(Ca’ Foscari University of Venice, Italy; University of Parma, Italy)
@InProceedings{NSAD24p17,
author = {Luca Negrini and Sofia Presotto and Pietro Ferrara and Enea Zaffanella and Agostino Cortesi},
title = {Stability: An Abstract Domain for the Trend of Variation of Numerical Variables},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3689609.3689995},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p32-p doi:10.1145/3689609.3689995
|
| |
Ghidini, Rebecca
|
NSAD '24: "C-2PO: A Weakly Relational ..."
C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
Rebecca Ghidini, Julian Erhard, Michael Schwarz, and Helmut Seidl
(TU Munich, Germany; LMU Munich, Germany)
@InProceedings{NSAD24p9,
author = {Rebecca Ghidini and Julian Erhard and Michael Schwarz and Helmut Seidl},
title = {C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {9-8},
doi = {10.1145/3689609.3689994},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p31-p doi:10.1145/3689609.3689994
|
| |
Mastroeni, Isabella
|
NSAD '24: "Abstracting Entanglement ..."
Abstracting Entanglement
Nicola Assolini, Alessandra Di Pierro, and Isabella Mastroeni
(University of Verona, Italy)
@InProceedings{NSAD24p41,
author = {Nicola Assolini and Alessandra Di Pierro and Isabella Mastroeni},
title = {Abstracting Entanglement},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3689609.3689998},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p92-p doi:10.1145/3689609.3689998
|
| |
Negrini, Luca
|
NSAD '24: "Stability: An Abstract Domain ..."
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, and Agostino Cortesi
(Ca’ Foscari University of Venice, Italy; University of Parma, Italy)
@InProceedings{NSAD24p17,
author = {Luca Negrini and Sofia Presotto and Pietro Ferrara and Enea Zaffanella and Agostino Cortesi},
title = {Stability: An Abstract Domain for the Trend of Variation of Numerical Variables},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3689609.3689995},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p32-p doi:10.1145/3689609.3689995
|
| |
Pollard, Samuel D.
|
NSAD '24: "A Step-Function Abstract Domain ..."
A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
Anthony Dario and Samuel D. Pollard
(University of Oregon, USA; Sandia National Laboratories, USA)
@InProceedings{NSAD24p33,
author = {Anthony Dario and Samuel D. Pollard},
title = {A Step-Function Abstract Domain for Granular Floating-Point Error Analysis},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3689609.3689997},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p61-p doi:10.1145/3689609.3689997
|
| |
Presotto, Sofia |
NSAD '24: "Stability: An Abstract Domain ..."
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, and Agostino Cortesi
(Ca’ Foscari University of Venice, Italy; University of Parma, Italy)
@InProceedings{NSAD24p17,
author = {Luca Negrini and Sofia Presotto and Pietro Ferrara and Enea Zaffanella and Agostino Cortesi},
title = {Stability: An Abstract Domain for the Trend of Variation of Numerical Variables},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3689609.3689995},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p32-p doi:10.1145/3689609.3689995
|
| |
Schwarz, Michael
|
NSAD '24: "C-2PO: A Weakly Relational ..."
C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
Rebecca Ghidini, Julian Erhard, Michael Schwarz, and Helmut Seidl
(TU Munich, Germany; LMU Munich, Germany)
@InProceedings{NSAD24p9,
author = {Rebecca Ghidini and Julian Erhard and Michael Schwarz and Helmut Seidl},
title = {C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {9-8},
doi = {10.1145/3689609.3689994},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p31-p doi:10.1145/3689609.3689994
|
| |
Seidl, Helmut |
NSAD '24: "C-2PO: A Weakly Relational ..."
C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
Rebecca Ghidini, Julian Erhard, Michael Schwarz, and Helmut Seidl
(TU Munich, Germany; LMU Munich, Germany)
@InProceedings{NSAD24p9,
author = {Rebecca Ghidini and Julian Erhard and Michael Schwarz and Helmut Seidl},
title = {C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {9-8},
doi = {10.1145/3689609.3689994},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p31-p doi:10.1145/3689609.3689994
|
| |
Urban, Caterina
|
NSAD '24: "Abstract Domains for Machine ..."
Abstract Domains for Machine Learning Verification (Keynote)
Caterina Urban
(Inria, France; École Normale Supérieure, France)
@InProceedings{NSAD24p1,
author = {Caterina Urban},
title = {Abstract Domains for Machine Learning Verification (Keynote)},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3689609.3699919},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-key1-p doi:10.1145/3689609.3699919
NSAD '24: "Towards a High Level Linter ..."
Towards a High Level Linter for Data Science
Greta Dolcetti, Agostino Cortesi, Caterina Urban, and Enea Zaffanella
(Ca’ Foscari University of Venice, Italy; Inria - École Normale Supérieure, France; University of Parma, Italy)
@InProceedings{NSAD24p25,
author = {Greta Dolcetti and Agostino Cortesi and Caterina Urban and Enea Zaffanella},
title = {Towards a High Level Linter for Data Science},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3689609.3689996},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p51-p doi:10.1145/3689609.3689996
|
| |
Zaffanella, Enea
|
NSAD '24: "Stability: An Abstract Domain ..."
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, and Agostino Cortesi
(Ca’ Foscari University of Venice, Italy; University of Parma, Italy)
@InProceedings{NSAD24p17,
author = {Luca Negrini and Sofia Presotto and Pietro Ferrara and Enea Zaffanella and Agostino Cortesi},
title = {Stability: An Abstract Domain for the Trend of Variation of Numerical Variables},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3689609.3689995},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p32-p doi:10.1145/3689609.3689995
NSAD '24: "Towards a High Level Linter ..."
Towards a High Level Linter for Data Science
Greta Dolcetti, Agostino Cortesi, Caterina Urban, and Enea Zaffanella
(Ca’ Foscari University of Venice, Italy; Inria - École Normale Supérieure, France; University of Parma, Italy)
@InProceedings{NSAD24p25,
author = {Greta Dolcetti and Agostino Cortesi and Caterina Urban and Enea Zaffanella},
title = {Towards a High Level Linter for Data Science},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3689609.3689996},
year = {2024},
}
Publisher's Version
Article: splashws24nsadmain-p51-p doi:10.1145/3689609.3689996
|