Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Milo M. K. Martin
@inproceedings{DBLP:conf/nsdi/GibsonHLMMSWWWY22,
author = {Dan Gibson and
Hema Hariharan and
Eric Lance and
Moray McLaren and
Behnam Montazeri and
Arjun Singh and
Stephen Wang and
Hassan M. G. Wassel and
Zhehua Wu and
Sunghwan Yoo and
Raghuraman Balasubramanian and
Prashant Chandra and
Michael Cutforth and
Peter Cuy and
David Decotigny and
Rakesh Gautam and
Alex Iriza and
Milo M. K. Martin and
Rick Roy and
Zuowei Shen and
Ming Tan and
Ye Tang and
Monica Wong{-}Chan and
Joe Zbiciak and
Amin Vahdat},
editor = {Amar Phanishayee and
Vyas Sekar},
title = {Aquila: {A} unified, low-latency fabric for datacenter networks},
booktitle = {19th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2022, Renton, WA, USA, April 4-6, 2022},
pages = {1249--1266},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/nsdi22/presentation/gibson},
timestamp = {Wed, 06 Jul 2022 16:57:28 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/GibsonHLMMSWWWY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/SinghviAACDGMSW21,
author = {Arjun Singhvi and
Aditya Akella and
Maggie Anderson and
Rob Cauble and
Harshad Deshmukh and
Dan Gibson and
Milo M. K. Martin and
Amanda Strominger and
Thomas F. Wenisch and
Amin Vahdat},
editor = {Fernando A. Kuipers and
Matthew C. Caesar},
title = {CliqueMap: productionizing an RMA-based distributed caching system},
booktitle = {{ACM} {SIGCOMM} 2021 Conference, Virtual Event, USA, August 23-27,
2021},
pages = {93--105},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452296.3472934},
doi = {10.1145/3452296.3472934},
timestamp = {Wed, 11 Aug 2021 15:37:52 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/SinghviAACDGMSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/SinghviAGWWCMMC20,
author = {Arjun Singhvi and
Aditya Akella and
Dan Gibson and
Thomas F. Wenisch and
Monica Wong{-}Chan and
Sean Clark and
Milo M. K. Martin and
Moray McLaren and
Prashant Chandra and
Rob Cauble and
Hassan M. G. Wassel and
Behnam Montazeri and
Simon L. Sabato and
Joel Scherpelz and
Amin Vahdat},
editor = {Henning Schulzrinne and
Vishal Misra},
title = {1RMA: Re-envisioning Remote Memory Access for Multi-tenant Datacenters},
booktitle = {{SIGCOMM} '20: Proceedings of the 2020 Annual conference of the {ACM}
Special Interest Group on Data Communication on the applications,
technologies, architectures, and protocols for computer communication,
Virtual Event, USA, August 10-14, 2020},
pages = {708--721},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387514.3405897},
doi = {10.1145/3387514.3405897},
timestamp = {Mon, 10 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/SinghviAGWWCMMC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/MartinS16,
author = {Milo M. K. Martin and
Daniel J. Sorin},
title = {Top Picks from the 2015 Computer Architecture Conferences},
journal = {{IEEE} Micro},
volume = {36},
number = {3},
pages = {6--9},
year = {2016},
url = {https://doi.org/10.1109/MM.2016.47},
doi = {10.1109/MM.2016.47},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/MartinS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/NagarakatteMZ15,
author = {Santosh Nagarakatte and
Milo M. K. Martin and
Steve Zdancewic},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Everything You Want to Know About Pointer-Based Checking},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {190--208},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.190},
doi = {10.4230/LIPICS.SNAPL.2015.190},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/snapl/NagarakatteMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15,
author = {Rajeev Alur and
Rastislav Bod{\'{\i}}k and
Eric Dallal and
Dana Fisman and
Pranav Garg and
Garvit Juniwal and
Hadas Kress{-}Gazit and
P. Madhusudan and
Milo M. K. Martin and
Mukund Raghothaman and
Shambwaditya Saha and
Sanjit A. Seshia and
Rishabh Singh and
Armando Solar{-}Lezama and
Emina Torlak and
Abhishek Udupa},
editor = {Maximilian Irlbeck and
Doron A. Peled and
Alexander Pretschner},
title = {Syntax-Guided Synthesis},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {40},
pages = {1--25},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-495-4-1},
doi = {10.3233/978-1-61499-495-4-1},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/NagarakatteMZ14,
author = {Santosh Nagarakatte and
Milo M. K. Martin and
Steve Zdancewic},
editor = {David R. Kaeli and
Tipp Moseley},
title = {WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking},
booktitle = {12th Annual {IEEE/ACM} International Symposium on Code Generation
and Optimization, {CGO} 2014, Orlando, FL, USA, February 15-19, 2014},
pages = {175},
publisher = {{ACM}},
year = {2014},
url = {https://dl.acm.org/citation.cfm?id=2544147},
timestamp = {Fri, 30 Nov 2018 12:48:46 +0100},
biburl = {https://dblp.org/rec/conf/cgo/NagarakatteMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/AlurMRSTU14,
author = {Rajeev Alur and
Milo M. K. Martin and
Mukund Raghothaman and
Christos Stergiou and
Stavros Tripakis and
Abhishek Udupa},
editor = {Eran Yahav},
title = {Synthesizing Finite-State Protocols from Scenarios and Requirements},
booktitle = {Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
pages = {75--91},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6\_7},
doi = {10.1007/978-3-319-13338-6\_7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/AlurMRSTU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlurMRSTU14,
author = {Rajeev Alur and
Milo M. K. Martin and
Mukund Raghothaman and
Christos Stergiou and
Stavros Tripakis and
Abhishek Udupa},
title = {Synthesizing Finite-state Protocols from Scenarios and Requirements},
journal = {CoRR},
volume = {abs/1402.7150},
year = {2014},
url = {http://arxiv.org/abs/1402.7150},
eprinttype = {arXiv},
eprint = {1402.7150},
timestamp = {Mon, 29 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurMRSTU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/RaghavanLCPPWM13,
author = {Arun Raghavan and
Yixin Luo and
Anuj Chandawalla and
Marios C. Papaefthymiou and
Kevin P. Pipe and
Thomas F. Wenisch and
Milo M. K. Martin},
title = {Designing for Responsiveness with Computational Sprinting},
journal = {{IEEE} Micro},
volume = {33},
number = {3},
pages = {8--15},
year = {2013},
url = {https://doi.org/10.1109/MM.2013.51},
doi = {10.1109/MM.2013.51},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/RaghavanLCPPWM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/NagarakatteMZ13,
author = {Santosh Nagarakatte and
Milo M. K. Martin and
Steve Zdancewic},
title = {Hardware-Enforced Comprehensive Memory Safety},
journal = {{IEEE} Micro},
volume = {33},
number = {3},
pages = {38--47},
year = {2013},
url = {https://doi.org/10.1109/MM.2013.26},
doi = {10.1109/MM.2013.26},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/micro/NagarakatteMZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/RaghavanESPPWM13,
author = {Arun Raghavan and
Laurel Emurian and
Lei Shao and
Marios C. Papaefthymiou and
Kevin P. Pipe and
Thomas F. Wenisch and
Milo M. K. Martin},
title = {Utilizing Dark Silicon to Save Energy with Computational Sprinting},
journal = {{IEEE} Micro},
volume = {33},
number = {5},
pages = {20--28},
year = {2013},
url = {https://doi.org/10.1109/MM.2013.76},
doi = {10.1109/MM.2013.76},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/RaghavanESPPWM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/RaghavanESPPWM13,
author = {Arun Raghavan and
Laurel Emurian and
Lei Shao and
Marios C. Papaefthymiou and
Kevin P. Pipe and
Thomas F. Wenisch and
Milo M. K. Martin},
editor = {Vivek Sarkar and
Rastislav Bod{\'{\i}}k},
title = {Computational sprinting on a hardware/software testbed},
booktitle = {Architectural Support for Programming Languages and Operating Systems,
{ASPLOS} 2013, Houston, TX, USA, March 16-20, 2013},
pages = {155--166},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2451116.2451135},
doi = {10.1145/2451116.2451135},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/RaghavanESPPWM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AlurBJMRSSSTU13,
author = {Rajeev Alur and
Rastislav Bod{\'{\i}}k and
Garvit Juniwal and
Milo M. K. Martin and
Mukund Raghothaman and
Sanjit A. Seshia and
Rishabh Singh and
Armando Solar{-}Lezama and
Emina Torlak and
Abhishek Udupa},
title = {Syntax-guided synthesis},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {1--8},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679385/},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AlurBJMRSSSTU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DeLozierENOMZ13,
author = {Christian DeLozier and
Richard A. Eisenberg and
Santosh Nagarakatte and
Peter{-}Michael Osera and
Milo M. K. Martin and
Steve Zdancewic},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Ironclad {C++:} a library-augmented type-safe subset of c++},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {287--304},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509550},
doi = {10.1145/2509136.2509550},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/DeLozierENOMZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhaoNMZ13,
author = {Jianzhou Zhao and
Santosh Nagarakatte and
Milo M. K. Martin and
Steve Zdancewic},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Formal verification of SSA-based optimizations for {LLVM}},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {175--186},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462164},
doi = {10.1145/2491956.2462164},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhaoNMZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/UdupaRDMMA13,
author = {Abhishek Udupa and
Arun Raghavan and
Jyotirmoy V. Deshmukh and
Sela Mador{-}Haim and
Milo M. K. Martin and
Rajeev Alur},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {{TRANSIT:} specifying protocols with concolic snippets},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {287--296},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462174},
doi = {10.1145/2491956.2462174},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/UdupaRDMMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/MartinHS12,
author = {Milo M. K. Martin and
Mark D. Hill and
Daniel J. Sorin},
title = {Why on-chip cache coherence is here to stay},
journal = {Commun. {ACM}},
volume = {55},
number = {7},
pages = {78--89},
year = {2012},
url = {https://doi.org/10.1145/2209249.2209269},
doi = {10.1145/2209249.2209269},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/MartinHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Mador-HaimMSMAOAMSW12,
author = {Sela Mador{-}Haim and
Luc Maranget and
Susmit Sarkar and
Kayvan Memarian and
Jade Alglave and
Scott Owens and
Rajeev Alur and
Milo M. K. Martin and
Peter Sewell and
Derek Williams},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {An Axiomatic Memory Model for {POWER} Multiprocessors},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {495--512},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_36},
doi = {10.1007/978-3-642-31424-7\_36},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Mador-HaimMSMAOAMSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/RaghavanLCPPWM12,
author = {Arun Raghavan and
Yixin Luo and
Anuj Chandawalla and
Marios C. Papaefthymiou and
Kevin P. Pipe and
Thomas F. Wenisch and
Milo M. K. Martin},
title = {Computational sprinting},
booktitle = {18th {IEEE} International Symposium on High Performance Computer Architecture,
{HPCA} 2012, New Orleans, LA, USA, 25-29 February, 2012},
pages = {249--260},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HPCA.2012.6169031},
doi = {10.1109/HPCA.2012.6169031},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpca/RaghavanLCPPWM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/NagarakatteMZ12,
author = {Santosh Nagarakatte and
Milo M. K. Martin and
Steve Zdancewic},
title = {Watchdog: Hardware for safe and secure manual memory management and
full memory safety},
booktitle = {39th International Symposium on Computer Architecture {(ISCA} 2012),
June 9-13, 2012, Portland, OR, {USA}},
pages = {189--200},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISCA.2012.6237017},
doi = {10.1109/ISCA.2012.6237017},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/NagarakatteMZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NagarakatteBMM12,
author = {Santosh Nagarakatte and
Sebastian Burckhardt and
Milo M. K. Martin and
Madanlal Musuvathi},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Multicore acceleration of priority-based schedulers for concurrency
bug detection},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {543--554},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254128},
doi = {10.1145/2254064.2254128},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NagarakatteBMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ZhaoNMZ12,
author = {Jianzhou Zhao and
Santosh Nagarakatte and
Milo M. K. Martin and
Steve Zdancewic},
editor = {John Field and
Michael Hicks},
title = {Formalizing the {LLVM} intermediate representation for verified program
transformations},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {427--440},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103709},
doi = {10.1145/2103656.2103709},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/ZhaoNMZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Mador-HaimAM11,
author = {Sela Mador{-}Haim and
Rajeev Alur and
Milo M. K. Martin},
editor = {Leon Stok and
Nikil D. Dutt and
Soha Hassoun},
title = {Litmus tests for comparing memory consistency models: how long do
they need to be?},
booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
San Diego, California, USA, June 5-10, 2011},
pages = {504--509},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024724.2024842},
doi = {10.1145/2024724.2024842},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Mador-HaimAM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/RaghavanBM10,
author = {Arun Raghavan and
Colin Blundell and
Milo M. K. Martin},
title = {Token tenure and {PATCH:} {A} predictive/adaptive token-counting hybrid},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {7},
number = {2},
pages = {6:1--6:31},
year = {2010},
url = {https://doi.org/10.1145/1839667.1839668},
doi = {10.1145/1839667.1839668},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taco/RaghavanBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/usenix-login/HicksFKMS10,
author = {Matthew Hicks and
Murph Finnicum and
Samuel T. King and
Milo M. K. Martin and
Jonathan M. Smith},
title = {Overcoming an Untrusted Computing Base: Detecting and Removing Malicious
Hardware Automatically},
journal = {login Usenix Mag.},
volume = {35},
number = {6},
year = {2010},
url = {https://www.usenix.org/publications/login/december-2010-volume-35-number-6/overcoming-untrusted-computing-base-detecting},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/usenix-login/HicksFKMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Mador-HaimAM10,
author = {Sela Mador{-}Haim and
Rajeev Alur and
Milo M. K. Martin},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Generating Litmus Tests for Contrasting Memory Consistency Models},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {273--287},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_26},
doi = {10.1007/978-3-642-14295-6\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Mador-HaimAM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/BlundellRM10,
author = {Colin Blundell and
Arun Raghavan and
Milo M. K. Martin},
editor = {Andr{\'{e}} Seznec and
Uri C. Weiser and
Ronny Ronen},
title = {{RETCON:} transactional repair without replay},
booktitle = {37th International Symposium on Computer Architecture {(ISCA} 2010),
June 19-23, 2010, Saint-Malo, France},
pages = {258--269},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1815961.1815995},
doi = {10.1145/1815961.1815995},
timestamp = {Fri, 09 Jul 2021 15:51:20 +0200},
biburl = {https://dblp.org/rec/conf/isca/BlundellRM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/NagarakatteZMZ10,
author = {Santosh Nagarakatte and
Jianzhou Zhao and
Milo M. K. Martin and
Steve Zdancewic},
editor = {Jan Vitek and
Doug Lea},
title = {{CETS:} compiler enforced temporal safety for {C}},
booktitle = {Proceedings of the 9th International Symposium on Memory Management,
{ISMM} 2010, Toronto, Ontario, Canada, June 5-6, 2010},
pages = {31--40},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806651.1806657},
doi = {10.1145/1806651.1806657},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/NagarakatteZMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/HicksFKMS10,
author = {Matthew Hicks and
Murph Finnicum and
Samuel T. King and
Milo M. K. Martin and
Jonathan M. Smith},
title = {Overcoming an Untrusted Computing Base: Detecting and Removing Malicious
Hardware Automatically},
booktitle = {31st {IEEE} Symposium on Security and Privacy, {SP} 2010, 16-19 May
2010, Berleley/Oakland, California, {USA}},
pages = {159--172},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SP.2010.18},
doi = {10.1109/SP.2010.18},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/HicksFKMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/BlundellMW09,
author = {Colin Blundell and
Milo M. K. Martin and
Thomas F. Wenisch},
editor = {Stephen W. Keckler and
Luiz Andr{\'{e}} Barroso},
title = {InvisiFence: performance-transparent memory ordering in conventional
multiprocessors},
booktitle = {36th International Symposium on Computer Architecture {(ISCA} 2009),
June 20-24, 2009, Austin, TX, {USA}},
pages = {233--244},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1555754.1555785},
doi = {10.1145/1555754.1555785},
timestamp = {Fri, 09 Jul 2021 15:51:20 +0200},
biburl = {https://dblp.org/rec/conf/isca/BlundellMW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NagarakatteZMZ09,
author = {Santosh Nagarakatte and
Jianzhou Zhao and
Milo M. K. Martin and
Steve Zdancewic},
editor = {Michael Hind and
Amer Diwan},
title = {SoftBound: highly compatible and complete spatial memory safety for
c},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {245--258},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542504},
doi = {10.1145/1542476.1542504},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NagarakatteZMZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/DeviettiBMZ08,
author = {Joe Devietti and
Colin Blundell and
Milo M. K. Martin and
Steve Zdancewic},
editor = {Susan J. Eggers and
James R. Larus},
title = {Hardbound: architectural support for spatial safety of the {C} programming
language},
booktitle = {Proceedings of the 13th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2008, Seattle, WA, USA, March 1-5, 2008},
pages = {103--114},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1346281.1346295},
doi = {10.1145/1346281.1346295},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/DeviettiBMZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/RaghavanBM08,
author = {Arun Raghavan and
Colin Blundell and
Milo M. K. Martin},
title = {Token tenure: PATCHing token counting using directory-based cache
coherence},
booktitle = {41st Annual {IEEE/ACM} International Symposium on Microarchitecture
{(MICRO-41} 2008), November 8-12, 2008, Lake Como, Italy},
pages = {47--58},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/MICRO.2008.4771778},
doi = {10.1109/MICRO.2008.4771778},
timestamp = {Tue, 31 May 2022 14:39:58 +0200},
biburl = {https://dblp.org/rec/conf/micro/RaghavanBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/ShaMR07,
author = {Tingting Sha and
Milo M. K. Martin and
Amir Roth},
title = {NoSQ: Store-Load Communication without a Store Queue},
journal = {{IEEE} Micro},
volume = {27},
number = {1},
pages = {106--113},
year = {2007},
url = {https://doi.org/10.1109/MM.2007.17},
doi = {10.1109/MM.2007.17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/ShaMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/BlundellDLM07,
author = {Colin Blundell and
Joe Devietti and
E. Christopher Lewis and
Milo M. K. Martin},
editor = {Dean M. Tullsen and
Brad Calder},
title = {Making the fast case common and the uncommon case simple in unbounded
transactional memory},
booktitle = {34th International Symposium on Computer Architecture {(ISCA} 2007),
June 9-13, 2007, San Diego, California, {USA}},
pages = {24--34},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250662.1250667},
doi = {10.1145/1250662.1250667},
timestamp = {Fri, 09 Jul 2021 15:51:20 +0200},
biburl = {https://dblp.org/rec/conf/isca/BlundellDLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BurckhardtAM07,
author = {Sebastian Burckhardt and
Rajeev Alur and
Milo M. K. Martin},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {CheckFence: checking consistency of concurrent data types on relaxed
memory models},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {12--21},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250737},
doi = {10.1145/1250734.1250737},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BurckhardtAM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cal/MartinBL06,
author = {Milo M. K. Martin and
Colin Blundell and
E Christopher Lewis},
title = {Subtleties of Transactional Memory Atomicity Semantics},
journal = {{IEEE} Comput. Archit. Lett.},
volume = {5},
number = {2},
year = {2006},
url = {https://doi.org/10.1109/L-CA.2006.18},
doi = {10.1109/L-CA.2006.18},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cal/MartinBL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BurckhardtAM06,
author = {Sebastian Burckhardt and
Rajeev Alur and
Milo M. K. Martin},
editor = {Thomas Ball and
Robert B. Jones},
title = {Bounded Model Checking of Concurrent Data Types on Relaxed Memory
Models: {A} Case Study},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {489--502},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_45},
doi = {10.1007/11817963\_45},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BurckhardtAM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/ShaMR06,
author = {Tingting Sha and
Milo M. K. Martin and
Amir Roth},
title = {NoSQ: Store-Load Communication without a Store Queue},
booktitle = {39th Annual {IEEE/ACM} International Symposium on Microarchitecture
{(MICRO-39} 2006), 9-13 December 2006, Orlando, Florida, {USA}},
pages = {285--296},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MICRO.2006.39},
doi = {10.1109/MICRO.2006.39},
timestamp = {Tue, 31 May 2022 14:39:58 +0200},
biburl = {https://dblp.org/rec/conf/micro/ShaMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigarch/MartinSBMXAMHW05,
author = {Milo M. K. Martin and
Daniel J. Sorin and
Bradford M. Beckmann and
Michael R. Marty and
Min Xu and
Alaa R. Alameldeen and
Kevin E. Moore and
Mark D. Hill and
David A. Wood},
title = {Multifacet's general execution-driven multiprocessor simulator {(GEMS)}
toolset},
journal = {{SIGARCH} Comput. Archit. News},
volume = {33},
number = {4},
pages = {92--99},
year = {2005},
url = {https://doi.org/10.1145/1105734.1105747},
doi = {10.1145/1105734.1105747},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigarch/MartinSBMXAMHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/MartyBHHMW05,
author = {Michael R. Marty and
Jesse D. Bingham and
Mark D. Hill and
Alan J. Hu and
Milo M. K. Martin and
David A. Wood},
title = {Improving Multiple-CMP Systems Using Token Coherence},
booktitle = {11th International Conference on High-Performance Computer Architecture
{(HPCA-11} 2005), 12-16 February 2005, San Francisco, CA, {USA}},
pages = {328--339},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HPCA.2005.17},
doi = {10.1109/HPCA.2005.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpca/MartyBHHMW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/Martin05,
author = {Milo M. K. Martin},
title = {Formal Verification and its Impact on the Snooping versus Directory
Protocol Debate},
booktitle = {23rd International Conference on Computer Design {(ICCD} 2005), 2-5
October 2005, San Jose, CA, {USA}},
pages = {543--449},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICCD.2005.58},
doi = {10.1109/ICCD.2005.58},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/Martin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/ShaMR05,
author = {Tingting Sha and
Milo M. K. Martin and
Amir Roth},
title = {Scalable Store-Load Forwarding via Store Queue Index Prediction},
booktitle = {38th Annual {IEEE/ACM} International Symposium on Microarchitecture
{(MICRO-38} 2005), 12-16 November 2005, Barcelona, Spain},
pages = {159--170},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MICRO.2005.29},
doi = {10.1109/MICRO.2005.29},
timestamp = {Tue, 31 May 2022 14:39:58 +0200},
biburl = {https://dblp.org/rec/conf/micro/ShaMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BurckhardtAM05,
author = {Sebastian Burckhardt and
Rajeev Alur and
Milo M. K. Martin},
editor = {Radhia Cousot},
title = {Verifying Safety of a Token Coherence Implementation by Parametric
Compositional Refinement},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {130--145},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_9},
doi = {10.1007/978-3-540-30579-8\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BurckhardtAM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SorinMHW04,
author = {Daniel J. Sorin and
Milo M. K. Martin and
Mark D. Hill and
David A. Wood},
title = {Using Speculation to Simplify Multiprocessor Design},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303007},
doi = {10.1109/IPDPS.2004.1303007},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/SorinMHW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/AlameldeenMMMXHWS03,
author = {Alaa R. Alameldeen and
Milo M. K. Martin and
Carl J. Mauer and
Kevin E. Moore and
Min Xu and
Mark D. Hill and
David A. Wood and
Daniel J. Sorin},
title = {Simulating a {\textdollar}2M Commercial Server on a {\textdollar}2K
{PC}},
journal = {Computer},
volume = {36},
number = {2},
pages = {50--57},
year = {2003},
url = {https://doi.org/10.1109/MC.2003.1178046},
doi = {10.1109/MC.2003.1178046},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/AlameldeenMMMXHWS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/MartinHW03,
author = {Milo M. K. Martin and
Mark D. Hill and
David A. Wood},
title = {Token Coherence: {A} New Framework for Shared-Memory Multiprocessors},
journal = {{IEEE} Micro},
volume = {23},
number = {6},
pages = {108--116},
year = {2003},
url = {https://doi.org/10.1109/MM.2003.1261394},
doi = {10.1109/MM.2003.1261394},
timestamp = {Mon, 25 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/micro/MartinHW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/MartinHW03,
author = {Milo M. K. Martin and
Mark D. Hill and
David A. Wood},
editor = {Allan Gottlieb and
Kai Li},
title = {Token Coherence: Decoupling Performance and Correctness},
booktitle = {30th International Symposium on Computer Architecture {(ISCA} 2003),
9-11 June 2003, San Diego, California, {USA}},
pages = {182--193},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISCA.2003.1206999},
doi = {10.1109/ISCA.2003.1206999},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/MartinHW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/MartinHSHW03,
author = {Milo M. K. Martin and
Pacia J. Harper and
Daniel J. Sorin and
Mark D. Hill and
David A. Wood},
editor = {Allan Gottlieb and
Kai Li},
title = {Using Destination-Set Prediction to Improve the Latency/Bandwidth
Tradeoff in Shared-Memory Multiprocessors},
booktitle = {30th International Symposium on Computer Architecture {(ISCA} 2003),
9-11 June 2003, San Diego, California, {USA}},
pages = {206--217},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISCA.2003.1207001},
doi = {10.1109/ISCA.2003.1207001},
timestamp = {Mon, 25 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/MartinHSHW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/SorinPCHMW02,
author = {Daniel J. Sorin and
Manoj Plakal and
Anne Condon and
Mark D. Hill and
Milo M. K. Martin and
David A. Wood},
title = {Specifying and Verifying a Broadcast and a Multicast Snooping Cache
Coherence Protocol},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {13},
number = {6},
pages = {556--578},
year = {2002},
url = {https://doi.org/10.1109/TPDS.2002.1011412},
doi = {10.1109/TPDS.2002.1011412},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/SorinPCHMW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/MartinSHW02,
author = {Milo M. K. Martin and
Daniel J. Sorin and
Mark D. Hill and
David A. Wood},
title = {Bandwidth Adaptive Snooping},
booktitle = {Proceedings of the Eighth International Symposium on High-Performance
Computer Architecture (HPCA'02), Boston, Massachusettes, USA, February
2-6, 2002},
pages = {251--262},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/HPCA.2002.995715},
doi = {10.1109/HPCA.2002.995715},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpca/MartinSHW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/SorinMHW02,
author = {Daniel J. Sorin and
Milo M. K. Martin and
Mark D. Hill and
David A. Wood},
editor = {Yale N. Patt and
Dirk Grunwald and
Kevin Skadron},
title = {SafetyNet: Improving the Availability of Shared Memory Multiprocessors
with Global Checkpoint/Recovery},
booktitle = {29th International Symposium on Computer Architecture {(ISCA} 2002),
25-29 May 2002, Anchorage, AK, {USA}},
pages = {123--134},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISCA.2002.1003568},
doi = {10.1109/ISCA.2002.1003568},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/SorinMHW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/MartinSCHL01,
author = {Milo M. K. Martin and
Daniel J. Sorin and
Harold W. Cain and
Mark D. Hill and
Mikko H. Lipasti},
editor = {Yale N. Patt and
Josh Fisher and
Paolo Faraboschi and
Kevin Skadron},
title = {Correctly implementing value prediction in microprocessors that support
multithreading or multiprocessing},
booktitle = {Proceedings of the 34th Annual International Symposium on Microarchitecture,
Austin, Texas, USA, December 1-5, 2001},
pages = {328--337},
publisher = {{ACM/IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/MICRO.2001.991130},
doi = {10.1109/MICRO.2001.991130},
timestamp = {Tue, 31 May 2022 14:39:58 +0200},
biburl = {https://dblp.org/rec/conf/micro/MartinSCHL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/MartinSAADMMPHW00,
author = {Milo M. K. Martin and
Daniel J. Sorin and
Anastassia Ailamaki and
Alaa R. Alameldeen and
Ross M. Dickson and
Carl J. Mauer and
Kevin E. Moore and
Manoj Plakal and
Mark D. Hill and
David A. Wood},
editor = {Larry Rudolph and
Anoop Gupta},
title = {Timestamp snooping: an approach for extending SMPs},
booktitle = {{ASPLOS-IX} Proceedings of the 9th International Conference on Architectural
Support for Programming Languages and Operating Systems, Cambridge,
MA, USA, November 12-15, 2000},
pages = {25--36},
publisher = {{ACM} Press},
year = {2000},
url = {https://doi.org/10.1145/378993.378998},
doi = {10.1145/378993.378998},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/MartinSAADMMPHW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/MartinRF97,
author = {Milo M. K. Martin and
Amir Roth and
Charles N. Fischer},
editor = {Mark Smotherman and
Tom Conte},
title = {Exploiting Dead Value Information},
booktitle = {Proceedings of the Thirtieth Annual {IEEE/ACM} International Symposium
on Microarchitecture, {MICRO} 30, Research Triangle Park, North Carolina,
USA, December 1-3, 1997},
pages = {125--135},
publisher = {{ACM/IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/MICRO.1997.645804},
doi = {10.1109/MICRO.1997.645804},
timestamp = {Tue, 31 May 2022 14:39:58 +0200},
biburl = {https://dblp.org/rec/conf/micro/MartinRF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
