BibTeX records: Andrew Craik

download as .bib file

@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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/cascon/2018},
  url       = {https://dl.acm.org/citation.cfm?id=3291354},
  timestamp = {Tue, 19 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cascon/LandauFRSMSCT08},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/cascon/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3172848},
  timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cascon/AliCMR07},
  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},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/sigsoft/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/bib/conf/sigsoft/CifuentesKLHVBZCTH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/CraikK10,
  author    = {Andrew Craik and
               Wayne Kelly},
  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},
  pages     = {145--164},
  year      = {2010},
  crossref  = {DBLP:conf/cc/2010},
  url       = {https://doi.org/10.1007/978-3-642-11970-5\_9},
  doi       = {10.1007/978-3-642-11970-5\_9},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/CraikK10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/ReidKC08,
  author    = {Wayne Reid and
               Wayne Kelly and
               Andrew Craik},
  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},
  pages     = {27--36},
  year      = {2008},
  crossref  = {DBLP:conf/acsc/2008},
  url       = {https://dl.acm.org/citation.cfm?id=1378287},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsc/ReidKC08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cascon/2018,
  editor    = {Iosif{-}Viorel Onut and
               Andrew Jaramillo and
               Guy{-}Vincent Jourdan and
               Dorina C. Petriu and
               Wang Chen},
  title     = {Proceedings of the 28th Annual International Conference on Computer
               Science and Software Engineering, {CASCON} 2018, Markham, Ontario,
               Canada, October 29-31, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://dl.acm.org/citation.cfm?id=3291291},
  timestamp = {Mon, 18 Feb 2019 14:46:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cascon/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cascon/2017,
  editor    = {Marcellus Mindel and
               Kelly Lyons and
               Joe Wigglesworth},
  title     = {Proceedings of the 27th Annual International Conference on Computer
               Science and Software Engineering, {CASCON} 2017, Markham, Ontario,
               Canada, November 6-8, 2017},
  publisher = {{IBM} / {ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3172795},
  timestamp = {Wed, 20 Dec 2017 19:16:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cascon/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2011,
  editor    = {Tibor Gyim{\'{o}}thy and
               Andreas Zeller},
  title     = {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},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2025113},
  doi       = {10.1145/2025113},
  isbn      = {978-1-4503-0443-6},
  timestamp = {Thu, 25 May 2017 00:43:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2010,
  editor    = {Rajiv Gupta},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11970-5},
  doi       = {10.1007/978-3-642-11970-5},
  isbn      = {978-3-642-11969-9},
  timestamp = {Mon, 26 Feb 2018 15:57:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsc/2008,
  editor    = {Gillian Dobbie and
               Bernard Mans},
  title     = {Computer Science 2008, Thirty-First Australasian Computer Science
               Conference (ACSC2008), Wollongong, NSW, Australia, January 22-25,
               2008},
  series    = {{CRPIT}},
  volume    = {74},
  publisher = {Australian Computer Society},
  year      = {2008},
  isbn      = {978-1-920682-55-2},
  timestamp = {Wed, 07 Jan 2009 13:07:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsc/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier