| |
Arceri, Vincenzo
|
SOAP '21: "Static Analysis for Dummies: ..."
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
|
| |
Arzt, Steven |
SOAP '21: "Security and Quality: Two ..."
Security and Quality: Two Sides of the Same Coin?
Steven Arzt
(Fraunhofer SIT, Germany)
@InProceedings{SOAP21p7,
author = {Steven Arzt},
title = {Security and Quality: Two Sides of the Same Coin?},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3460946.3464315},
year = {2021},
}
Publisher's Version
Article: pldiws21soapmain-id6-p doi:10.1145/3460946.3464315
|
| |
Ashiogwu, Chinomso |
SOAP '21: "Serialization-Aware Call Graph ..."
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
|
| |
Bispo, João
|
SOAP '21: "Multi-language Static Code ..."
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
|
| |
Correia, Filipe F.
|
SOAP '21: "Multi-language Static Code ..."
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
|
| |
Cortesi, Agostino |
SOAP '21: "Static Analysis for Dummies: ..."
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
|
| |
Deworetzki, Niklas
|
SOAP '21: "Program Analysis for Reversible ..."
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
|
| |
Ferrara, Pietro
|
SOAP '21: "Static Analysis for Dummies: ..."
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
|
| |
Garg, Spandan
|
SOAP '21: "PerfLens: A Data-Driven Performance ..."
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
|
| |
Heinricher, Alexander
|
SOAP '21: "Weldr: Fusing Binaries for ..."
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
|
| |
Jones, Reese A.
|
SOAP '21: "Serialization-Aware Call Graph ..."
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
|
| |
Jordan, Alex |
SOAP '21: "Weldr: Fusing Binaries for ..."
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
|
| |
Klingbeil, Ava
|
SOAP '21: "Weldr: Fusing Binaries for ..."
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
|
| |
Krishnan, Padmanabhan |
SOAP '21: "Scalable String Analysis: ..."
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
|
| |
Meyer, Uwe
|
SOAP '21: "Program Analysis for Reversible ..."
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
|
| |
Mirakhorli, Mehdi |
SOAP '21: "Serialization-Aware Call Graph ..."
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
|
| |
Moghaddam, Roshanak Zilouchian |
SOAP '21: "PerfLens: A Data-Driven Performance ..."
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
|
| |
Negrini, Luca
|
SOAP '21: "Static Analysis for Dummies: ..."
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
|
| |
Santos, Joanna C. S.
|
SOAP '21: "Serialization-Aware Call Graph ..."
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
|
| |
Sundaresan, Neel |
SOAP '21: "PerfLens: A Data-Driven Performance ..."
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
|
| |
Teixeira, Gil
|
SOAP '21: "Multi-language Static Code ..."
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
|
| |
Vorobyov, Kostyantyn
|
SOAP '21: "Scalable String Analysis: ..."
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
|
| |
Williams, Ryan
|
SOAP '21: "Weldr: Fusing Binaries for ..."
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
|
| |
Wu, Chen |
SOAP '21: "PerfLens: A Data-Driven Performance ..."
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
|
| |
Zhao, Yang
|
SOAP '21: "Scalable String Analysis: ..."
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
|