Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: John Regehr
@inproceedings{DBLP:conf/cgo/FanR24,
author = {Yuyou Fan and
John Regehr},
editor = {Tobias Grosser and
Christophe Dubach and
Michel Steuwer and
Jingling Xue and
Guilherme Ottoni and
ernando Magno Quint{\~{a}}o Pereira},
title = {High-Throughput, Formal-Methods-Assisted Fuzzing for {LLVM}},
booktitle = {{IEEE/ACM} International Symposium on Code Generation and Optimization,
{CGO} 2024, Edinburgh, United Kingdom, March 2-6, 2024},
pages = {349--358},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/CGO57630.2024.10444854},
doi = {10.1109/CGO57630.2024.10444854},
timestamp = {Mon, 11 Mar 2024 13:45:28 +0100},
biburl = {https://dblp.org/rec/conf/cgo/FanR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LivinskiiBR23,
author = {Vsevolod Livinskii and
Dmitry Babokin and
John Regehr},
title = {Fuzzing Loop Optimizations in Compilers for {C++} and Data-Parallel
Languages},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1826--1847},
year = {2023},
url = {https://doi.org/10.1145/3591295},
doi = {10.1145/3591295},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/LivinskiiBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-00229,
author = {Zhengyang Liu and
Stefan Mada and
John Regehr},
title = {Minotaur: {A} SIMD-Oriented Synthesizing Superoptimizer},
journal = {CoRR},
volume = {abs/2306.00229},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.00229},
doi = {10.48550/ARXIV.2306.00229},
eprinttype = {arXiv},
eprint = {2306.00229},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-00229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LopesLHLR21,
author = {Nuno P. Lopes and
Juneyoung Lee and
Chung{-}Kil Hur and
Zhengyang Liu and
John Regehr},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Alive2: bounded translation validation for {LLVM}},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {65--79},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454030},
doi = {10.1145/3453483.3454030},
timestamp = {Fri, 17 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LopesLHLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MukherjeeKLR20,
author = {Manasij Mukherjee and
Pranav Kant and
Zhengyang Liu and
John Regehr},
title = {Dataflow-based pruning for speeding up superoptimization},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {177:1--177:24},
year = {2020},
url = {https://doi.org/10.1145/3428245},
doi = {10.1145/3428245},
timestamp = {Mon, 20 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MukherjeeKLR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LivinskiiBR20,
author = {Vsevolod Livinskii and
Dmitry Babokin and
John Regehr},
title = {Random testing for {C} and {C++} compilers with YARPGen},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {196:1--196:25},
year = {2020},
url = {https://doi.org/10.1145/3428264},
doi = {10.1145/3428264},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/LivinskiiBR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/TanejaLR20,
author = {Jubi Taneja and
Zhengyang Liu and
John Regehr},
title = {Testing static analyses for precision and soundness},
booktitle = {{CGO} '20: 18th {ACM/IEEE} International Symposium on Code Generation
and Optimization, San Diego, CA, USA, February, 2020},
pages = {81--93},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368826.3377927},
doi = {10.1145/3368826.3377927},
timestamp = {Mon, 20 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cgo/TanejaLR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/LopesMNR18,
author = {Nuno P. Lopes and
David Menendez and
Santosh Nagarakatte and
John Regehr},
title = {Practical verification of peephole optimizations with Alive},
journal = {Commun. {ACM}},
volume = {61},
number = {2},
pages = {84--91},
year = {2018},
url = {https://doi.org/10.1145/3166064},
doi = {10.1145/3166064},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/LopesMNR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LeeHJLRL18,
author = {Juneyoung Lee and
Chung{-}Kil Hur and
Ralf Jung and
Zhengyang Liu and
John Regehr and
Nuno P. Lopes},
title = {Reconciling high-level optimizations and low-level code in {LLVM}},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {125:1--125:28},
year = {2018},
url = {https://doi.org/10.1145/3276495},
doi = {10.1145/3276495},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/LeeHJLRL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-02161,
author = {Nuno P. Lopes and
John Regehr},
title = {Future Directions for Optimizing Compilers},
journal = {CoRR},
volume = {abs/1809.02161},
year = {2018},
url = {http://arxiv.org/abs/1809.02161},
eprinttype = {arXiv},
eprint = {1809.02161},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-02161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/RegehrB17,
author = {John Regehr and
Peter Bailis},
title = {Research for practice: vigorous public debates in academic computer
science},
journal = {Commun. {ACM}},
volume = {60},
number = {12},
pages = {48--50},
year = {2017},
url = {https://doi.org/10.1145/3132257},
doi = {10.1145/3132257},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/RegehrB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/Regehr17,
author = {John Regehr},
title = {Vigorous Public Debates in Academic Computer Science},
journal = {{ACM} Queue},
volume = {15},
number = {3},
pages = {70},
year = {2017},
url = {https://doi.org/10.1145/3121437.3132371},
doi = {10.1145/3121437.3132371},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/queue/Regehr17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeeKSHDMRL17,
author = {Juneyoung Lee and
Yoonseung Kim and
Youngju Song and
Chung{-}Kil Hur and
Sanjoy Das and
David Majnemer and
John Regehr and
Nuno P. Lopes},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Taming undefined behavior in {LLVM}},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {633--647},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062343},
doi = {10.1145/3062341.3062343},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LeeKSHDMRL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-04422,
author = {Raimondas Sasnauskas and
Yang Chen and
Peter Collingbourne and
Jeroen Ketema and
Jubi Taneja and
John Regehr},
title = {Souper: {A} Synthesizing Superoptimizer},
journal = {CoRR},
volume = {abs/1711.04422},
year = {2017},
url = {http://arxiv.org/abs/1711.04422},
eprinttype = {arXiv},
eprint = {1711.04422},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-04422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Regehr16,
author = {John Regehr},
title = {STACKing up undefined behaviors: technical perspective},
journal = {Commun. {ACM}},
volume = {59},
number = {3},
pages = {98},
year = {2016},
url = {https://doi.org/10.1145/2885254},
doi = {10.1145/2885254},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Regehr16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GroceAZCR16,
author = {Alex Groce and
Mohammad Amin Alipour and
Chaoqiang Zhang and
Yang Chen and
John Regehr},
title = {Cause reduction: delta debugging, even without bugs},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {1},
pages = {40--68},
year = {2016},
url = {https://doi.org/10.1002/stvr.1574},
doi = {10.1002/STVR.1574},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/GroceAZCR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vee/BurtsevJHER16,
author = {Anton Burtsev and
David Johnson and
Mike Hibler and
Eric Eide and
John Regehr},
editor = {Vishakha Gupta{-}Cledat and
Donald E. Porter and
Vivek Sarkar},
title = {Abstractions for Practical Virtual Machine Replay},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN/SIGOPS} International Conference
on Virtual Execution Environments, Atlanta, GA, USA, April 2-3, 2016},
pages = {93--106},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2892242.2892257},
doi = {10.1145/2892242.2892257},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/vee/BurtsevJHER16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/DietzLRA15,
author = {Will Dietz and
Peng Li and
John Regehr and
Vikram S. Adve},
title = {Understanding Integer Overflow in {C/C++}},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {25},
number = {1},
pages = {2:1--2:29},
year = {2015},
url = {https://doi.org/10.1145/2743019},
doi = {10.1145/2743019},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/DietzLRA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LopesMNR15,
author = {Nuno P. Lopes and
David Menendez and
Santosh Nagarakatte and
John Regehr},
editor = {David Grove and
Stephen M. Blackburn},
title = {Provably correct peephole optimizations with alive},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {22--32},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737965},
doi = {10.1145/2737924.2737965},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LopesMNR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GroceAZCR14,
author = {Alex Groce and
Mohammad Amin Alipour and
Chaoqiang Zhang and
Yang Chen and
John Regehr},
title = {Cause Reduction for Quick Testing},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
Ohio, {USA}},
pages = {243--252},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICST.2014.37},
doi = {10.1109/ICST.2014.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GroceAZCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SasnauskasR14,
author = {Raimondas Sasnauskas and
John Regehr},
editor = {Harry Xu and
Tao Xie and
Shan Lu and
Dongmei Zhang and
Santosh Nagarakatte and
Christoph Csallner},
title = {Intent fuzzer: crafting intents of death},
booktitle = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
{(WODA)} and Software and System Performance Testing, Debugging, and
Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
2014},
pages = {1--5},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632168.2632169},
doi = {10.1145/2632168.2632169},
timestamp = {Fri, 14 Apr 2023 23:05:44 +0200},
biburl = {https://dblp.org/rec/conf/issta/SasnauskasR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GroceZAECR13,
author = {Alex Groce and
Chaoqiang Zhang and
Mohammad Amin Alipour and
Eric Eide and
Yang Chen and
John Regehr},
title = {Help, help, i'm being suppressed! The significance of suppressors
in software testing},
booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
{ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013},
pages = {390--399},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISSRE.2013.6698892},
doi = {10.1109/ISSRE.2013.6698892},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/GroceZAECR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChenGZWFER13,
author = {Yang Chen and
Alex Groce and
Chaoqiang Zhang and
Weng{-}Keen Wong and
Xiaoli Z. Fern and
Eric Eide and
John Regehr},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Taming compiler fuzzers},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {197--208},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462173},
doi = {10.1145/2491956.2462173},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChenGZWFER13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DietzLRA12,
author = {Will Dietz and
Peng Li and
John Regehr and
Vikram S. Adve},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Understanding integer overflow in {C/C++}},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {760--770},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227142},
doi = {10.1109/ICSE.2012.6227142},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DietzLRA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceZECR12,
author = {Alex Groce and
Chaoqiang Zhang and
Eric Eide and
Yang Chen and
John Regehr},
editor = {Mats Per Erik Heimdahl and
Zhendong Su},
title = {Swarm testing},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
2012, Minneapolis, MN, USA, July 15-20, 2012},
pages = {78--88},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338965.2336763},
doi = {10.1145/2338965.2336763},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/issta/GroceZECR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/CuoqMPPRYY12,
author = {Pascal Cuoq and
Benjamin Monate and
Anne Pacalet and
Virgile Prevosto and
John Regehr and
Boris Yakobowski and
Xuejun Yang},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Testing Static Analyzers with Randomly Generated Programs},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {120--125},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_12},
doi = {10.1007/978-3-642-28891-3\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/CuoqMPPRYY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RegehrCCEEY12,
author = {John Regehr and
Yang Chen and
Pascal Cuoq and
Eric Eide and
Chucky Ellison and
Xuejun Yang},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Test-case reduction for {C} compiler bugs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {335--346},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254104},
doi = {10.1145/2254064.2254104},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RegehrCCEEY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2012,
editor = {Ahmed Jerraya and
Luca P. Carloni and
Florence Maraninchi and
John Regehr},
title = {Proceedings of the 12th International Conference on Embedded Software,
{EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012,
Tampere, Finland, October 7-12, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2380356},
isbn = {978-1-4503-1425-1},
timestamp = {Sun, 06 Jan 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ZhaoLSR11,
author = {Lu Zhao and
Guodong Li and
Bjorn De Sutter and
John Regehr},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {ARMor: fully verified software fault isolation},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {289--298},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038687},
doi = {10.1145/2038642.2038687},
timestamp = {Thu, 18 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/ZhaoLSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YangCER11,
author = {Xuejun Yang and
Yang Chen and
Eric Eide and
John Regehr},
editor = {Mary W. Hall and
David A. Padua},
title = {Finding and understanding bugs in {C} compilers},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {283--294},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993532},
doi = {10.1145/1993498.1993532},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/YangCER11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/LiR10,
author = {Peng Li and
John Regehr},
editor = {Tarek F. Abdelzaher and
Thiemo Voigt and
Adam Wolisz},
title = {T-check: bug finding for sensor networks},
booktitle = {Proceedings of the 9th International Conference on Information Processing
in Sensor Networks, {IPSN} 2010, April 12-16, 2010, Stockholm, Sweden},
pages = {174--185},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1791212.1791234},
doi = {10.1145/1791212.1791234},
timestamp = {Tue, 06 Nov 2018 16:59:08 +0100},
biburl = {https://dblp.org/rec/conf/ipsn/LiR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/DuanR10,
author = {Jianjun Duan and
John Regehr},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Correctness Proofs for Device Drivers in Embedded Systems},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/correctness-proofs-device-drivers-embedded-systems},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/ssv/DuanR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/RafkindWRF09,
author = {Jon Rafkind and
Adam Wick and
John Regehr and
Matthew Flatt},
editor = {Hillel Kolodner and
Guy L. Steele Jr.},
title = {Precise garbage collection for {C}},
booktitle = {Proceedings of the 8th International Symposium on Memory Management,
{ISMM} 2009, Dublin, Ireland, June 19-20, 2009},
pages = {39--48},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542431.1542438},
doi = {10.1145/1542431.1542438},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/RafkindWRF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/YangCR09,
author = {Xuejun Yang and
Nathan Cooprider and
John Regehr},
editor = {Christoph M. Kirsch and
Mahmut T. Kandemir},
title = {Eliminating the call stack to save {RAM}},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN/SIGBED} conference on Languages,
compilers, and tools for embedded systems, {LCTES} 2009, Dublin, Ireland,
June 19-20, 2009},
pages = {60--69},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542452.1542461},
doi = {10.1145/1542452.1542461},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/YangCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ChenGKLR09,
author = {Yang Chen and
Omprakash Gnawali and
Maria A. Kazandjieva and
Philip Alexander Levis and
John Regehr},
editor = {Jeanna Neefe Matthews and
Thomas E. Anderson},
title = {Surviving sensor network software faults},
booktitle = {Proceedings of the 22nd {ACM} Symposium on Operating Systems Principles
2009, {SOSP} 2009, Big Sky, Montana, USA, October 11-14, 2009},
pages = {235--246},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629575.1629598},
doi = {10.1145/1629575.1629598},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/ChenGKLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/CoopriderR08,
author = {Nathan Cooprider and
John Regehr},
title = {Using sequencing to trigger a better analysis},
journal = {{SIGBED} Rev.},
volume = {5},
number = {1},
pages = {9},
year = {2008},
url = {https://doi.org/10.1145/1366283.1366292},
doi = {10.1145/1366283.1366292},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/CoopriderR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/ChakravarthyRE08,
author = {Venkat Chakravarthy and
John Regehr and
Eric Eide},
editor = {Theo D'Hondt},
title = {Edicts: implementing features with flexible binding times},
booktitle = {Proceedings of the 7th International Conference on Aspect-Oriented
Software Development, {AOSD} 2008, Brussels, Belgium, March 31 - April
4, 2008},
pages = {108--119},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1353482.1353496},
doi = {10.1145/1353482.1353496},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/ChakravarthyRE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/EideR08,
author = {Eric Eide and
John Regehr},
editor = {Luca de Alfaro and
Jens Palsberg},
title = {Volatiles are miscompiled, and what to do about it},
booktitle = {Proceedings of the 8th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2008, Atlanta, GA, USA, October 19-24,
2008},
pages = {255--264},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1450058.1450093},
doi = {10.1145/1450058.1450093},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/EideR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lctrts/2008,
editor = {Kriszti{\'{a}}n Flautner and
John Regehr},
title = {Proceedings of the 2008 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ,
USA, June 12-13, 2008},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375657},
doi = {10.1145/1375657},
isbn = {978-1-60558-104-0},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/ArcherLR07,
author = {Will Archer and
Philip Alexander Levis and
John Regehr},
editor = {Tarek F. Abdelzaher and
Leonidas J. Guibas and
Matt Welsh},
title = {Interface contracts for TinyOS},
booktitle = {Proceedings of the 6th International Conference on Information Processing
in Sensor Networks, {IPSN} 2007, Cambridge, Massachusetts, USA, April
25-27, 2007},
pages = {158--165},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1236360.1236382},
doi = {10.1145/1236360.1236382},
timestamp = {Mon, 30 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipsn/ArcherLR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CoopriderR07,
author = {Nathan Cooprider and
John Regehr},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Offline compression for on-chip ram},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {363--372},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250776},
doi = {10.1145/1250734.1250776},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CoopriderR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SammapunLSR07,
author = {Usa Sammapun and
Insup Lee and
Oleg Sokolsky and
John Regehr},
editor = {Oleg Sokolsky and
Serdar Tasiran},
title = {Statistical Runtime Checking of Probabilistic Properties},
booktitle = {Runtime Verification, 7th International Workshop, {RV} 2007, Vancouver,
Canada, March 13, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4839},
pages = {164--175},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77395-5\_14},
doi = {10.1007/978-3-540-77395-5\_14},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/SammapunLSR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/CoopriderAEGR07,
author = {Nathan Cooprider and
Will Archer and
Eric Eide and
David Gay and
John Regehr},
editor = {Sanjay Jha},
title = {Efficient memory safety for TinyOS},
booktitle = {Proceedings of the 5th International Conference on Embedded Networked
Sensor Systems, SenSys 2007, Sydney, NSW, Australia, November 6-9,
2007},
pages = {205--218},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1322263.1322283},
doi = {10.1145/1322263.1322283},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sensys/CoopriderAEGR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/Regehr07,
author = {John Regehr},
editor = {Sang Hyuk Son and
Insup Lee and
Joseph Y.{-}T. Leung},
title = {Safe and Structured Use of Interrupts in Real-Time and Embedded Software},
booktitle = {Handbook of Real-Time and Embedded Systems},
publisher = {Chapman and Hall/CRC},
year = {2007},
url = {https://doi.org/10.1201/9781420011746.ch16},
doi = {10.1201/9781420011746.CH16},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/reference/crc/Regehr07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SokolskySRL07,
author = {Oleg Sokolsky and
Usa Sammapun and
John Regehr and
Insup Lee},
editor = {Bernd Finkbeiner and
Klaus Havelund and
Grigore Rosu and
Oleg Sokolsky},
title = {Runtime Verification for Wireless Sensor Network Applications},
booktitle = {Runtime Verification, 02.01. - 06.01.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07011},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1371},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/SokolskySRL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dsonline/Regehr06,
author = {John Regehr},
title = {From the Editor: Real-Time and Embedded Systems-Teaching Reliability},
journal = {{IEEE} Distributed Syst. Online},
volume = {7},
number = {5},
year = {2006},
url = {https://doi.org/10.1109/MDSO.2006.31},
doi = {10.1109/MDSO.2006.31},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dsonline/Regehr06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/RegehrCG06,
author = {John Regehr and
Nathan Cooprider and
David Gay},
editor = {Christian W. Probst},
title = {Atomicity and visibility in tiny embedded systems},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {2},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1215997},
doi = {10.1145/1215995.1215997},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/RegehrCG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/RegehrCAE06,
author = {John Regehr and
Nathan Cooprider and
Will Archer and
Eric Eide},
editor = {Christian W. Probst},
title = {Efficient type and memory safety for tiny embedded systems},
booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
San Jose, California, USA, October 22, 2006},
pages = {6},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1215995.1216001},
doi = {10.1145/1215995.1216001},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/RegehrCAE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/RegehrD06,
author = {John Regehr and
Usit Duongsaa},
editor = {Mary Jane Irwin and
Koen De Bosschere},
title = {Deriving abstract transfer functions for analyzing embedded software},
booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario,
Canada, June 14-16, 2006},
pages = {34--43},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134650.1134657},
doi = {10.1145/1134650.1134657},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/RegehrD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/CoopriderR06,
author = {Nathan Cooprider and
John Regehr},
editor = {Mary Jane Irwin and
Koen De Bosschere},
title = {Pluggable abstract domains for analyzing embedded software},
booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario,
Canada, June 14-16, 2006},
pages = {44--53},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134650.1134658},
doi = {10.1145/1134650.1134658},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/CoopriderR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RegehrC07,
author = {John Regehr and
Nathan Cooprider},
editor = {Ganesh Gopalakrishnan and
John O'Leary},
title = {Interrupt Verification via Thread Verification},
booktitle = {Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle,
WA, USA, August 21-22, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {9},
pages = {139--150},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.002},
doi = {10.1016/J.ENTCS.2007.04.002},
timestamp = {Fri, 27 Jan 2023 14:19:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RegehrC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/RegehrRW05,
author = {John Regehr and
Alastair Reid and
Kirk Webb},
title = {Eliminating stack overflow by abstract interpretation},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {4},
pages = {751--778},
year = {2005},
url = {https://doi.org/10.1145/1113830.1113833},
doi = {10.1145/1113830.1113833},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/RegehrRW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Regehr05,
author = {John Regehr},
editor = {Wayne H. Wolf},
title = {Random testing of interrupt-driven software},
booktitle = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM}
International Conference On Embedded Software, Proceedings},
pages = {290--298},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086228.1086282},
doi = {10.1145/1086228.1086282},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/Regehr05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/RegehrD05,
author = {John Regehr and
Usit Duongsaa},
editor = {Yunheung Paek and
Rajiv Gupta},
title = {Preventing interrupt overload},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'05), Chicago, Illinois,
USA, June 15-17, 2005},
pages = {50--58},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065910.1065918},
doi = {10.1145/1065910.1065918},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/RegehrD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/RegehrR04,
author = {John Regehr and
Alastair Reid},
editor = {Shubu Mukherjee and
Kathryn S. McKinley},
title = {{HOIST:} a system for automatically deriving static analyzers for
embedded systems},
booktitle = {Proceedings of the 11th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2004, Boston, MA, USA, October 7-13, 2004},
pages = {133--143},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1024393.1024410},
doi = {10.1145/1024393.1024410},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/RegehrR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/EideSRL04,
author = {Eric Eide and
Tim Stack and
John Regehr and
Jay Lepreau},
title = {Dynamic {CPU} Management for Real-Time, Middleware-Based Systems},
booktitle = {10th {IEEE} Real-Time and Embedded Technology and Applications Symposium
{(RTAS} 2004), 25-28 May 2004, Toronto, Canada},
pages = {286--295},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/RTTAS.2004.1317274},
doi = {10.1109/RTTAS.2004.1317274},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/EideSRL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/RegehrRW03,
author = {John Regehr and
Alastair Reid and
Kirk Webb},
editor = {Rajeev Alur and
Insup Lee},
title = {Eliminating Stack Overflow by Abstract Interpretation},
booktitle = {Embedded Software, Third International Conference, {EMSOFT} 2003,
Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2855},
pages = {306--322},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45212-6\_20},
doi = {10.1007/978-3-540-45212-6\_20},
timestamp = {Thu, 26 Jan 2023 14:05:53 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/RegehrRW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/RegehrRWPL03,
author = {John Regehr and
Alastair Reid and
Kirk Webb and
Michael A. Parker and
Jay Lepreau},
title = {Evolving real-time systems using hierarchical scheduling and concurrency
analysis},
booktitle = {Proceedings of the 24th {IEEE} Real-Time Systems Symposium {(RTSS}
2003), 3-5 December 2003, Cancun, Mexico},
pages = {25--36},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/REAL.2003.1253251},
doi = {10.1109/REAL.2003.1253251},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/RegehrRWPL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/EideRRL02,
author = {Eric Eide and
Alastair Reid and
John Regehr and
Jay Lepreau},
editor = {Will Tracz and
Michal Young and
Jeff Magee},
title = {Static and dynamic structure in design patterns},
booktitle = {Proceedings of the 24th International Conference on Software Engineering,
{ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
pages = {208--218},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581339.581367},
doi = {10.1145/581339.581367},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/EideRRL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Regehr02,
author = {John Regehr},
title = {Scheduling Tasks with Mixed Preemption Relations for Robustness to
Timing Faults},
booktitle = {Proceedings of the 23rd {IEEE} Real-Time Systems Symposium (RTSS'02),
Austin, Texas, USA, December 3-5, 2002},
pages = {315--326},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/REAL.2002.1181585},
doi = {10.1109/REAL.2002.1181585},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/Regehr02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/Regehr02,
author = {John Regehr},
editor = {Chris G. Demetriou},
title = {Inferring Scheduling Behavior with Hourglass},
booktitle = {Proceedings of the {FREENIX} Track: 2002 {USENIX} Annual Technical
Conference, June 10-15, 2002, Monterey, California, {USA}},
pages = {143--156},
publisher = {{USENIX}},
year = {2002},
url = {http://www.usenix.org/publications/library/proceedings/usenix02/tech/freenix/regehr.html},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/Regehr02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/RegehrL01,
author = {John Regehr and
Jay Lepreau},
editor = {Nicolas D. Georganas and
Radu Popescu{-}Zeletin and
Tzi{-}cker Chiueh and
Wolfgang Klas and
Aidong Zhang and
Vincent Oria},
title = {The case for using middleware to manage diverse soft real-time schedulers},
booktitle = {Proceedings of the 2001 International Workshop on Multimedia Middleware,
M3W, Ottawa, Ontario, Canada},
pages = {23--27},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/985135.985143},
doi = {10.1145/985135.985143},
timestamp = {Mon, 31 Jan 2022 17:50:27 +0100},
biburl = {https://dblp.org/rec/conf/mm/RegehrL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/RegehrS01,
author = {John Regehr and
John A. Stankovic},
title = {Augmented {CPU} Reservations: Towards Predictable Execution on General-Purpose
Operating System},
booktitle = {Proceedings of the 7th {IEEE} Real-Time Technology and Applications
Symposium {(RTAS} 2001), 30 May - 1 June 2001, Taipei, Taiwan},
pages = {141--148},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/RTTAS.2001.929880},
doi = {10.1109/RTTAS.2001.929880},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/RegehrS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/JonesRS01,
author = {Michael B. Jones and
John Regehr and
Stefan Saroiu},
title = {Two Case Studies in Predictable Application Scheduling Using Rialto/NT},
booktitle = {Proceedings of the 7th {IEEE} Real-Time Technology and Applications
Symposium {(RTAS} 2001), 30 May - 1 June 2001, Taipei, Taiwan},
pages = {157--164},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/RTTAS.2001.929882},
doi = {10.1109/RTTAS.2001.929882},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/JonesRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/RegehrS01,
author = {John Regehr and
John A. Stankovic},
title = {{HLS:} {A} Framework for Composing Soft Real-Time Schedulers},
booktitle = {Proceedings of the 22nd {IEEE} Real-Time Systems Symposium {(RTSS}
2001), London, UK, 2-6 December 2001},
pages = {3--14},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/REAL.2001.990591},
doi = {10.1109/REAL.2001.990591},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/RegehrS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/JonesR99,
author = {Michael B. Jones and
John Regehr},
editor = {Peter Druschel},
title = {The Problems You're Having May Not Be the Problems You Think You're
Having: Results from a Latency Study of Windows {NT}},
booktitle = {Proceedings of The Seventh Workshop on Hot Topics in Operating Systems,
HotOS-VII, Rio Rico, Arizona, USA, March 28-30, 1999},
pages = {96--101},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HOTOS.1999.798384},
doi = {10.1109/HOTOS.1999.798384},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/JonesR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/JonesR99,
author = {Michael B. Jones and
John Regehr},
title = {The Problems You're Having May Not Be the Problems You Think You're
Having: Results from a Latency Study of Windows {NT}},
booktitle = {Proceedings of the Fifth {IEEE} Real-Time Technology and Applications
Symposium, RTAS'99, Vancouver, British Columbia, Canada, June 2-4,
1999},
pages = {287},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/RTTAS.1999.777681},
doi = {10.1109/RTTAS.1999.777681},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/JonesR99.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-05-08 21:04 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:
