Search dblp for Publications

export results for "toc:db/conf/ivme/ivme2003.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ivme/DavisBCGW03,
  author       = {Brian Davis and
                  Andrew Beatty and
                  Kevin Casey and
                  David Gregg and
                  John Waldron},
  editor       = {David Gregg and
                  M. Anton Ertl},
  title        = {The case for virtual register machines},
  booktitle    = {Proceedings of the 2003 Workshop on Interpreters, Virtual Machines
                  and Emulators, {IVME} 2003, San Diego, California, USA, June 12, 2003},
  pages        = {41--49},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/858570.858575},
  doi          = {10.1145/858570.858575},
  timestamp    = {Fri, 17 Jun 2022 16:17:17 +0200},
  biburl       = {https://dblp.org/rec/conf/ivme/DavisBCGW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ivme/FranzCGHRW03,
  author       = {Michael Franz and
                  Deepak Chandra and
                  Andreas Gal and
                  Vivek Haldar and
                  Ferm{\'{\i}}n Reig and
                  Ning Wang},
  editor       = {David Gregg and
                  M. Anton Ertl},
  title        = {A portable Virtual Machine target for Proof-Carrying Code},
  booktitle    = {Proceedings of the 2003 Workshop on Interpreters, Virtual Machines
                  and Emulators, {IVME} 2003, San Diego, California, USA, June 12, 2003},
  pages        = {24--31},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/858570.858573},
  doi          = {10.1145/858570.858573},
  timestamp    = {Fri, 17 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ivme/FranzCGHRW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ivme/LatendresseF03,
  author       = {Mario Latendresse and
                  Marc Feeley},
  editor       = {David Gregg and
                  M. Anton Ertl},
  title        = {Generation of fast interpreters for Huffman compressed bytecode},
  booktitle    = {Proceedings of the 2003 Workshop on Interpreters, Virtual Machines
                  and Emulators, {IVME} 2003, San Diego, California, USA, June 12, 2003},
  pages        = {32--40},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/858570.858574},
  doi          = {10.1145/858570.858574},
  timestamp    = {Fri, 17 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ivme/LatendresseF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ivme/LiuM03,
  author       = {Hanbing Liu and
                  J Strother Moore},
  editor       = {David Gregg and
                  M. Anton Ertl},
  title        = {Executable {JVM} model for analytical reasoning: a study},
  booktitle    = {Proceedings of the 2003 Workshop on Interpreters, Virtual Machines
                  and Emulators, {IVME} 2003, San Diego, California, USA, June 12, 2003},
  pages        = {15--23},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/858570.858572},
  doi          = {10.1145/858570.858572},
  timestamp    = {Mon, 19 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ivme/LiuM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ivme/PalaczBFGYV03,
  author       = {Krzysztof Palacz and
                  Jason Baker and
                  Chapman Flack and
                  Christian Grothoff and
                  Hiroshi Yamauchi and
                  Jan Vitek},
  editor       = {David Gregg and
                  M. Anton Ertl},
  title        = {Engineering a customizable intermediate representation},
  booktitle    = {Proceedings of the 2003 Workshop on Interpreters, Virtual Machines
                  and Emulators, {IVME} 2003, San Diego, California, USA, June 12, 2003},
  pages        = {67--76},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/858570.858578},
  doi          = {10.1145/858570.858578},
  timestamp    = {Fri, 17 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ivme/PalaczBFGYV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ivme/Ramsey03,
  author       = {Norman Ramsey},
  editor       = {David Gregg and
                  M. Anton Ertl},
  title        = {Embedding an interpreted language using higher-order functions and
                  types},
  booktitle    = {Proceedings of the 2003 Workshop on Interpreters, Virtual Machines
                  and Emulators, {IVME} 2003, San Diego, California, USA, June 12, 2003},
  pages        = {6--14},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/858570.858571},
  doi          = {10.1145/858570.858571},
  timestamp    = {Fri, 17 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ivme/Ramsey03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ivme/SullivanBBGA03,
  author       = {Gregory T. Sullivan and
                  Derek Bruening and
                  Iris Baron and
                  Timothy Garnett and
                  Saman P. Amarasinghe},
  editor       = {David Gregg and
                  M. Anton Ertl},
  title        = {Dynamic native optimization of interpreters},
  booktitle    = {Proceedings of the 2003 Workshop on Interpreters, Virtual Machines
                  and Emulators, {IVME} 2003, San Diego, California, USA, June 12, 2003},
  pages        = {50--57},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/858570.858576},
  doi          = {10.1145/858570.858576},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ivme/SullivanBBGA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ivme/Whaley03,
  author       = {John Whaley},
  editor       = {David Gregg and
                  M. Anton Ertl},
  title        = {Joeq: a virtual machine and compiler infrastructure},
  booktitle    = {Proceedings of the 2003 Workshop on Interpreters, Virtual Machines
                  and Emulators, {IVME} 2003, San Diego, California, USA, June 12, 2003},
  pages        = {58--66},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/858570.858577},
  doi          = {10.1145/858570.858577},
  timestamp    = {Fri, 17 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ivme/Whaley03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ivme/2003,
  editor       = {David Gregg and
                  M. Anton Ertl},
  title        = {Proceedings of the 2003 Workshop on Interpreters, Virtual Machines
                  and Emulators, {IVME} 2003, San Diego, California, USA, June 12, 2003},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/858570},
  doi          = {10.1145/858570},
  isbn         = {978-1-58113-655-5},
  timestamp    = {Fri, 17 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ivme/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.