Search dblp for Publications

export results for "toc:db/conf/pldi/soap2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pldi/0007EVSS23,
  author       = {Michael Schwarz and
                  Julian Erhard and
                  Vesal Vojdani and
                  Simmo Saan and
                  Helmut Seidl},
  editor       = {Pietro Ferrara and
                  Liana Hadarean},
  title        = {When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection
                  for Non-local Jumps in {C}},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
                  the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
                  USA, 17 June 2023},
  pages        = {20--26},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589250.3596140},
  doi          = {10.1145/3589250.3596140},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/0007EVSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/ArceriDZ23,
  author       = {Vincenzo Arceri and
                  Greta Dolcetti and
                  Enea Zaffanella},
  editor       = {Pietro Ferrara and
                  Liana Hadarean},
  title        = {Speeding up Static Analysis with the Split Operator},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
                  the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
                  USA, 17 June 2023},
  pages        = {14--19},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589250.3596141},
  doi          = {10.1145/3589250.3596141},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/ArceriDZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/CowardCD23,
  author       = {Samuel Coward and
                  George A. Constantinides and
                  Theo Drane},
  editor       = {Pietro Ferrara and
                  Liana Hadarean},
  title        = {Combining E-Graphs with Abstract Interpretation},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
                  the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
                  USA, 17 June 2023},
  pages        = {1--7},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589250.3596144},
  doi          = {10.1145/3589250.3596144},
  timestamp    = {Wed, 14 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/CowardCD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/HohentannerKA23,
  author       = {Konrad Hohentanner and
                  Florian Kasten and
                  Lukas Auer},
  editor       = {Pietro Ferrara and
                  Liana Hadarean},
  title        = {HWASanIO: Detecting {C/C++} Intra-object Overflows with Memory Shading},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
                  the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
                  USA, 17 June 2023},
  pages        = {27--33},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589250.3596139},
  doi          = {10.1145/3589250.3596139},
  timestamp    = {Wed, 14 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/HohentannerKA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/LeeLKS23,
  author       = {Sangrok Lee and
                  Jieun Lee and
                  Jaeyong Ko and
                  Jaewoo Shim},
  editor       = {Pietro Ferrara and
                  Liana Hadarean},
  title        = {Crosys: Cross Architectural Dynamic Analysis},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
                  the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
                  USA, 17 June 2023},
  pages        = {55--62},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589250.3596147},
  doi          = {10.1145/3589250.3596147},
  timestamp    = {Wed, 14 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/LeeLKS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/LiblitLMT023,
  author       = {Ben Liblit and
                  Yingjun Lyu and
                  Rajdeep Mukherjee and
                  Omer Tripp and
                  Yanjun Wang},
  editor       = {Pietro Ferrara and
                  Liana Hadarean},
  title        = {User-Assisted Code Query Optimization},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
                  the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
                  USA, 17 June 2023},
  pages        = {40--46},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589250.3596148},
  doi          = {10.1145/3589250.3596148},
  timestamp    = {Wed, 14 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/LiblitLMT023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/MiltenbergerA23,
  author       = {Marc Miltenberger and
                  Steven Arzt},
  editor       = {Pietro Ferrara and
                  Liana Hadarean},
  title        = {Extensible and Scalable Architecture for Hybrid Analysis},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
                  the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
                  USA, 17 June 2023},
  pages        = {34--39},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589250.3596146},
  doi          = {10.1145/3589250.3596146},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/MiltenbergerA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/NegriniSU23,
  author       = {Luca Negrini and
                  Guruprerana Shabadi and
                  Caterina Urban},
  editor       = {Pietro Ferrara and
                  Liana Hadarean},
  title        = {Static Analysis of Data Transformations in Jupyter Notebooks},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
                  the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
                  USA, 17 June 2023},
  pages        = {8--13},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589250.3596145},
  doi          = {10.1145/3589250.3596145},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/NegriniSU23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/ReinhardF023,
  author       = {Tobias Reinhard and
                  Justus Fasse and
                  Bart Jacobs},
  editor       = {Pietro Ferrara and
                  Liana Hadarean},
  title        = {Completeness Thresholds for Memory Safety of Array Traversing Programs},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
                  the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
                  USA, 17 June 2023},
  pages        = {47--54},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589250.3596143},
  doi          = {10.1145/3589250.3596143},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/ReinhardF023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/WangSSO23,
  author       = {Michael Wang and
                  Shashank Srikant and
                  Malavika Samak and
                  Una{-}May O'Reilly},
  editor       = {Pietro Ferrara and
                  Liana Hadarean},
  title        = {RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection
                  Algorithms},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
                  the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
                  USA, 17 June 2023},
  pages        = {63--70},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589250.3596142},
  doi          = {10.1145/3589250.3596142},
  timestamp    = {Wed, 14 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/WangSSO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pldi/2023soap,
  editor       = {Pietro Ferrara and
                  Liana Hadarean},
  title        = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
                  the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
                  USA, 17 June 2023},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589250},
  doi          = {10.1145/3589250},
  timestamp    = {Wed, 14 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/2023soap.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.