Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/pldi/BauMBB22,
  author       = {Guillaume Bau and
                  Antoine Min{\'{e}} and
                  Vincent Botbol and
                  Mehdi Bouaziz},
  editor       = {Laure Gonnord and
                  Laura Titolo},
  title        = {Abstract interpretation of Michelson smart-contracts},
  booktitle    = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
                  Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
  pages        = {36--43},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3520313.3534660},
  doi          = {10.1145/3520313.3534660},
  timestamp    = {Mon, 20 Jun 2022 17:35:20 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/BauMBB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/LagunaLG22,
  author       = {Ignacio Laguna and
                  Xinyi Li and
                  Ganesh Gopalakrishnan},
  editor       = {Laure Gonnord and
                  Laura Titolo},
  title        = {BinFPE: accurate floating-point exception detection for {GPU} applications},
  booktitle    = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
                  Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3520313.3534655},
  doi          = {10.1145/3520313.3534655},
  timestamp    = {Mon, 20 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/LagunaLG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/LimKD22,
  author       = {HeuiChan Lim and
                  Xiyu Kang and
                  Saumya Debray},
  editor       = {Laure Gonnord and
                  Laura Titolo},
  title        = {Modeling code manipulation in {JIT} compilers},
  booktitle    = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
                  Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
  pages        = {9--15},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3520313.3534656},
  doi          = {10.1145/3520313.3534656},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/LimKD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/MisuJBBA22,
  author       = {Md Rakib Hossain Misu and
                  Aleksandar Sasa Janjanin and
                  Zhiqiang Bian and
                  Valentin{-}Sebastian Burlacu and
                  Naum Anteski},
  editor       = {Laure Gonnord and
                  Laura Titolo},
  title        = {{ADA:} a tool for visualizing the architectural overview of open-source
                  repositories},
  booktitle    = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
                  Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
  pages        = {30--35},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3520313.3534659},
  doi          = {10.1145/3520313.3534659},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/MisuJBBA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/OlivieriTARNC0S22,
  author       = {Luca Olivieri and
                  Fabio Tagliaferro and
                  Vincenzo Arceri and
                  Marco Ruaro and
                  Luca Negrini and
                  Agostino Cortesi and
                  Pietro Ferrara and
                  Fausto Spoto and
                  Enrico Talin},
  editor       = {Laure Gonnord and
                  Laura Titolo},
  title        = {Ensuring determinism in blockchain software with GoLiSA: an industrial
                  experience report},
  booktitle    = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
                  Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
  pages        = {23--29},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3520313.3534658},
  doi          = {10.1145/3520313.3534658},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/OlivieriTARNC0S22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/SlagelMBMD0W22,
  author       = {J. Tanner Slagel and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Swee Balachandran and
                  Mariano M. Moscato and
                  Aaron Dutle and
                  Paolo Masci and
                  Lauren White},
  editor       = {Laure Gonnord and
                  Laura Titolo},
  title        = {Towards an implementation of differential dynamic logic in {PVS}},
  booktitle    = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
                  Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
  pages        = {44--50},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3520313.3534661},
  doi          = {10.1145/3520313.3534661},
  timestamp    = {Tue, 21 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/SlagelMBMD0W22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/SuboticBS22,
  author       = {Pavle Subotic and
                  Uros Bojanic and
                  Milan Stojic},
  editor       = {Laure Gonnord and
                  Laura Titolo},
  title        = {Statically detecting data leakages in data science code},
  booktitle    = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
                  Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
  pages        = {16--22},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3520313.3534657},
  doi          = {10.1145/3520313.3534657},
  timestamp    = {Mon, 20 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/SuboticBS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pldi/2022soap,
  editor       = {Laure Gonnord and
                  Laura Titolo},
  title        = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
                  Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3520313},
  doi          = {10.1145/3520313},
  isbn         = {978-1-4503-9274-7},
  timestamp    = {Mon, 20 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/2022soap.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.