BibTeX records: Margaret DeLap

• > Home > Persons > Margaret DeLap

@inproceedings{DBLP:conf/ppopp/ChenWDKLA05,
  author       = {Jin Chen and
                  Baohua Wu and
                  Margaret DeLap and
                  Bj{\"{o}}rn Knutsson and
                  Honghui Lu and
                  Cristiana Amza},
  editor       = {Keshav Pingali and
                  Katherine A. Yelick and
                  Andrew S. Grimshaw},
  title        = {Locality aware dynamic load management for massively multiplayer games},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Symposium on Principles and Practice
                  of Parallel Programming, {PPOPP} 2005, June 15-17, 2005, Chicago,
                  IL, {USA}},
  pages        = {289--300},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1065944.1065982},
  doi          = {10.1145/1065944.1065982},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/ChenWDKLA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/netgames/DeLapKLSSLT04,
  author       = {Margaret DeLap and
                  Bj{\"{o}}rn Knutsson and
                  Honghui Lu and
                  Oleg Sokolsky and
                  Usa Sammapun and
                  Insup Lee and
                  Christos Tsarouchis},
  editor       = {Wu{-}chang Feng},
  title        = {Is runtime verification applicable to cheat detection?},
  booktitle    = {Proceedings of the 3rd Workshop on Network and System Support for
                  Games, {NETGAMES} 2004, Portland, Oregon, USA, August 30, 2004},
  pages        = {134--138},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1016540.1016553},
  doi          = {10.1145/1016540.1016553},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/netgames/DeLapKLSSLT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SammapunSDKZ03,
  author       = {Usa Sammapun and
                  Raman Sharykin and
                  Margaret DeLap and
                  Myong Kim and
                  Steve Zdancewic},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Formalizing Java-MaC},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {171--190},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81048-X},
  doi          = {10.1016/S1571-0661(04)81048-X},
  timestamp    = {Fri, 16 Dec 2022 11:03:30 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SammapunSDKZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/grid/ChangCDHLVP02,
  author       = {Bor{-}Yuh Evan Chang and
                  Karl Crary and
                  Margaret DeLap and
                  Robert Harper and
                  Jason Liszka and
                  Tom Murphy VII and
                  Frank Pfenning},
  editor       = {Manish Parashar},
  title        = {Trustless Grid Computing in ConCert},
  booktitle    = {Grid Computing - {GRID} 2002, Third International Workshop, Baltimore,
                  MD, USA, November 18, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2536},
  pages        = {112--125},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36133-2\_11},
  doi          = {10.1007/3-540-36133-2\_11},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/grid/ChangCDHLVP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}