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
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
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
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
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
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
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
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
proc time: 0.65