Powered by
10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021), June 22, 2021,
Virtual, Canada
10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021)
Frontmatter
Title Page
Article: pldiws21soapforeword-fm000-p doi:
Session 1
Static Analysis for Dummies: Experiencing LiSA
Pietro Ferrara,
Luca Negrini,
Vincenzo Arceri, and
Agostino Cortesi
(Ca' Foscari University of Venice, Italy)
@InProceedings{SOAP21p1,
author = {Pietro Ferrara and Luca Negrini and Vincenzo Arceri and Agostino Cortesi},
title = {Static Analysis for Dummies: Experiencing LiSA},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3460946.3464316},
year = {2021},
}
Publisher's Version
Article: pldiws21soapmain-id10-p doi:10.1145/3460946.3464316
Session 2
Program Analysis for Reversible Languages
Niklas Deworetzki and
Uwe Meyer
(TH Mittelhessen, Germany)
@InProceedings{SOAP21p13,
author = {Niklas Deworetzki and Uwe Meyer},
title = {Program Analysis for Reversible Languages},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3460946.3464314},
year = {2021},
}
Publisher's Version
Article: pldiws21soapmain-id4-p doi:10.1145/3460946.3464314
PerfLens: A Data-Driven Performance Bug Detection and Fix Platform
Spandan Garg,
Roshanak Zilouchian Moghaddam,
Neel Sundaresan, and
Chen Wu
(Microsoft, Canada; Microsoft, USA; Microsoft, China)
@InProceedings{SOAP21p19,
author = {Spandan Garg and Roshanak Zilouchian Moghaddam and Neel Sundaresan and Chen Wu},
title = {PerfLens: A Data-Driven Performance Bug Detection and Fix Platform},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3460946.3464318},
year = {2021},
}
Publisher's Version
Article: pldiws21soapmain-id12-p doi:10.1145/3460946.3464318
Weldr: Fusing Binaries for Simplified Analysis
Alexander Heinricher,
Ryan Williams,
Ava Klingbeil, and
Alex Jordan
(Raytheon BBN Technologies, USA)
@InProceedings{SOAP21p25,
author = {Alexander Heinricher and Ryan Williams and Ava Klingbeil and Alex Jordan},
title = {Weldr: Fusing Binaries for Simplified Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3460946.3464320},
year = {2021},
}
Publisher's Version
Article: pldiws21soapmain-id5-p doi:10.1145/3460946.3464320
Session 3
Multi-language Static Code Analysis on the LARA Framework
Gil Teixeira,
João Bispo, and
Filipe F. Correia
(University of Porto, Portugal; INESC TEC, Portugal)
@InProceedings{SOAP21p31,
author = {Gil Teixeira and João Bispo and Filipe F. Correia},
title = {Multi-language Static Code Analysis on the LARA Framework},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3460946.3464317},
year = {2021},
}
Publisher's Version
Article: pldiws21soapmain-id9-p doi:10.1145/3460946.3464317
Serialization-Aware Call Graph Construction
Joanna C. S. Santos,
Reese A. Jones,
Chinomso Ashiogwu, and
Mehdi Mirakhorli
(Rochester Institute of Technology, USA; University of Maryland, USA)
@InProceedings{SOAP21p37,
author = {Joanna C. S. Santos and Reese A. Jones and Chinomso Ashiogwu and Mehdi Mirakhorli},
title = {Serialization-Aware Call Graph Construction},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3460946.3464319},
year = {2021},
}
Publisher's Version
Article: pldiws21soapmain-id14-p doi:10.1145/3460946.3464319
Scalable String Analysis: An Experience Report
Kostyantyn Vorobyov,
Yang Zhao, and
Padmanabhan Krishnan
(Oracle Labs, Australia)
@InProceedings{SOAP21p43,
author = {Kostyantyn Vorobyov and Yang Zhao and Padmanabhan Krishnan},
title = {Scalable String Analysis: An Experience Report},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3460946.3464321},
year = {2021},
}
Publisher's Version
Article: pldiws21soapmain-id3-p doi:10.1145/3460946.3464321
proc time: 0.03