BibTeX record conf/asplos/Solar-LezamaTBSS06

• > Home > conf/asplos/Solar-LezamaTBSS06

@inproceedings{DBLP:conf/asplos/Solar-LezamaTBSS06,
  author       = {Armando Solar{-}Lezama and
                  Liviu Tancau and
                  Rastislav Bod{\'{\i}}k and
                  Sanjit A. Seshia and
                  Vijay A. Saraswat},
  editor       = {John Paul Shen and
                  Margaret Martonosi},
  title        = {Combinatorial sketching for finite programs},
  booktitle    = {Proceedings of the 12th International Conference on Architectural
                  Support for Programming Languages and Operating Systems, {ASPLOS}
                  2006, San Jose, CA, USA, October 21-25, 2006},
  pages        = {404--415},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1168857.1168907},
  doi          = {10.1145/1168857.1168907},
  timestamp    = {Thu, 14 Oct 2021 10:41:55 +0200},
  biburl       = {https://dblp.org/rec/conf/asplos/Solar-LezamaTBSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}