BibTeX records: Andrew Craik

download as .bib file

@inproceedings{DBLP:conf/cascon/Newbury0C21,
  author       = {Kristen Newbury and
                  Karim Ali and
                  Andrew Craik},
  editor       = {Vio Onut and
                  Farhana H. Zulkernine},
  title        = {Hotfixing misuses of crypto APIs in Java programs},
  booktitle    = {{CASCON} '21: Proceedings of the 31st Annual International Conference
                  on Computer Science and Software Engineering, Toronto, Ontario, Canada,
                  November 22 - 25, 2021},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://dl.acm.org/doi/10.5555/3507788.3507799},
  doi          = {10.5555/3507788.3507799},
  timestamp    = {Fri, 29 Jul 2022 16:56:38 +0200},
  biburl       = {https://dblp.org/rec/conf/cascon/Newbury0C21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/OchoaX0CA21,
  author       = {Erick Ochoa and
                  Cijie Xia and
                  Karim Ali and
                  Andrew Craik and
                  Jos{\'{e}} Nelson Amaral},
  editor       = {Vio Onut and
                  Farhana H. Zulkernine},
  title        = {U can't inline this!},
  booktitle    = {{CASCON} '21: Proceedings of the 31st Annual International Conference
                  on Computer Science and Software Engineering, Toronto, Ontario, Canada,
                  November 22 - 25, 2021},
  pages        = {173--182},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://dl.acm.org/doi/10.5555/3507788.3507812},
  doi          = {10.5555/3507788.3507812},
  timestamp    = {Fri, 29 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cascon/OchoaX0CA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/LandauFRSMSCT08,
  author       = {Jerrold Landau and
                  Perry Fuller and
                  Shawn Robertson and
                  Babneet Singh and
                  John Matta and
                  Nick Schofield and
                  Andrew Craik and
                  Igor Todorovski},
  editor       = {Iosif{-}Viorel Onut and
                  Andrew Jaramillo and
                  Guy{-}Vincent Jourdan and
                  Dorina C. Petriu and
                  Wang Chen},
  title        = {The best of {IBM} innovation: advancements through overcoming technological
                  uncertainties},
  booktitle    = {Proceedings of the 28th Annual International Conference on Computer
                  Science and Software Engineering, {CASCON} 2018, Markham, Ontario,
                  Canada, October 29-31, 2018},
  pages        = {391--393},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://dl.acm.org/citation.cfm?id=3291354},
  timestamp    = {Tue, 19 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cascon/LandauFRSMSCT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/AliCMR07,
  author       = {Karim Ali and
                  Andrew Craik and
                  Bardia Mahjour and
                  Gregor Richards},
  editor       = {Marcellus Mindel and
                  Kelly A. Lyons and
                  Joe Wigglesworth},
  title        = {Compiler-driven performance},
  booktitle    = {Proceedings of the 27th Annual International Conference on Computer
                  Science and Software Engineering, {CASCON} 2017, Markham, Ontario,
                  Canada, November 6-8, 2017},
  pages        = {328},
  publisher    = {{IBM} / {ACM}},
  year         = {2017},
  url          = {http://dl.acm.org/citation.cfm?id=3172848},
  timestamp    = {Thu, 27 Aug 2020 18:26:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cascon/AliCMR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CifuentesKLHVBZCTH11,
  author       = {Cristina Cifuentes and
                  Nathan Keynes and
                  Lian Li and
                  Nathan Hawes and
                  Manuel Valdiviezo and
                  Andrew Browne and
                  Jacob Zimmermann and
                  Andrew Craik and
                  Douglas Teoh and
                  Christian Hoermann},
  editor       = {Tibor Gyim{\'{o}}thy and
                  Andreas Zeller},
  title        = {Static deep error checking in large system applications using parfait},
  booktitle    = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
                  Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
                  Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
                  2011},
  pages        = {432--435},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2025113.2025183},
  doi          = {10.1145/2025113.2025183},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/CifuentesKLHVBZCTH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/CraikK10,
  author       = {Andrew Craik and
                  Wayne Kelly},
  editor       = {Rajiv Gupta},
  title        = {Using Ownership to Reason about Inherent Parallelism in Object-Oriented
                  Programs},
  booktitle    = {Compiler Construction, 19th International Conference, {CC} 2010, Held
                  as Part of the Joint European Conferences on Theory and Practice of
                  Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6011},
  pages        = {145--164},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11970-5\_9},
  doi          = {10.1007/978-3-642-11970-5\_9},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/CraikK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/ReidKC08,
  author       = {Wayne Reid and
                  Wayne Kelly and
                  Andrew Craik},
  editor       = {Gillian Dobbie and
                  Bernard Mans},
  title        = {Reasoning about inherent parallelism in modern object-oriented languages},
  booktitle    = {Computer Science 2008, Thirty-First Australasian Computer Science
                  Conference (ACSC2008), Wollongong, NSW, Australia, January 22-25,
                  2008},
  series       = {{CRPIT}},
  volume       = {74},
  pages        = {27--36},
  publisher    = {Australian Computer Society},
  year         = {2008},
  url          = {https://dl.acm.org/citation.cfm?id=1378287},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsc/ReidKC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics