BibTeX records: Gilad Arnold

• > Home > Persons > Gilad Arnold

@phdthesis{DBLP:phd/basesearch/Arnold11,
  author       = {Gilad Arnold},
  title        = {Data-Parallel Language for Correct and Efficient Sparse Matrix Codes},
  school       = {University of California, Berkeley, {USA}},
  year         = {2011},
  url          = {http://www.escholarship.org/uc/item/2pw6165p},
  timestamp    = {Tue, 18 Apr 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Arnold11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/ArnoldHKBS10,
  author       = {Gilad Arnold and
                  Johannes H{\"{o}}lzl and
                  Ali Sinan K{\"{o}}ksal and
                  Rastislav Bod{\'{\i}}k and
                  Mooly Sagiv},
  editor       = {Paul Hudak and
                  Stephanie Weirich},
  title        = {Specifying and verifying sparse matrix codes},
  booktitle    = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
                  Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
                  27-29, 2010},
  pages        = {249--260},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863543.1863581},
  doi          = {10.1145/1863543.1863581},
  timestamp    = {Tue, 22 Jun 2021 17:10:56 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/ArnoldHKBS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/Solar-LezamaATBSS07,
  author       = {Armando Solar{-}Lezama and
                  Gilad Arnold and
                  Liviu Tancau and
                  Rastislav Bod{\'{\i}}k and
                  Vijay A. Saraswat and
                  Sanjit A. Seshia},
  editor       = {Jeanne Ferrante and
                  Kathryn S. McKinley},
  title        = {Sketching stencils},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
                  Language Design and Implementation, San Diego, California, USA, June
                  10-13, 2007},
  pages        = {167--178},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1250734.1250754},
  doi          = {10.1145/1250734.1250754},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/Solar-LezamaATBSS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Arnold06,
  author       = {Gilad Arnold},
  editor       = {Kwangkeun Yi},
  title        = {Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement
                  and Loose Embedding},
  booktitle    = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
                  Korea, August 29-31, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4134},
  pages        = {204--220},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11823230\_14},
  doi          = {10.1007/11823230\_14},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Arnold06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/ArnoldMSS06,
  author       = {Gilad Arnold and
                  Roman Manevich and
                  Mooly Sagiv and
                  Ran Shaham},
  editor       = {E. Allen Emerson and
                  Kedar S. Namjoshi},
  title        = {Combining Shape Analyses by Intersecting Abstractions},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 7th International
                  Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3855},
  pages        = {33--48},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11609773\_3},
  doi          = {10.1007/11609773\_3},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/ArnoldMSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}