nbrefs.bib

@book{abelsonStructureInterpretationComputer1996,
  title = {Structure and {{Interpretation}} of {{Computer Programs}}},
  author = {Abelson, Harold and Sussman, Gerald J.},
  year = {1996},
  edition = {2nd},
  publisher = {MIT Press},
  address = {Cambridge, MA, USA},
  isbn = {0-262-01153-0}
}
@inproceedings{accettaMachNewKernel1986,
  title = {Mach: {{A New Kernel Foundation}} for {{UNIX Development}}},
  booktitle = {Proceedings of the {{USENIX Summer Technical Conference}}},
  author = {Accetta, Michael J. and Baron, Robert V. and Bolosky, William J. and Golub, David B. and Rashid, Richard F. and Tevanian, Avadis and Young, Michael},
  year = {1986},
  pages = {93--113}
}
@article{akidauDataflowModelPractical2015,
  title = {The {{Dataflow Model}}: {{A Practical Approach}} to {{Balancing Correctness}}, {{Latency}}, and {{Cost}} in {{Massive-scale}}, {{Unbounded}}, {{Out-of-order Data Processing}}},
  author = {Akidau, Tyler and Bradshaw, Robert and Chambers, Craig and Chernyak, Slava and {Fern{\'a}ndez-Moctezuma}, Rafael J. and Lax, Reuven and McVeety, Sam and Mills, Daniel and Perry, Frances and Schmidt, Eric and Whittle, Sam},
  year = {2015},
  month = aug,
  journal = {Proc. VLDB Endow.},
  volume = {8},
  number = {12},
  pages = {1792--1803},
  publisher = {VLDB Endowment},
  issn = {2150-8097},
  doi = {10.14778/2824032.2824076}
}
@misc{allenzhu2024physics,
  title = {Physics of Language Models: {{Part}} 3.3, Knowledge Capacity Scaling Laws},
  author = {{Allen-Zhu}, Zeyuan and Li, Yuanzhi},
  year = {2024},
  eprint = {2404.05405},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv},
  keywords = {LLM}
}
@article{andersonSchedulerActivationsEffective1992,
  title = {Scheduler {{Activations}}: {{Effective Kernel Support}} for the {{User-level Management}} of {{Parallelism}}},
  author = {Anderson, Thomas E. and Bershad, Brian N. and Lazowska, Edward D. and Levy, Henry M.},
  year = {1992},
  month = feb,
  journal = {ACM Transactions on Computer Systems},
  volume = {10},
  number = {1},
  pages = {53--79},
  publisher = {ACM},
  issn = {0734-2071}
}
@article{article,
  title = {How Not to Buy Happiness},
  author = {Frank, Robert},
  year = {2004},
  month = apr,
  journal = {Daedalus},
  volume = {133},
  pages = {69--79},
  doi = {10.1162/001152604323049415}
}
@misc{asai2023selfrag,
  title = {Self-{{RAG}}: {{Learning}} to Retrieve, Generate, and Critique through Self-Reflection},
  author = {Asai, Akari and Wu, Zeqiu and Wang, Yizhong and Sil, Avirup and Hajishirzi, Hannaneh},
  year = {2023},
  eprint = {2310.11511},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv},
  keywords = {RAG}
}
@book{austin2003chase,
  title = {Chase, Chance, and Creativity: {{The}} Lucky Art of Novelty},
  author = {Austin, James H},
  year = {2003},
  publisher = {Mit Press}
}
@article{azevedo2023novel,
  title = {A Novel Methodology for Developing Troubleshooting Chatbots Applied to {{ATM}} Technical Maintenance Support},
  author = {Azevedo, N{\'a}dila and Aquino, Gustavo and Nascimento, Leonardo and Camelo, Leonardo and Figueira, Thiago and Oliveira, Joel and Figueiredo, Ingrid and Printes, Andr{\'e} and Torn{\'e}, Israel and Figueiredo, Carlos},
  year = {2023},
  journal = {Applied Sciences},
  volume = {13},
  number = {11},
  pages = {6777},
  publisher = {MDPI}
}
@misc{bahdanau2016neural,
  title = {Neural Machine Translation by Jointly Learning to Align and Translate},
  author = {Bahdanau, Dzmitry and Cho, Kyunghyun and Bengio, Yoshua},
  year = {2016},
  eprint = {1409.0473},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv}
}
@inproceedings{bakke2016expressive,
  title = {Expressive Query Construction through Direct Manipulation of Nested Relational Results},
  booktitle = {Proceedings of the 2016 International Conference on Management of Data},
  author = {Bakke, Eirik and Karger, David R},
  year = {2016},
  pages = {1377--1392}
}
@inproceedings{bangaResourceContainersNew1999,
  title = {Resource Containers: A New Facility for Resource Management in Server Systems},
  booktitle = {Proceedings of the {{USENIX Symposium}} on {{Operating Systems Design}} and {{Implementation}}},
  author = {Banga, Gaurav and Druschel, Peter and Mogul, Jeffrey C.},
  year = {1999},
  pages = {45--58}
}
@inproceedings{barhamXenArtVirtualization2003,
  title = {Xen and the {{Art}} of {{Virtualization}}},
  booktitle = {Proceedings of the {{ACM Symposium}} on {{Operating Systems Principles}}},
  author = {Barham, Paul and Dragovic, Boris and Fraser, Keir and Hand, Steven and Harris, Tim and Ho, Alex and Neugebauer, Rolf and Pratt, Ian and Warfield, Andrew},
  year = {2003},
  pages = {164--177}
}
@inproceedings{barikExpressionsNatureSignificance2017,
  title = {Expressions on the Nature and Significance of Programming and Play},
  booktitle = {2017 {{IEEE Symposium}} on {{Visual Languages}} and {{Human-Centric Computing}} ({{VL}}/{{HCC}})},
  author = {Barik, Titus},
  year = {2017},
  pages = {145--153},
  publisher = {IEEE}
}
@article{barrault2023seamlessm4t,
  title = {{{SeamlessM4T-Massively}} Multilingual \& Multimodal Machine Translation},
  author = {Barrault, Lo{\"i}c and Chung, Yu-An and Meglioli, Mariano Cora and Dale, David and Dong, Ning and Duquenne, Paul-Ambroise and Elsahar, Hady and Gong, Hongyu and Heffernan, Kevin and Hoffman, John and others},
  year = {2023},
  journal = {arXiv preprint arXiv:2308.11596},
  eprint = {2308.11596},
  archiveprefix = {arxiv}
}
@inproceedings{baumannMultikernelNewOS2009,
  title = {The {{Multikernel}}: {{A}} New {{OS}} Architecture for Scalable Multicore Systems},
  booktitle = {Proceedings of the {{ACM Symposium}} on {{Operating Systems Principles}}},
  author = {Baumann, Andrew and Barham, Paul and Dagand, Pierre-Evariste and Harris, Tim and Isaacs, Rebecca and Peter, Simon and Roscoe, Timothy and Sch{\"u}pbach, Adrian and Singhania, Akhilesh},
  year = {2009},
  pages = {29--44}
}
@misc{belcak2023exponentially,
  title = {Exponentially Faster Language Modelling},
  author = {Belcak, Peter and Wattenhofer, Roger},
  year = {2023},
  eprint = {2311.10770},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv}
}
@inproceedings{bellardQEMUFastPortable2005,
  title = {{{QEMU}}, a {{Fast}} and {{Portable Dynamic Translator}}},
  booktitle = {Proceedings of the {{USENIX Annual Technical Conference}}, {{FREENIX Track}}},
  author = {Bellard, Fabrice},
  year = {2005},
  pages = {41--46}
}
@article{bershadLightweightRemoteProcedure1990,
  title = {Lightweight {{Remote Procedure Call}}},
  author = {Bershad, Brian N. and Anderson, Thomas E. and Lazowska, Edward D. and Levy, Henry M.},
  year = {1990},
  month = feb,
  journal = {ACM Transactions on Computer Systems},
  volume = {8},
  number = {1},
  pages = {37--55},
  publisher = {ACM},
  issn = {0734-2071}
}
@techreport{bershadSPINExtensibleMicrokernel1994,
  title = {{{SPIN}} - an Extensible Microkernel for Application-Specific Operating System Services},
  author = {Bershad, Brian N. and Chambers, Craig and Eggers, Susan and Maeda, Chris and Mcnamee, Dylan and Savage, Stefan and Sirer, Emin Gun},
  year = {1994},
  number = {TR 94-03-03},
  institution = {University of Washington}
}
@inproceedings{beugnardContractAwareComponents2010,
  title = {Contract {{Aware Components}}, 10 Years After},
  booktitle = {{{WCSI}}},
  author = {Beugnard, Antoine and Jezequel, Jean-Marc and Plouzeau, Noel},
  editor = {Camara, Javier and Canal, Carlos and Salaun, Gwen},
  year = {2010},
  series = {{{EPTCS}}},
  volume = {37},
  pages = {1--11},
  keywords = {dblp}
}
@article{beugnardMakingComponentsContract1999,
  title = {Making {{Components Contract Aware}}},
  author = {Beugnard, Antoine and J{\'e}z{\'e}quel, Jean-Marc and Plouzeau, No{\"e}l and Watkins, Damien},
  year = {1999},
  month = jul,
  journal = {Computer},
  volume = {32},
  number = {7},
  pages = {38--45},
  publisher = {IEEE Computer Society Press},
  address = {Los Alamitos, CA, USA},
  issn = {0018-9162},
  doi = {10.1109/2.774917}
}
@inproceedings{blanco-cuaresmaWhatCanProgramming2017,
  title = {What Can the Programming Language {{Rust}} Do for Astrophysics?},
  booktitle = {Astroinformatics},
  author = {{Blanco-Cuaresma}, S. and Bolmont, E.},
  editor = {Brescia, M. and Djorgovski, S. G. and Feigelson, E. D. and Longo, G. and Cavuoti, S.},
  year = {2017},
  month = jun,
  series = {{{IAU Symposium}}},
  volume = {325},
  pages = {341--344},
  doi = {10.1017/S1743921316013168},
  keywords = {exoplanets,N-Body,programming languages,Rust,simulations}
}
@inproceedings{boehmQuantitativeEvaluationSoftware1976,
  title = {Quantitative Evaluation of Software Quality},
  booktitle = {Proceedings of the 2nd International Conference on {{Software}} Engineering},
  author = {Boehm, Barry W and Brown, James R and Lipow, Mlity},
  year = {1976},
  pages = {592--605},
  publisher = {IEEE Computer Society Press}
}
@article{boehmThreadsCannotBe2005,
  title = {Threads {{Cannot Be Implemented}} as a {{Library}}},
  author = {Boehm, Hans J.},
  editor = {Hall, Mary},
  year = {2005},
  month = jun,
  journal = {ACM SIGPLAN Notices},
  volume = {40},
  number = {6},
  pages = {261--268},
  publisher = {ACM},
  address = {New York, NY, USA},
  issn = {0362-1340},
  doi = {10.1145/1064978.1065042},
  abstract = {In many environments, multi-threaded code is written in a language that was originally designed without thread support (e.g. C), to which a library of threading primitives was subsequently added. There appears to be a general understanding that this is not the right approach. We provide specific arguments that a pure library approach, in which the compiler is designed independently of threading issues, cannot guarantee correctness of the resulting code.We first review why the approach almost works, and then examine some of the surprising behavior it may entail. We further illustrate that there are very simple cases in which a pure library-based approach seems incapable of expressing an efficient parallel algorithm.Our discussion takes place in the context of C with Pthreads, since it is commonly used, reasonably well specified, and does not attempt to ensure type-safety, which would entail even stronger constraints. The issues we raise are not specific to that context.},
  keywords = {c,implementation,language,operatingsystem,programming,semantics,thread}
}
@inproceedings{bonwickSlabAllocatorObjectCaching1994,
  title = {The {{Slab Allocator}}: {{An Object-Caching Kernel Memory Allocator}}},
  booktitle = {Proceedings of the {{USENIX Summer Technical Conference}}},
  author = {Bonwick, Jeff},
  year = {1994},
  pages = {87--98}
}
@misc{bonwickZFSLastWord2005,
  title = {{{ZFS}}: {{The Last Word}} in {{Filesystems}}},
  author = {Bonwick, Jeff},
  year = {2005},
  month = oct
}
@article{braccialiFormalApproachComponent2005,
  title = {A Formal Approach to Component Adaptation},
  author = {Bracciali, Andrea and Brogi, Antonio and Canal, Carlos},
  year = {2005},
  journal = {Journal of Systems and Software},
  volume = {74},
  number = {1},
  pages = {45--54},
  publisher = {Elsevier}
}
@article{brooksNoSilverBullet1987,
  title = {No {{Silver Bullet}}: {{Essence}} and {{Accidents}} of {{Software Engineering}}},
  author = {Brooks, Frederick P.},
  year = {1987},
  month = apr,
  journal = {Computer},
  volume = {20},
  number = {4},
  pages = {10--19},
  publisher = {IEEE Computer Society Press},
  address = {Los Alamitos, CA, USA},
  issn = {0018-9162},
  doi = {10.1109/mc.1987.1663532},
  abstract = {First Page of the Article},
  keywords = {software_engineering}
}
@misc{brown2020language,
  title = {Language Models Are Few-Shot Learners},
  author = {Brown, Tom B. and Mann, Benjamin and Ryder, Nick and Subbiah, Melanie and Kaplan, Jared and Dhariwal, Prafulla and Neelakantan, Arvind and Shyam, Pranav and Sastry, Girish and Askell, Amanda and Agarwal, Sandhini and {Herbert-Voss}, Ariel and Krueger, Gretchen and Henighan, Tom and Child, Rewon and Ramesh, Aditya and Ziegler, Daniel M. and Wu, Jeffrey and Winter, Clemens and Hesse, Christopher and Chen, Mark and Sigler, Eric and Litwin, Mateusz and Gray, Scott and Chess, Benjamin and Clark, Jack and Berner, Christopher and McCandlish, Sam and Radford, Alec and Sutskever, Ilya and Amodei, Dario},
  year = {2020},
  eprint = {2005.14165},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv}
}
@misc{bubeckSparksArtificialGeneral2023,
  title = {Sparks of {{Artificial General Intelligence}}: {{Early}} Experiments with {{GPT-4}}},
  author = {Bubeck, S{\'e}bastien and Chandrasekaran, Varun and Eldan, Ronen and Gehrke, Johannes and Horvitz, Eric and Kamar, Ece and Lee, Peter and Lee, Yin Tat and Li, Yuanzhi and Lundberg, Scott and Nori, Harsha and Palangi, Hamid and Ribeiro, Marco Tulio and Zhang, Yi},
  year = {2023}
}
@misc{bulatovScalingTransformer1M2023,
  title = {Scaling {{Transformer}} to {{1M}} Tokens and beyond with {{RMT}}},
  author = {Bulatov, Aydar and Kuratov, Yuri and Burtsev, Mikhail S.},
  year = {2023}
}
@phdthesis{byrdRelationalProgrammingMinikanren2010,
  title = {Relational Programming in Minikanren: Techniques, Applications, and Implementations},
  author = {Byrd, William E.},
  year = {2010},
  school = {Indiana University},
  keywords = {*file-import-13-06-09}
}
@article{cardelliTypeSystems1996,
  title = {Type Systems},
  author = {Cardelli, Luca},
  year = {1996},
  month = mar,
  journal = {ACM Comput. Surv.},
  volume = {28},
  number = {1},
  pages = {263--264},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/234313.234418},
  keywords = {*file-import-13-06-09}
}
@book{CarpCommonAddress2003,
  title = {Carp -- {{Common Address Redundancy Protocol}}},
  year = {2003},
  month = oct,
  publisher = {NetBSD Kernel Interfaces Manual}
}
@article{chandyCaltechInfospheresProject1996,
  title = {Caltech Infospheres Project Overview: {{Information}} Infrastructures for Task Forces},
  author = {Chandy, K Mani},
  year = {1996},
  journal = {Computer Science},
  volume = {256},
  pages = {80},
  publisher = {Citeseer}
}
@article{chandyDistributedSnapshotsDetermining1985,
  title = {Distributed Snapshots: Determining Global States of Distributed Systems},
  author = {Chandy, K Mani and Lamport, Leslie},
  year = {1985},
  journal = {ACM Transactions on Computer Systems (TOCS)},
  volume = {3},
  number = {1},
  pages = {63--75},
  publisher = {ACM}
}
@inproceedings{chandySenseRespondSystems2005,
  title = {Sense and Respond Systems},
  booktitle = {{{CMG-CONFERENCE-}}},
  author = {Chandy, K Mani},
  year = {2005},
  volume = {1},
  pages = {59},
  publisher = {Computer Measurement Group; 1997}
}
@article{chaseSharingProtectionSingleAddressSpace1994,
  title = {Sharing and {{Protection}} in a {{Single-Address-Space Operating System}}},
  author = {Chase, Jeffrey S. and Levy, Henry M. and Feeley, Michael J. and Lazowska, Edward D.},
  year = {1994},
  journal = {ACM Transactions on Computer Systems},
  volume = {12},
  number = {4},
  pages = {271--307},
  publisher = {ACM},
  issn = {0734-2071}
}
@misc{chaudharySkippingBoringParts2022,
  title = {Skipping the Boring Parts of Building a Database Using {{FoundationDB}}},
  author = {Chaudhary, Himank},
  year = {2022},
  month = sep,
  urldate = {2023-07-03},
  howpublished = {https://www.tigrisdata.com/blog/building-a-database-using-foundationdb/}
}
@article{chen2021codex,
  title = {Evaluating Large Language Models Trained on Code},
  author = {Chen, Mark and Tworek, Jerry and Jun, Heewoo and Yuan, Qiming and {de Oliveira Pinto}, Henrique Ponde and Kaplan, Jared and Edwards, Harri and Burda, Yuri and Joseph, Nicholas and Brockman, Greg and Ray, Alex and Puri, Raul and Krueger, Gretchen and Petrov, Michael and Khlaaf, Heidy and Sastry, Girish and Mishkin, Pamela and Chan, Brooke and Gray, Scott and Ryder, Nick and Pavlov, Mikhail and Power, Alethea and Kaiser, Lukasz and Bavarian, Mohammad and Winter, Clemens and Tillet, Philippe and Such, Felipe Petroski and Cummings, Dave and Plappert, Matthias and Chantzis, Fotios and Barnes, Elizabeth and {Herbert-Voss}, Ariel and Guss, William Hebgen and Nichol, Alex and Paino, Alex and Tezak, Nikolas and Tang, Jie and Babuschkin, Igor and Balaji, Suchir and Jain, Shantanu and Saunders, William and Hesse, Christopher and Carr, Andrew N. and Leike, Jan and Achiam, Josh and Misra, Vedant and Morikawa, Evan and Radford, Alec and Knight, Matthew and Brundage, Miles and Murati, Mira and Mayer, Katie and Welinder, Peter and McGrew, Bob and Amodei, Dario and McCandlish, Sam and Sutskever, Ilya and Zaremba, Wojciech},
  year = {2021},
  eprint = {2107.03374},
  primaryclass = {cs.LG},
  archiveprefix = {arxiv}
}
@misc{chen2023chatgpts,
  title = {{{ChatGPT}}'s One-Year Anniversary: {{Are}} Open-Source Large Language Models Catching Up?},
  author = {Chen, Hailin and Jiao, Fangkai and Li, Xingxuan and Qin, Chengwei and Ravaut, Mathieu and Zhao, Ruochen and Xiong, Caiming and Joty, Shafiq},
  year = {2023},
  eprint = {2311.16989},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv}
}
@misc{chen2023endtoend,
  title = {End-to-End Autonomous Driving: {{Challenges}} and Frontiers},
  author = {Chen, Li and Wu, Penghao and Chitta, Kashyap and Jaeger, Bernhard and Geiger, Andreas and Li, Hongyang},
  year = {2023},
  eprint = {2306.16927},
  primaryclass = {cs.RO},
  archiveprefix = {arxiv}
}
@misc{chen2024selfplay,
  title = {Self-Play Fine-Tuning Converts Weak Language Models to Strong Language Models},
  author = {Chen, Zixiang and Deng, Yihe and Yuan, Huizhuo and Ji, Kaixuan and Gu, Quanquan},
  year = {2024},
  eprint = {2401.01335},
  primaryclass = {cs.LG},
  archiveprefix = {arxiv}
}
@article{cheney2008nominal,
  title = {Nominal Logic Programming},
  author = {Cheney, James and Urban, Christian},
  year = {2008},
  journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume = {30},
  number = {5},
  pages = {1--47},
  publisher = {ACM New York, NY, USA}
}
@article{cheneyNominalLogicProgramming2006,
  title = {Nominal {{Logic Programming}}},
  author = {Cheney, James and Urban, Christian},
  year = {2006},
  journal = {CoRR},
  volume = {abs/cs/0609062}
}
@inproceedings{chouEmpiricalStudyOperating2001,
  title = {An {{Empirical Study}} of {{Operating Systems Errors}}},
  booktitle = {Proceedings of the {{ACM Symposium}} on {{Operating Systems Principles}}},
  author = {Chou, Andy and Yang, Junfeng and Chelf, Benjamin and Hallem, Seth and Engler, Dawson},
  year = {2001},
  pages = {73--88},
  publisher = {ACM},
  address = {Banff, Alberta, Canada}
}
@misc{chung2022scaling,
  title = {Scaling Instruction-Finetuned Language Models},
  author = {Chung, Hyung Won and Hou, Le and Longpre, Shayne and Zoph, Barret and Tay, Yi and Fedus, William and Li, Yunxuan and Wang, Xuezhi and Dehghani, Mostafa and Brahma, Siddhartha and Webson, Albert and Gu, Shixiang Shane and Dai, Zhuyun and Suzgun, Mirac and Chen, Xinyun and Chowdhery, Aakanksha and {Castro-Ros}, Alex and Pellat, Marie and Robinson, Kevin and Valter, Dasha and Narang, Sharan and Mishra, Gaurav and Yu, Adams and Zhao, Vincent and Huang, Yanping and Dai, Andrew and Yu, Hongkun and Petrov, Slav and Chi, Ed H. and Dean, Jeff and Devlin, Jacob and Roberts, Adam and Zhou, Denny and Le, Quoc V. and Wei, Jason},
  year = {2022},
  eprint = {2210.11416},
  primaryclass = {cs.LG},
  archiveprefix = {arxiv}
}
@article{clausetPowerlawDistributionsEmpirical2009,
  title = {Power-Law Distributions in Empirical Data},
  author = {Clauset, Aaron and Shalizi, Cosma R. and Newman, M. E. J.},
  year = {2009},
  month = feb,
  journal = {SIAM Review},
  volume = {51},
  number = {4},
  pages = {661--703},
  issn = {0036-1445},
  doi = {10.1137/070710111},
  abstract = {Power-law distributions occur in many situations of scientific interest and have significant consequences for our understanding of natural and man-made phenomena. Unfortunately, the detection and characterization of power laws is complicated by the large fluctuations that occur in the tail of the distribution -- the part of the distribution representing large but rare events -- and by the difficulty of identifying the range over which power-law behavior holds. Commonly used methods for analyzing power-law data, such as least-squares fitting, can produce substantially inaccurate estimates of parameters for power-law distributions, and even in cases where such methods return accurate answers they are still unsatisfactory because they give no indication of whether the data obey a power law at all. Here we present a principled statistical framework for discerning and quantifying power-law behavior in empirical data. Our approach combines maximum-likelihood fitting methods with goodness-of-fit tests based on the Kolmogorov-Smirnov statistic and likelihood ratios. We evaluate the effectiveness of the approach with tests on synthetic data and give critical comparisons to previous approaches. We also apply the proposed methods to twenty-four real-world data sets from a range of different disciplines, each of which has been conjectured to follow a power-law distribution. In some cases we find these conjectures to be consistent with the data while in others the power law is ruled out.},
  keywords = {machine-learning}
}
@article{cohenLogicProgrammingConstraint1996,
  title = {Logic Programming and Constraint Logic Programming},
  author = {Cohen, Jacques},
  year = {1996},
  month = mar,
  journal = {ACM Comput. Surv.},
  volume = {28},
  pages = {257--259},
  publisher = {ACM},
  address = {New York, NY, USA},
  issn = {0360-0300},
  doi = {10.1145/234313.234416},
  abstract = {An abstract is not available.},
  keywords = {history,logic-programming,programming-languages,survey}
}
@techreport{costelloRedesigningBSDCallout1995,
  title = {Redesigning the {{BSD Callout}} and {{Timer Facilities}}},
  author = {Costello, Adam M. and Varghese, George},
  year = {1995},
  number = {WUCS-95-23},
  institution = {Washington University}
}
@phdthesis{cranorDesignImplementationUVM1998,
  title = {Design and {{Implementation}} of the {{UVM Virtual Memory System}}},
  author = {Cranor, Charles D.},
  year = {1998},
  school = {Washington University}
}
@inproceedings{czerwinskiArchitectureSecureService1999,
  title = {An {{Architecture}} for a {{Secure Service Discovery Service}}},
  booktitle = {Proceedings of the 5th {{MobiCom}}},
  author = {Czerwinski, Steven E. and Zhao, Ben Y. and Hodes, Todd D. and Joseph, Anthony D. and Katz, Randy H.},
  year = {1999},
  pages = {24--35}
}
@techreport{dabrowskiModelbasedAnalysisFirstgeneration2005,
  title = {A Model-Based Analysis of First-Generation Service Discovery Systems},
  author = {Dabrowski, Christopher and Mills, Kevin L and Quirolgico, Stephen},
  year = {2005},
  institution = {DTIC Document}
}
@misc{daoTailProtectionLong2016,
  type = {{{SSRN Scholarly Paper}}},
  title = {Tail {{Protection}} for {{Long Investors}}: {{Trend Convexity}} at {{Work}}},
  shorttitle = {Tail {{Protection}} for {{Long Investors}}},
  author = {Dao, Tung-Lam and Nguyen, Trung-Tu and Deremble, Cyril and Lemperiere, Yves and Bouchaud, Jean-Philippe and Potters, Marc},
  year = {2016},
  month = may,
  number = {2777657},
  address = {Rochester, NY},
  doi = {10.2139/ssrn.2777657},
  urldate = {2023-07-13},
  abstract = {The performance of trend following strategies can be ascribed to the difference between long-term and short-term realized variance. We revisit this general result and show that it holds for various definitions of trend strategies. This explains the positive convexity of the aggregate performance of Commodity Trading Advisors (CTAs) which -- when adequately measured -- turns out to be much stronger than anticipated. We also highlight interesting connections with so-called Risk Parity portfolios. Finally, we propose a new portfolio of strangle options that provides a pure exposure to the long-term variance of the underlying, offering yet another viewpoint on the link between trend and volatility.},
  langid = {english},
  keywords = {Convexity,CTA,Option Hedging,Protection,Risk Parity,Tail Risk,Trend Following,Variance Swap,Volatility},
  file = {/Users/pradeep/Zotero/storage/4AIPMJUI/Dao et al. - 2016 - Tail Protection for Long Investors Trend Convexit.pdf}
}
@misc{dasModelAlignmentProcess2024,
  title = {Model {{Alignment Process}}},
  author = {Das, Sayantan},
  year = {2024},
  month = mar,
  journal = {Prem},
  urldate = {2024-03-31},
  abstract = {The alignment of generative models with human feedback has significantly improved the performance of natural language generation tasks. For large language models (LLMs), alignment methods like reinforcement learning from human feedback (RLHF) and direct preference optimization (DPO) have consistently worked better than just supervised fine-tuning (SFT) alone based on current},
  howpublished = {https://blog.premai.io/model-alignment-process/},
  langid = {english},
  file = {/Users/pradeep/Zotero/storage/HEXEU9YG/model-alignment-process.html}
}
@inproceedings{dawidekPortingZFSFile2007,
  title = {Porting the {{ZFS}} File System to the {{FreeBSD}} Operating System},
  booktitle = {Proceedings of {{AsiaBSDCon}}},
  author = {Dawidek, Pawel Jakub},
  year = {2007},
  pages = {97--103}
}
@misc{DDEDDEKit,
  title = {{{DDE}}/{{DDEKit}}}
}
@article{deanMapReduceSimplifiedData2008,
  title = {{{MapReduce}}: Simplified Data Processing on Large Clusters},
  author = {Dean, Jeffrey and Ghemawat, Sanjay},
  year = {2008},
  journal = {Communications of the ACM},
  volume = {51},
  number = {1},
  pages = {107--113},
  publisher = {ACM}
}
@inproceedings{dellerLinkingProgramsSingle1999,
  title = {Linking {{Programs}} in a {{Single Address Space}}},
  booktitle = {Proceedings of the {{USENIX Annual Technical Conference}}},
  author = {Deller, Luke and Heiser, Gernot},
  year = {1999},
  pages = {283--294}
}
@incollection{dentonNAOMIExperimentalPlatform2008,
  title = {{{NAOMI}}--an Experimental Platform for Multi--Modeling},
  booktitle = {Model {{Driven Engineering Languages}} and {{Systems}}},
  author = {Denton, Trip and Jones, Edward and Srinivasan, Srini and Owens, Ken and Buskens, Richard W},
  year = {2008},
  pages = {143--157},
  publisher = {Springer}
}
@book{desmedtModelingCreativity2013,
  title = {Modeling {{Creativity}}},
  author = {De Smedt, Tom},
  year = {2013},
  publisher = {Uitgeverij UPA University Press Antwerp}
}
@phdthesis{desnoyersLowImpactOperatingSystem2009,
  title = {Low-{{Impact Operating System Tracing}}},
  author = {Desnoyers, Mathieu},
  year = {2009},
  month = dec,
  school = {Ecole Polytechnique de Montr{\'e}al}
}
@article{desnoyersUserLevelImplementationsReadCopy2012,
  title = {User-{{Level Implementations}} of {{Read-Copy Update}}},
  author = {Desnoyers, Mathieu and McKenney, Paul E. and Stern, Alan S. and Dagenais, Michel R. and Walpole, Jonathan},
  year = {2012},
  journal = {IEEE Transactions on Parallel and Distributed Systems},
  volume = {23},
  number = {2},
  pages = {375--382}
}
@inproceedings{dikeUsermodePortLinux2001,
  title = {A User-Mode Port of the {{Linux}} Kernel},
  booktitle = {Proceedings of the {{Atlanta Linux Showcase}}},
  author = {Dike, Jeff},
  year = {2001}
}
@techreport{dindaMinetTCPIP2002,
  title = {The {{Minet TCP}}/{{IP Stack}}},
  author = {Dinda, Peter},
  year = {2002},
  month = jan,
  number = {NWU-CS-02-08},
  institution = {Northwestern University Department of Computer Science}
}
@inproceedings{dowdeswellCryptoGraphicDiskDriver2003,
  title = {The {{CryptoGraphic Disk Driver}}},
  booktitle = {Proceedings of the {{USENIX Annual Technical Conference}}, {{FREENIX Track}}},
  author = {Dowdeswell, Roland C. and Ioannidis, John},
  year = {2003},
  pages = {179--186}
}
@book{downeyThinkComplexityComplexity2012,
  title = {Think {{Complexity}}: {{Complexity Science}} and {{Computational Modeling}}},
  author = {Downey, Allen B},
  year = {2012},
  publisher = {O'Reilly Media}
}
@techreport{dravesUnifyingUserKernel1997,
  title = {Unifying the {{User}} and {{Kernel Environments}}},
  author = {Draves, Richard and Cutshall, Scott},
  year = {1997},
  number = {MSR-TR-97-10},
  institution = {Microsoft}
}
@misc{drepperWhatEveryProgrammer2007,
  title = {What {{Every Programmer Should Know About Memory}}},
  author = {Drepper, Ulrich},
  year = {2007},
  abstract = {As CPU cores become both faster and more numerous, the limiting factor for most programs is now, and will be for some time, memory access. Hardware designers have come up with ever more sophisticated memory handling and acceleration techniques{\^a}€“such as CPU caches{\^a}€“but these cannot work optimally without some help from the programmer. Unfortunately, neither the structure nor the cost of using the memory subsystem of a computer or the caches on CPUs is well understood by most programmers. This paper explains the structure of memory subsystems in use on modern commodity hardware, illustrating why CPU caches were developed, how they work, and what programs should do to achieve optimal performance by utilizing them.},
  keywords = {hardware,linux,memory,unix}
}
@misc{driscollMakingDataStructures1989,
  title = {Making {{Data Structures Persistent}}},
  author = {Driscoll, James R. and Sarnak, Neil and Sleator, Daniel D. and Tarjan, Robert E.},
  year = {1989}
}
@techreport{dunkelsDesignImplementationLwIP2001,
  title = {Design and {{Implementation}} of the {{lwIP TCP}}/{{IP Stack}}},
  author = {Dunkels, Adam},
  year = {2001},
  institution = {Swedish Institute of Computer Science}
}
@inproceedings{durumericMatterHeartbleed2014,
  title = {The {{Matter}} of {{Heartbleed}}},
  booktitle = {Proceedings of the 2014 {{Conference}} on {{Internet Measurement Conference}}},
  author = {Durumeric, Zakir and Kasten, James and Adrian, David and Halderman, J. Alex and Bailey, Michael and Li, Frank and Weaver, Nicolas and Amann, Johanna and Beekman, Jethro and Payer, Mathias and Paxson, Vern},
  year = {2014},
  series = {{{IMC}} '14},
  pages = {475--488},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/2663716.2663755},
  isbn = {978-1-4503-3213-2},
  keywords = {heartbleed,internet-wide scanning,openssl,security}
}
@phdthesis{dybvigThreeImplementationModels1987,
  title = {Three {{Implementation Models}} for {{Scheme}}},
  author = {Dybvig, R. Kent},
  year = {1987},
  month = apr,
  address = {Chapel Hill},
  school = {University of North Carolina}
}
@misc{E2fsprogsExt2Filesystem,
  title = {E2fsprogs: {{Ext2}}/3/4 {{Filesystem Utilities}}}
}
@misc{economopoulosPeekDragonFlyVirtual2007,
  title = {A {{Peek}} at the {{DragonFly Virtual Kernel}}},
  author = {Economopoulos, Aggelos},
  year = {2007},
  annotation = {Published: LWN.net}
}
@article{efron250yearArgumentBelief2013,
  title = {A 250-Year Argument: {{Belief}}, Behavior, and the Bootstrap},
  author = {Efron, Bradley},
  year = {2013},
  journal = {Bulletin of the American Mathematical Society},
  volume = {50},
  number = {1},
  pages = {129--146}
}
@article{efronBootstrapMethodsAnother1979,
  title = {Bootstrap Methods: Another Look at the Jackknife},
  author = {Efron, Bradley},
  year = {1979},
  journal = {The annals of Statistics},
  pages = {1--26},
  publisher = {JSTOR}
}
@misc{eldanTinyStoriesHowSmall2023,
  title = {{{TinyStories}}: {{How Small Can Language Models Be}} and {{Still Speak Coherent English}}?},
  author = {Eldan, Ronen and Li, Yuanzhi},
  year = {2023}
}
@inproceedings{elyAlpineUserLevelInfrastructure2001,
  title = {Alpine: {{A User-Level Infrastructure}} for {{Network Protocol Development}}},
  booktitle = {Proceedings of the {{USENIX Symposium}} on {{Internet Technologies}} and {{Systems}}},
  author = {Ely, David and Savage, Stefan and Wetherall, David},
  year = {2001},
  pages = {171--184}
}
@misc{elzaAzlenAzlenMe,
  title = {Azlen/Azlen.Me},
  author = {Elza, Azlen},
  journal = {GitHub},
  urldate = {2023-07-03},
  abstract = {Source code of azlen.me, that implmenets Andy Matuschak's Evergreen Notes style website.},
  howpublished = {https://github.com/azlen/azlen.me},
  langid = {english},
  file = {/Users/pradeep/Zotero/storage/3RATA6X7/azlen.html}
}
@inproceedings{englerExokernelOperatingSystem1995,
  title = {Exokernel: {{An Operating System Architecture}} for {{Application-Level Resource Management}}},
  booktitle = {Proceedings of the {{ACM Symposium}} on {{Operating Systems Principles}}},
  author = {Engler, Dawson R. and Kaashoek, M. Frans and Jr, James O'Toole},
  year = {1995},
  pages = {251--266}
}
@book{felleisenHowDesignPrograms2001,
  title = {How to Design Programs: An Introduction to Programming and Computing},
  author = {Felleisen, Matthias},
  year = {2001},
  publisher = {The MIT Press}
}
@inproceedings{fordFluxOSKitSubstrate1997,
  title = {The {{Flux OSKit}}: {{A Substrate}} for {{OS}} and {{Language Research}}},
  booktitle = {Proceedings of the {{ACM Symposium}} on {{Operating Systems Principles}}},
  author = {Ford, Bryan and Back, Godmar and Benson, Greg and Lepreau, Jay and Lin, Albert and Shivers, Olin},
  year = {1997},
  pages = {38--51}
}
@inproceedings{fordVx32LightweightUserlevel2008,
  title = {Vx32: {{Lightweight User-level Sandboxing}} on the X86},
  booktitle = {Proceedings of the {{USENIX Annual Technical Conference}}},
  author = {Ford, Bryan and Cox, Russ},
  year = {2008},
  pages = {293--306}
}
@misc{ForthProgrammingLanguage,
  title = {Forth: {{The}} Programming Language That Writes Itself: {{The Web Page}}},
  shorttitle = {Forth},
  urldate = {2023-07-16},
  abstract = {An exploration of the evolution and meaning of the Forth programming language and its context in history.},
  howpublished = {http://ratfactor.com/forth/the\_programming\_language\_that\_writes\_itself.html},
  langid = {english},
  keywords = {forth,programming},
  file = {/Users/pradeep/Zotero/storage/ERURMZGV/the_programming_language_that_writes_itself.html}
}
@article{fosterAnatomyGridEnabling2001,
  title = {The Anatomy of the Grid: {{Enabling}} Scalable Virtual Organizations},
  author = {Foster, Ian and Kesselman, Carl and Tuecke, Steven},
  year = {2001},
  journal = {International journal of high performance computing applications},
  volume = {15},
  number = {3},
  pages = {200--222},
  publisher = {Sage Publications}
}
@article{fosterPhysiologyGrid2003,
  title = {The Physiology of the Grid},
  author = {Foster, Ian and Kesselman, Carl and Nick, Jeffrey M and Tuecke, Steven},
  year = {2003},
  journal = {Grid computing: making the global infrastructure a reality},
  pages = {217--249}
}
@article{foxCloudsBerkeleyView2009,
  title = {Above the Clouds: {{A Berkeley}} View of Cloud Computing},
  author = {Fox, Armando and Griffith, Rean and Joseph, A and Katz, R and Konwinski, A and Lee, G and Patterson, D and Rabkin, A and Stoica, I},
  year = {2009},
  journal = {Dept. Electrical Eng. and Comput. Sciences, University of California, Berkeley, Rep. UCB/EECS},
  volume = {28}
}
@article{fukudaHumanVariationOverriding2009,
  title = {Human Variation in Overriding Attentional Capture},
  author = {Fukuda, Keisuke and Vogel, Edward K},
  year = {2009},
  journal = {The Journal of Neuroscience},
  volume = {29},
  number = {27},
  pages = {8726--8733},
  publisher = {Soc Neuroscience}
}
@misc{Fuseext2,
  title = {Fuse-Ext2}
}
@inproceedings{gamageCompositionalTrustModel2012,
  title = {A {{Compositional Trust Model}} for {{Predicting}} the {{Trust Value}} of {{Software System QoS Properties}}},
  booktitle = {Computational {{Science}} and {{Engineering}} ({{CSE}}), 2012 {{IEEE}} 15th {{International Conference}} On},
  author = {Gamage, Dimuthu U and Gallege, Lahiru S and Hill, James H and Raje, Rajeev R},
  year = {2012},
  pages = {610--617},
  publisher = {IEEE}
}
@article{gangerFastFlexibleApplicationlevel2002,
  title = {Fast and {{Flexible Application-level Networking}} on {{Exokernel Systems}}},
  author = {Ganger, Gregory R. and Engler, Dawson R. and Kaashoek, M. Frans and Brice{\~n}o, Hector M. and Hunt, Russell and Pinckney, Thomas},
  year = {2002},
  month = feb,
  journal = {ACM Trans. Comput. Syst.},
  volume = {20},
  number = {1},
  pages = {49--83},
  publisher = {ACM},
  address = {New York, NY, USA},
  issn = {0734-2071},
  doi = {10.1145/505452.505455},
  keywords = {Extensible systems,fast servers,network services,OS structure}
}
@misc{gao2024retrievalaugmented,
  title = {Retrieval-Augmented Generation for Large Language Models: {{A}} Survey},
  author = {Gao, Yunfan and Xiong, Yun and Gao, Xinyu and Jia, Kangxiang and Pan, Jinliu and Bi, Yuxi and Dai, Yi and Sun, Jiawei and Wang, Meng and Wang, Haofen},
  year = {2024},
  eprint = {2312.10997},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv},
  keywords = {GPT,LLM,RAG}
}
@inproceedings{gardenghiViewOSNewUnifying2008,
  title = {View-{{OS}}: {{A New Unifying Approach Against}} the {{Global View Assumption}}},
  booktitle = {Proceedings of the 8th {{International Conference}} on {{Computational Science}}, {{Part I}}},
  author = {Gardenghi, Ludovico and Goldweber, Michael and Davoli, Renzo},
  year = {2008},
  pages = {287--296}
}
@inproceedings{garfinkelWhenVirtualHarder2005,
  title = {When {{Virtual}} Is {{Harder}} than {{Real}}: {{Security Challenges}} in {{Virtual Machine Based Computing Environments}}},
  booktitle = {Proceedings of the {{Workshop}} on {{Hot Topics}} in {{Operating Systems}}},
  author = {Garfinkel, Tal and Rosenblum, Mendel},
  year = {2005}
}
@misc{gelmanInductionDeductionBayesian2011,
  title = {Induction and {{Deduction}} in {{Bayesian Data Analysis}}},
  author = {Gelman, Andrew},
  year = {2011}
}
@inproceedings{gingellSharedLibrariesSunOS1987,
  title = {Shared {{Libraries}} in {{SunOS}}},
  booktitle = {Proceedings of the {{USENIX Summer Technical Conference}}},
  author = {Gingell, Robert A. and Lee, Meng and Dang, Xuong T. and Weeks, Mary S.},
  year = {1987},
  pages = {375--390}
}
@misc{gunasekar2023textbooks,
  title = {Textbooks Are All You Need},
  author = {Gunasekar, Suriya and Zhang, Yi and Aneja, Jyoti and Mendes, Caio C{\'e}sar Teodoro and Giorno, Allie Del and Gopi, Sivakanth and Javaheripi, Mojan and Kauffmann, Piero and {de Rosa}, Gustavo and Saarikivi, Olli and Salim, Adil and Shah, Shital and Behl, Harkirat Singh and Wang, Xin and Bubeck, S{\'e}bastien and Eldan, Ronen and Kalai, Adam Tauman and Lee, Yin Tat and Li, Yuanzhi},
  year = {2023},
  eprint = {2306.11644},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv}
}
@misc{gustafssonNetBSDcurrentI386Build,
  title = {{{NetBSD-current}}/I386 Build Status},
  author = {Gustafsson, Andreas}
}
@misc{hacksKnowledgeWorkersAre2012,
  title = {Knowledge {{Workers}} Are {{Bad}} at {{Working}} (and {{Here}}'s {{What}} to {{Do About It}}...)},
  author = {Hacks, Study},
  year = {2012},
  month = nov,
  journal = {Cal Newport},
  urldate = {2023-07-27},
  abstract = {An Inconvenient Observation Knowledge workers are bad at working. I say this because unlike every other skilled labor class in the history of skilled labor, ... Read more},
  langid = {american},
  file = {/Users/pradeep/Zotero/storage/6XYWEVWS/knowledge-workers-are-bad-at-working-and-heres-what-to-do-about-it.html}
}
@article{hallSevenMythsFormal1990,
  title = {Seven Myths of Formal Methods},
  author = {Hall, Anthony},
  year = {1990},
  journal = {Software, IEEE},
  volume = {7},
  number = {5},
  pages = {11--19},
  publisher = {IEEE}
}
@inproceedings{hanOntologyenhancedCloudService2010,
  title = {An Ontology-Enhanced Cloud Service Discovery System},
  booktitle = {Proceedings of the {{International MultiConference}} of {{Engineers}} and {{Computer Scientists}}},
  author = {Han, Taekgyeong and Sim, Kwang Mong},
  year = {2010},
  volume = {1}
}
@book{harveySimplySchemeIntroducing1999,
  title = {Simply {{Scheme}}: Introducing Computer Science},
  author = {Harvey, Brian and Wright, Matthew},
  year = {1999},
  publisher = {The MIT press}
}
@article{heiserMungiSingleAddressSpaceOperating1998,
  title = {The {{Mungi Single-Address-Space Operating System}}},
  author = {Heiser, Gernot and Elphinstone, Kevin and Vochteloo, Jerry and Russell, Stephen and Liedtke, Jochen},
  year = {1998},
  month = jul,
  journal = {Software: Practice and Experience},
  volume = {28},
  number = {9},
  pages = {901--928}
}
@mastersthesis{helanderUnixMachLites1994,
  title = {Unix under {{Mach}}: {{The Lites Server}}},
  author = {Helander, Johannes},
  year = {1994},
  school = {Helsinki University of Technology}
}
@misc{hendrycks2021measuring,
  title = {Measuring Massive Multitask Language Understanding},
  author = {Hendrycks, Dan and Burns, Collin and Basart, Steven and Zou, Andy and Mazeika, Mantas and Song, Dawn and Steinhardt, Jacob},
  year = {2021},
  eprint = {2009.03300},
  primaryclass = {cs.CY},
  archiveprefix = {arxiv}
}
@misc{hennessyPassiveSerializationMultitasking1989,
  title = {Passive {{Serialization}} in a {{Multitasking Environment}}},
  author = {Hennessy, James P. and Osisek, Damian L. and II, Joseph W. Seigh},
  year = {1989},
  month = feb,
  publisher = {{US Patent and Trademark Office}}
}
@article{herderMINIXHighlyReliable2006,
  title = {{{MINIX}} 3: A Highly Reliable, Self-Repairing Operating System.},
  author = {Herder, Jorrit N. and Bos, Herbert and Gras, Ben and Homburg, Philip and Tanenbaum, Andrew S.},
  year = {2006},
  journal = {ACM SIGOPS Operating Systems Review},
  volume = {40},
  number = {3},
  pages = {80--89}
}
@inproceedings{hiblerLargescaleVirtualizationEmulab2008,
  title = {Large-Scale {{Virtualization}} in the {{Emulab Network Testbed}}},
  booktitle = {Proceedings of the {{USENIX Annual Technical Conference}}},
  author = {Hibler, Mike and Ricci, Robert and Stoller, Leigh and Duerig, Jonathon and Guruprasad, Shashi and Stack, Tim and Webb, Kirk and Lepreau, Jay},
  year = {2008},
  pages = {113--128}
}
@inproceedings{hildebrandArchitecturalOverviewQNX1992,
  title = {An {{Architectural Overview}} of {{QNX}}},
  booktitle = {Proceedings of the {{Workshop}} on {{Micro-kernels}} and {{Other Kernel Architectures}}},
  author = {Hildebrand, Dan},
  year = {1992},
  pages = {113--126},
  publisher = {USENIX Association}
}
@misc{hoffmann2022training,
  title = {Training Compute-Optimal Large Language Models},
  author = {Hoffmann, Jordan and Borgeaud, Sebastian and Mensch, Arthur and Buchatskaya, Elena and Cai, Trevor and Rutherford, Eliza and {de Las Casas}, Diego and Hendricks, Lisa Anne and Welbl, Johannes and Clark, Aidan and Hennigan, Tom and Noland, Eric and Millican, Katie and {van den Driessche}, George and Damoc, Bogdan and Guy, Aurelia and Osindero, Simon and Simonyan, Karen and Elsen, Erich and Rae, Jack W. and Vinyals, Oriol and Sifre, Laurent},
  year = {2022},
  eprint = {2203.15556},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv}
}
@misc{HowBuildWebsite,
  title = {How to Build a Website without Frameworks and Tons of Libraries},
  journal = {Koding Kitty},
  urldate = {2023-07-04},
  abstract = {A simple toolchain that Koding Kitty uses for building its web.},
  howpublished = {https://www.kodingkitty.com/blog/how-to-build-a-website/},
  langid = {english},
  file = {/Users/pradeep/Zotero/storage/P3X5Z6HK/how-to-build-a-website.html}
}
@article{hsuehFaultInjectionTechniques1997,
  title = {Fault {{Injection Techniques}} and {{Tools}}},
  author = {Hsueh, Mei-Chen and Tsai, Timothy K. and Iyer, Ravishankar K.},
  year = {1997},
  journal = {IEEE Computer},
  volume = {30},
  number = {4},
  pages = {75--82}
}
@misc{hu2021lora,
  title = {{{LoRA}}: {{Low-rank}} Adaptation of Large Language Models},
  author = {Hu, Edward J. and Shen, Yelong and Wallis, Phillip and {Allen-Zhu}, Zeyuan and Li, Yuanzhi and Wang, Shean and Wang, Lu and Chen, Weizhu},
  year = {2021},
  eprint = {2106.09685},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv}
}
@article{hughesWhyFunctionalProgramming1984,
  title = {Why {{Functional Programming Matters}}},
  author = {Hughes, John},
  year = {1984},
  journal = {The Computer Journal},
  volume = {32},
  pages = {98--107}
}
@article{huntSingularityRethinkingSoftware2007,
  title = {Singularity: Rethinking the Software Stack},
  author = {Hunt, Galen C. and Larus, James R.},
  year = {2007},
  journal = {ACM SIGOPS Operating Systems Review},
  volume = {41},
  number = {2},
  pages = {37--49},
  publisher = {ACM}
}
@inproceedings{idziorek2023distributed,
  title = {Distributed Transactions at Scale in Amazon \{\vphantom\}{{DynamoDB}}\vphantom\{\}},
  booktitle = {2023 {{USENIX}} Annual Technical Conference ({{USENIX ATC}} 23)},
  author = {Idziorek, Joseph and Keyes, Alex and Lazier, Colin and Perianayagam, Somu and Ramanathan, Prithvi and Sorenson III, James Christopher and Terry, Doug and Vig, Akshat},
  year = {2023},
  pages = {705--717},
  keywords = {toread}
}
@misc{jeong2024adaptiverag,
  title = {Adaptive-{{RAG}}: {{Learning}} to Adapt Retrieval-Augmented Large Language Models through Question Complexity},
  author = {Jeong, Soyeong and Baek, Jinheon and Cho, Sukmin and Hwang, Sung Ju and Park, Jong C.},
  year = {2024},
  eprint = {2403.14403},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv}
}
@misc{jiang2023mistral,
  title = {Mistral {{7B}}},
  author = {Jiang, Albert Q. and Sablayrolles, Alexandre and Mensch, Arthur and Bamford, Chris and Chaplot, Devendra Singh and {de las Casas}, Diego and Bressand, Florian and Lengyel, Gianna and Lample, Guillaume and Saulnier, Lucile and Lavaud, L{\'e}lio Renard and Lachaux, Marie-Anne and Stock, Pierre and Scao, Teven Le and Lavril, Thibaut and Wang, Thomas and Lacroix, Timoth{\'e}e and Sayed, William El},
  year = {2023},
  eprint = {2310.06825},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv}
}
@inproceedings{jiangSODAServiceOnDemandArchitecture2003,
  title = {{{SODA}}: {{A Service-On-Demand Architecture}} for {{Application Service Hosting Utility Platforms}}},
  booktitle = {Proceedings of the 12th {{IEEE International Symposium}} on {{High Performance Distributed Computing}}},
  author = {Jiang, Xuxian and Xu, Dongyan},
  year = {2003},
  pages = {174--183}
}
@book{johnsonTwoCompanyThree2007,
  title = {Two's Company, Three Is Complexity : A Simple Guide to the Science of All Sciences},
  author = {Johnson, Neil},
  year = {2007},
  publisher = {Oneworld},
  address = {Oxford},
  isbn = {978-1-85168-488-5}
}
@inproceedings{kaashoekApplicationPerformanceFlexibility1997a,
  title = {Application {{Performance}} and {{Flexibility}} on {{Exokernel Systems}}},
  booktitle = {Proceedings of the {{ACM Symposium}} on {{Operating Systems Principles}}},
  author = {Kaashoek, M. Frans and Engler, Dawson R. and Ganger, Gregory R. and Briceno, Hector M. and Hunt, Russell and Mazi{\`e}res, David and Pinckney, Thomas and Grimm, Robert and Jannotti, John and Mackenzie, Kenneth},
  year = {1997},
  pages = {52--65}
}
@inproceedings{kampJailsConfiningOmnipotent2000,
  title = {Jails: {{Confining}} the Omnipotent Root},
  booktitle = {Proceedings of {{SANE Conference}}},
  author = {Kamp, Poul-Henning and Watson, Robert N. M.},
  year = {2000}
}
@inproceedings{kanteeEnvironmentalIndependenceBSD2009,
  title = {Environmental {{Independence}}: {{BSD Kernel TCP}}/{{IP}} in {{Userspace}}},
  booktitle = {Proceedings of {{AsiaBSDCon}}},
  author = {Kantee, Antti},
  year = {2009},
  pages = {71--80}
}
@article{kanteeFlexibleOperatingSystem2012,
  title = {Flexible Operating System Internals: The Design and Implementation of the Anykernel and Rump Kernels},
  author = {Kantee, Antti and others},
  year = {2012},
  publisher = {Aalto University}
}
@inproceedings{kanteePuffsPasstoUserspaceFramework2007,
  title = {Puffs - {{Pass-to-Userspace Framework File System}}},
  booktitle = {Proceedings of {{AsiaBSDCon}}},
  author = {Kantee, Antti},
  year = {2007},
  pages = {29--42}
}
@inproceedings{kanteeRumpDeviceDrivers2010,
  title = {Rump {{Device Drivers}}: {{Shine On You Kernel Diamond}}},
  booktitle = {Proceedings of {{AsiaBSDCon}}},
  author = {Kantee, Antti},
  year = {2010},
  pages = {75--84}
}
@inproceedings{kanteeRumpFileSystems2009,
  title = {Rump {{File Systems}}: {{Kernel Code Reborn}}},
  booktitle = {Proceedings of the {{USENIX Annual Technical Conference}}},
  author = {Kantee, Antti},
  year = {2009},
  pages = {201--214}
}
@misc{kaplan2020scaling,
  title = {Scaling Laws for Neural Language Models},
  author = {Kaplan, Jared and McCandlish, Sam and Henighan, Tom and Brown, Tom B. and Chess, Benjamin and Child, Rewon and Gray, Scott and Radford, Alec and Wu, Jeffrey and Amodei, Dario},
  year = {2020},
  eprint = {2001.08361},
  primaryclass = {cs.LG},
  archiveprefix = {arxiv}
}
@article{kemperTechnicalPerspectiveFoundationDB2023,
  title = {Technical {{Perspective}}: {{FoundationDB Performs Balancing Act}}},
  author = {Kemper, Alfons},
  year = {2023},
  month = may,
  journal = {Commun. ACM},
  volume = {66},
  number = {6},
  pages = {96},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  issn = {0001-0782},
  doi = {10.1145/3592837}
}
@article{kernighanCodeTestingIts2006,
  title = {Code {{Testing}} and {{Its Role}} in {{Teaching}}},
  author = {Kernighan, Brian},
  year = {2006},
  month = apr,
  journal = {;login: The USENIX Magazine},
  volume = {31},
  number = {2},
  pages = {9--18}
}
@misc{khattab2023dspy,
  title = {{{DSPy}}: {{Compiling}} Declarative Language Model Calls into Self-Improving Pipelines},
  author = {Khattab, Omar and Singhvi, Arnav and Maheshwari, Paridhi and Zhang, Zhiyuan and Santhanam, Keshav and Vardhamanan, Sri and Haq, Saiful and Sharma, Ashutosh and Joshi, Thomas T. and Moazam, Hanna and Miller, Heather and Zaharia, Matei and Potts, Christopher},
  year = {2023},
  eprint = {2310.03714},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv}
}
@misc{kim2021conditional,
  title = {Conditional Variational Autoencoder with Adversarial Learning for End-to-End Text-to-Speech},
  author = {Kim, Jaehyeon and Kong, Jungil and Son, Juhee},
  year = {2021},
  eprint = {2106.06103},
  primaryclass = {cs.SD},
  archiveprefix = {arxiv}
}
@misc{kirillov2023segment,
  title = {Segment Anything},
  author = {Kirillov, Alexander and Mintun, Eric and Ravi, Nikhila and Mao, Hanzi and Rolland, Chloe and Gustafson, Laura and Xiao, Tete and Whitehead, Spencer and Berg, Alexander C. and Lo, Wan-Yen and Doll{\'a}r, Piotr and Girshick, Ross},
  year = {2023},
  eprint = {2304.02643},
  primaryclass = {cs.CV},
  archiveprefix = {arxiv}
}
@inproceedings{kleimanVnodesArchitectureMultiple1986,
  title = {Vnodes: {{An Architecture}} for {{Multiple File System Types}} in {{Sun UNIX}}},
  booktitle = {Proceedings of the {{USENIX Annual Technical Conference}}},
  author = {Kleiman, Steve R.},
  year = {1986},
  pages = {238--247}
}
@book{krishnamurthiProgrammingLanguagesApplication2007,
  title = {Programming Languages: {{Application}} and Interpretation},
  author = {Krishnamurthi, Shriram},
  year = {2007},
  publisher = {Shriram Krishnamurthi}
}
@article{kuschewski2023btrblocks,
  title = {{{BtrBlocks}}: {{Efficient}} Columnar Compression for Data Lakes},
  author = {Kuschewski, Maximilian and Sauerwein, David and Alhomssi, Adnan and Leis, Viktor},
  year = {2023},
  journal = {Proceedings of the ACM on Management of Data},
  volume = {1},
  number = {2},
  pages = {1--26},
  publisher = {ACM New York, NY, USA}
}
@misc{lambert2024rewardbench,
  title = {{{RewardBench}}: {{Evaluating}} Reward Models for Language Modeling},
  author = {Lambert, Nathan and Pyatkin, Valentina and Morrison, Jacob and Miranda, {\relax LJ} and Lin, Bill Yuchen and Chandu, Khyathi and Dziri, Nouha and Kumar, Sachin and Zick, Tom and Choi, Yejin and Smith, Noah A. and Hajishirzi, Hannaneh},
  year = {2024},
  eprint = {2403.13787},
  primaryclass = {cs.LG},
  archiveprefix = {arxiv},
  keywords = {LLM,Reward Models}
}
@article{lamportTimeClocksOrdering1978,
  title = {Time, Clocks, and the Ordering of Events in a Distributed System},
  author = {Lamport, Leslie},
  year = {1978},
  journal = {Communications of the ACM},
  volume = {21},
  number = {7},
  pages = {558--565},
  publisher = {ACM}
}
@article{lampsonHintsComputerSystem1983,
  title = {Hints for {{Computer System Design}}},
  author = {Lampson, Butler W.},
  year = {1983},
  journal = {ACM SIGOPS Operating Systems Review},
  volume = {17},
  number = {5},
  pages = {33--48}
}
@misc{lee2024gecko,
  title = {Gecko: {{Versatile}} Text Embeddings Distilled from Large Language Models},
  author = {Lee, Jinhyuk and Dai, Zhuyun and Ren, Xiaoqi and Chen, Blair and Cer, Daniel and Cole, Jeremy R. and Hui, Kai and Boratko, Michael and Kapadia, Rajvi and Ding, Wen and Luan, Yi and Duddu, Sai Meher Karthik and Abrego, Gustavo Hernandez and Shi, Weiqiang and Gupta, Nithi and Kusupati, Aditya and Jain, Prateek and Jonnalagadda, Siddhartha Reddy and Chang, Ming-Wei and Naim, Iftekhar},
  year = {2024},
  eprint = {2403.20327},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv},
  keywords = {LLM,Text Embeddings}
}
@misc{leheyDebuggingKernelProblems2006,
  title = {Debugging Kernel Problems},
  author = {Lehey, Greg},
  year = {2006}
}
@inproceedings{leslieWombatPortableUserMode2005,
  title = {Wombat: {{A Portable User-Mode Linux}} for {{Embedded Systems}}},
  booktitle = {Proceedings of the 6th {{Linux}}.{{Conf}}.{{Au}}},
  author = {Leslie, Ben and van Schaik, Carl and Heiser, Gernot},
  year = {2005}
}
@inproceedings{levasseurUnmodifiedDeviceDriver2004,
  title = {Unmodified {{Device Driver Reuse}} and {{Improved System Dependability Via Virtual Machines}}},
  booktitle = {Proceedings of the 6th {{USENIX Symposium}} on {{Operating Systems Design}} and {{Implementation}}},
  author = {LeVasseur, Joshua and Uhlig, Volkmar and Stoess, Jan and G{\"o}tz, Stefan},
  year = {2004},
  pages = {17--30}
}
@misc{li2024agents,
  title = {More Agents Is All You Need},
  author = {Li, Junyou and Zhang, Qin and Yu, Yangbin and Fu, Qiang and Ye, Deheng},
  year = {2024},
  eprint = {2402.05120},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv},
  keywords = {llm}
}
@misc{LibguestfsToolsAccessing,
  title = {Libguestfs: Tools for Accessing and Modifying Virtual Machine Disk Images}
}
@inproceedings{liedtkeImprovingIPCKernel1993,
  title = {Improving {{IPC}} by {{Kernel Design}}},
  booktitle = {Proceedings of the {{ACM Symposium}} on {{Operating Systems Principles}}},
  author = {Liedtke, Jochen},
  year = {1993},
  pages = {175--188}
}
@inproceedings{liedtkeMKernelConstruction1995,
  title = {On {$\mu$}-{{Kernel Construction}}},
  booktitle = {Proceedings of the {{ACM Symposium}} on {{Operating Systems Principles}}},
  author = {Liedtke, Jochen},
  year = {1995},
  pages = {237--250}
}
@misc{LLaMANowGoes,
  title = {{{LLaMA Now Goes Faster}} on {{CPUs}}},
  urldate = {2024-04-01},
  abstract = {I wrote 84 new matmul kernels to improve llamafile CPU performance.},
  howpublished = {https://justine.lol/matmul/},
  langid = {english},
  file = {/Users/pradeep/Zotero/storage/U6WZHD77/matmul.html}
}
@misc{louppe2015understanding,
  title = {Understanding Random Forests: {{From}} Theory to Practice},
  author = {Louppe, Gilles},
  year = {2015},
  eprint = {1407.7502},
  primaryclass = {stat.ML},
  archiveprefix = {arxiv}
}
@inproceedings{madhavapeddyJitsuJustintimeSummoning2015,
  title = {Jitsu: {{Just-in-time Summoning}} of {{Unikernels}}},
  booktitle = {Proceedings of the 12th {{USENIX Conference}} on {{Networked Systems Design}} and {{Implementation}}},
  author = {Madhavapeddy, Anil and Leonard, Thomas and Skjegstad, Magnus and Gazagnaire, Thomas and Sheets, David and Scott, Dave and Mortier, Richard and Chaudhry, Amir and Singh, Balraj and Ludlam, Jon and Crowcroft, Jon and Leslie, Ian},
  year = {2015},
  series = {{{NSDI}}'15},
  pages = {559--573},
  publisher = {USENIX Association},
  address = {Berkeley, CA, USA},
  isbn = {978-1-931971-21-8}
}
@article{madhavapeddyUnikernelsLibraryOperating2013,
  title = {Unikernels: {{Library Operating Systems}} for the {{Cloud}}},
  author = {Madhavapeddy, Anil and Mortier, Richard and Rotsos, Charalampos and Scott, David and Singh, Balraj and Gazagnaire, Thomas and Smith, Steven and Hand, Steven and Crowcroft, Jon},
  year = {2013},
  month = mar,
  journal = {SIGPLAN Not.},
  volume = {48},
  number = {4},
  pages = {461--472},
  publisher = {ACM},
  address = {New York, NY, USA},
  issn = {0362-1340},
  doi = {10.1145/2499368.2451167},
  keywords = {functional programming,hypervisor,microkernel}
}
@inproceedings{madhavapeddyUnikernelsLibraryOperating2013a,
  title = {Unikernels: {{Library Operating Systems}} for the {{Cloud}}},
  booktitle = {Proceedings of the {{Eighteenth International Conference}} on {{Architectural Support}} for {{Programming Languages}} and {{Operating Systems}}},
  author = {Madhavapeddy, Anil and Mortier, Richard and Rotsos, Charalampos and Scott, David and Singh, Balraj and Gazagnaire, Thomas and Smith, Steven and Hand, Steven and Crowcroft, Jon},
  year = {2013},
  series = {{{ASPLOS}} '13},
  pages = {461--472},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/2451116.2451167},
  isbn = {978-1-4503-1870-9},
  keywords = {functional programming,hypervisor,microkernel}
}
@misc{martin-lofIntuitionisticTheoryTypes1998,
  title = {An Intuitionistic Theory of Types},
  author = {{Martin-L{\"o}f}, Per},
  year = {1998},
  publisher = {Citeseer}
}
@inproceedings{martinsClickOSArtNetwork2014,
  title = {{{ClickOS}} and the {{Art}} of {{Network Function Virtualization}}},
  booktitle = {Proceedings of the 11th {{USENIX Conference}} on {{Networked Systems Design}} and {{Implementation}}},
  author = {Martins, Joao and Ahmed, Mohamed and Raiciu, Costin and Olteanu, Vladimir and Honda, Michio and Bifulco, Roberto and Huici, Felipe},
  year = {2014},
  series = {{{NSDI}}'14},
  pages = {459--473},
  publisher = {USENIX Association},
  address = {Berkeley, CA, USA},
  isbn = {978-1-931971-09-6}
}
@misc{matzSystemApplicationBinary2010,
  title = {System {{V Application Binary Interface}}, {{AMD64 Architecture Processor Supplement}}, {{Draft Version}} 0.99.5},
  author = {Matz, Michael and Hubi{\v c}ka, Jan and Jaeger, Andreas and Mitchell, Mark},
  year = {2010}
}
@book{mauroSolarisInternalsCore2001,
  title = {Solaris {{Internals}}: {{Core Kernel Architecture}}},
  author = {Mauro, Jim and McDougall, Richard},
  year = {2001},
  publisher = {Sun Microsystems, Inc.},
  isbn = {0-13-022496-0}
}
@inproceedings{mccanneBSDPacketFilter1993,
  title = {The {{BSD}} Packet Filter: A New Architecture for User-Level Packet Capture},
  booktitle = {Proceedings of the {{USENIX Winter Technical Conference}}},
  author = {McCanne, Steven and Jacobson, Van},
  year = {1993},
  pages = {259--269}
}
@phdthesis{mckenneyExploitingDeferredDestruction2004,
  title = {Exploiting {{Deferred Destruction}}: {{An Analysis}} of {{Read-Copy-Update Techniques}} in {{Operating System Kernels}}},
  author = {McKenney, Paul E.},
  year = {2004},
  school = {OGI School of Science and Engineering at Oregon Health and Sciences University}
}
@inproceedings{mckusickDesignGeneralPurpose1988,
  title = {Design of a {{General Purpose Memory Allocator}} for the 4.{{3BSD UNIX Kernel}}},
  booktitle = {Proceedings of the {{USENIX Summer Technical Conference}}},
  author = {McKusick, Marshall Kirk and Karels, Michael J.},
  year = {1988},
  pages = {295--304}
}
@book{mckusickDesignImplementation4BSD1996,
  title = {The {{Design}} and {{Implementation}} of the 4.{{4BSD Operating System}}},
  author = {McKusick, Marshall Kirk and Bostic, Keith and Karels, Michael J. and Quarterman, John S.},
  year = {1996},
  publisher = {Addison Wesley},
  isbn = {0-201-54979-4}
}
@article{mckusickFastFileSystem1984,
  title = {A {{Fast File System}} for {{UNIX}}},
  author = {McKusick, Marshall K. and Joy, William N. and Leffler, Samuel J. and Fabry, Robert S.},
  year = {1984},
  journal = {Computer Systems},
  volume = {2},
  number = {3},
  pages = {181--197}
}
@inproceedings{mckusickJournaledSoftupdates2010,
  title = {Journaled {{Soft-updates}}},
  booktitle = {Proceedings of {{EuroBSDCon}} 2010},
  author = {McKusick, Marshall Kirk and Roberson, Jeffery},
  year = {2010}
}
@inproceedings{mckusickSoftUpdatesTechnique1999,
  title = {Soft {{Updates}}: {{A Technique}} for {{Eliminating Most Synchronous Writes}} in the {{Fast Filesystem}}},
  booktitle = {Proceedings of the {{USENIX Annual Technical Conference}}},
  author = {McKusick, Marshall Kirk and Ganger, Gregory R.},
  year = {1999},
  pages = {1--17}
}
@article{mcshaneBlindingUsObvious2016,
  title = {Blinding {{Us}} to the {{Obvious}}? {{The Effect}} of {{Statistical Training}} on the {{Evaluation}} of {{Evidence}}},
  author = {McShane, Blakeley B. and Gal, David},
  year = {2016},
  journal = {Management Science},
  volume = {62},
  number = {6},
  pages = {1707--1718},
  doi = {10.1287/mnsc.2015.2212},
  abstract = {Statistical training helps individuals analyze and interpret data. However, the emphasis placed on null hypothesis significance testing in academic training and reporting may lead researchers to interpret evidence dichotomously rather than continuously. Consequently, researchers may either disregard evidence that fails to attain statistical significance or undervalue it relative to evidence that attains statistical significance. Surveys of researchers across a wide variety of fields (including medicine, epidemiology, cognitive science, psychology, business, and economics) show that a substantial majority does indeed do so. This phenomenon is manifest both in researchers{\^a}€™ interpretations of descriptions of evidence and in their likelihood judgments. Dichotomization of evidence is reduced though still present when researchers are asked to make decisions based on the evidence, particularly when the decision outcome is personally consequential. Recommendations are offered. This paper was accepted by Yuval Rottenstreich, judgment and decision making.}
}
@misc{merinoAutomatedTestingFramework,
  title = {Automated {{Testing Framework}}},
  author = {Merino, Julio}
}
@inproceedings{mewburnBuildShCrossbuilding2003,
  title = {Build.Sh: {{Cross-building NetBSD}}},
  booktitle = {Proceedings of the {{USENIX BSD Conference}}},
  author = {Mewburn, Luke and Green, Matthew},
  year = {2003},
  pages = {47--56}
}
@misc{mewburnPrivateCommunication2009,
  title = {Private Communication},
  author = {Mewburn, Luke},
  year = {2009},
  month = apr
}
@inproceedings{millerKerberosAuthenticationAuthorization1988,
  title = {Kerberos {{Authentication}} and {{Authorization System}}},
  booktitle = {Project {{Athena Technical Plan}}},
  author = {Miller, S. P. and Neuman, B. C. and Schiller, J. I. and Saltzer, J. H.},
  year = {1988}
}
@inproceedings{millerResponseTimeMancomputer1968,
  title = {Response Time in Man-Computer Conversational Transactions},
  booktitle = {Proceedings of the {{Fall Joint Computer Conference}}},
  author = {Miller, Robert B.},
  year = {1968},
  series = {{{AFIPS}} ({{Fall}}, Part {{I}})},
  pages = {267--277},
  address = {San Francisco, California}
}
@techreport{minnichMetherSystemDistributed1993,
  title = {The {{Mether System}}: {{Distributed Shared Memory}} for {{SunOS}} 4.0},
  author = {Minnich, Ronald G. and Farber, David J.},
  year = {1993},
  month = feb,
  number = {MS-CIS-93-24},
  institution = {{University of Pennsylvania Department of Computer and Information Science}}
}
@misc{moritz2018ray,
  title = {Ray: {{A}} Distributed Framework for Emerging {{AI}} Applications},
  author = {Moritz, Philipp and Nishihara, Robert and Wang, Stephanie and Tumanov, Alexey and Liaw, Richard and Liang, Eric and Elibol, Melih and Yang, Zongheng and Paul, William and Jordan, Michael I. and Stoica, Ion},
  year = {2018},
  eprint = {1712.05889},
  primaryclass = {cs.DC},
  archiveprefix = {arxiv}
}
@article{mullenderAmoebaDistributedOperating1990,
  title = {Amoeba: {{A Distributed Operating System}} for the 1990s},
  author = {Mullender, Sape J. and van Rossum, Guido and Tanenbaum, Andrew S. and van Renesse, Robbert and van Staveren, Hans},
  year = {1990},
  journal = {Computer},
  volume = {23},
  number = {5},
  pages = {44--53},
  issn = {0018-9162}
}
@inproceedings{murrayNaiadTimelyDataflow2013,
  title = {Naiad: A Timely Dataflow System},
  booktitle = {Proceedings of the {{Twenty-Fourth ACM Symposium}} on {{Operating Systems Principles}}},
  author = {Murray, Derek G and McSherry, Frank and Isaacs, Rebecca and Isard, Michael and Barham, Paul and Abadi, Mart{\'i}n},
  year = {2013},
  pages = {439--455}
}
@inproceedings{musuvathiModelCheckingLarge2004,
  title = {Model {{Checking Large Network Protocol Implementations}}},
  booktitle = {Proceedings of the {{USENIX Symposium}} on {{Networked Systems Design}} and {{Implementation}}},
  author = {Musuvathi, Madanlal and Engler, Dawson R.},
  year = {2004},
  pages = {155--168}
}
@misc{mutte-mailclientMuttEmailClient,
  title = {Mutt {{Email Client}}},
  author = {{Mutt E-Mail Client}}
}
@misc{nanzComparativeStudyProgramming2014,
  title = {A {{Comparative Study}} of {{Programming Languages}} in {{Rosetta Code}}},
  author = {Nanz, Sebastian and Furia, Carlo A.},
  year = {2014}
}
@book{NdisNDISMiniport2010,
  title = {Ndis -- {{NDIS}} Miniport Driver Wrapper},
  year = {2010},
  month = mar,
  publisher = {FreeBSD Kernel Interfaces Manual}
}
@misc{netbsdprojectNetBSDProject,
  title = {{{NetBSD Project}}},
  author = {{NetBSD Project}}
}
@inproceedings{nethercoteValgrindFrameworkHeavyweight2007,
  title = {Valgrind: {{A Framework}} for {{Heavyweight Dynamic Binary Instrumentation}}},
  booktitle = {Proceedings of the {{ACM SIGPLAN Conference}} on {{Programming Language Design}} and {{Implementation}}},
  author = {Nethercote, Nicholas and Seward, Julian},
  year = {2007},
  pages = {89--100}
}
@misc{niemiMtools2007,
  title = {Mtools},
  author = {Niemi, David and Knaff, Alain},
  year = {2007}
}
@book{nordstromProgrammingMartinLofType1990,
  title = {Programming in {{Martin-L{\"o}f}}'s Type Theory},
  author = {Nordstr{\"o}m, Bengt and Petersson, Kent and Smith, Jan M},
  year = {1990},
  volume = {200},
  publisher = {Oxford University Press Oxford}
}
@techreport{okasakiPurelyFunctionalData1998,
  title = {Purely {{Functional Data Structures}}},
  author = {Okasaki, Chris},
  year = {1998},
  institution = {CMU}
}
@misc{opensshOpenSSH,
  title = {{{OpenSSH}}},
  author = {{OpenSSH}}
}
@article{ostrandDistributionFaultsLarge2002,
  title = {The {{Distribution}} of {{Faults}} in a {{Large Industrial Software System}}},
  author = {Ostrand, Thomas J. and Weyuker, Elaine J.},
  year = {2002},
  month = jul,
  journal = {SIGSOFT Softw. Eng. Notes},
  volume = {27},
  number = {4},
  pages = {55--64},
  publisher = {ACM},
  issn = {0163-5948}
}
@article{patonActiveDatabaseSystems1999,
  title = {Active Database Systems},
  author = {Paton, Norman W. and D'{\i}az, Oscar},
  year = {1999},
  month = mar,
  journal = {ACM Comput. Surv.},
  volume = {31},
  number = {1},
  pages = {63--103},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/311531.311623},
  keywords = {*file-import-13-06-09}
}
@inproceedings{pavloComparisonApproachesLargescale2009,
  title = {A {{Comparison}} of {{Approaches}} to {{Large-scale Data Analysis}}},
  booktitle = {Proceedings of the 2009 {{ACM SIGMOD International Conference}} on {{Management}} of {{Data}}},
  author = {Pavlo, Andrew and Paulson, Erik and Rasin, Alexander and Abadi, Daniel J. and DeWitt, David J. and Madden, Samuel and Stonebraker, Michael},
  year = {2009},
  series = {{{SIGMOD}} '09},
  pages = {165--178},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/1559845.1559865},
  isbn = {978-1-60558-551-2},
  keywords = {benchmarks,mapreduce,parallel database}
}
@inproceedings{pikePlanBellLabs1990,
  title = {Plan 9 from {{Bell Labs}}},
  booktitle = {Proceedings of the {{Summer UKUUG Conference}}},
  author = {Pike, Rob and Presotto, Dave and Thompson, Ken and Trickey, Howard},
  year = {1990},
  pages = {1--9}
}
@misc{pikeSystemsSoftwareResearch2000,
  title = {Systems {{Software Research}} Is {{Irrelevant}}},
  author = {Pike, Rob},
  year = {2000}
}
@misc{PkgsrcNetBSDPackages,
  title = {Pkgsrc: {{The NetBSD Packages Collection}}}
}
@article{plattStrongInference1964,
  title = {Strong {{Inference}}},
  author = {Platt, John R.},
  year = {1964},
  journal = {Science},
  series = {New {{Series}}},
  volume = {146},
  number = {3642},
  pages = {347--353},
  publisher = {American Association for the Advancement of Science},
  issn = {00368075},
  doi = {10.2307/1714268},
  keywords = {stat_theory}
}
@misc{pollackHowBelieveMachineChecked1997,
  title = {How to {{Believe}} a {{Machine-Checked Proof}}},
  author = {Pollack, Robert},
  year = {1997}
}
@inproceedings{porterRethinkingLibraryOS2011,
  title = {Rethinking the {{Library OS}} from the {{Top Down}}},
  booktitle = {Proceedings of the {{International Conference}} on {{Architectural Support}} for {{Programming Languages}} and {{Operating Systems}}},
  author = {Porter, Donald E. and {Boyd-Wickizer}, Silas and Howell, Jon and Olinsky, Reuben and Hunt, Galen C.},
  year = {2011},
  pages = {291--304}
}
@article{postman1998five,
  title = {Five Things We Need to Know about Technological Change},
  author = {Postman, Neil},
  year = {1998},
  journal = {Recuperado de http://www. sdca. org/sermons\_ mp3/2012/121229\_postman\_5Things. pdf}
}
@article{prabhakaranIRONFileSystems2005,
  title = {{{IRON File Systems}}},
  author = {Prabhakaran, Vijayan and Bairavasundaram, Lakshmi N. and Agrawal, Nitin and Gunawi, Haryadi S. and {Arpaci-Dusseau}, Andrea C. and {Arpaci-Dusseau}, Remzi H.},
  year = {2005},
  journal = {ACM SIGOPS Operating Systems Review},
  volume = {39},
  number = {5},
  pages = {206--220}
}
@misc{pradhanDaytonaUserLevelTCP2002,
  title = {Daytona : {{A User-Level TCP Stack}}},
  author = {Pradhan, Prashant and Kandula, Srikanth and Xu, Wen and Shaikh, Anees and Nahum, Erich},
  year = {2002}
}
@phdthesis{pradhanMDEURDSAMobileDevice2011,
  title = {{{MDE-URDS-A Mobile Device Enabled Service Discovery System}}},
  author = {Pradhan, Ketaki A and Gallege, Lahiru S. and Raje, Rajeev R},
  year = {2011},
  school = {Purdue University}
}
@misc{protocolTransportLayerSecurity2008,
  title = {The {{Transport Layer Security}}({{TLS}}) {{Protocol}}},
  author = {Protocol, The Transport Layer Security (TLS)},
  year = {2008}
}
@book{PudPasstoUserspaceDevice2007,
  title = {Pud -- {{Pass-to-Userspace Device}}},
  year = {2007},
  month = nov,
  publisher = {NetBSD Kernel Interfaces Manual}
}
@inproceedings{purdilaLKLLinuxKernel2010,
  title = {{{LKL}}: {{The Linux Kernel Library}}},
  booktitle = {Proceedings of the {{RoEduNet International Conference}}},
  author = {Purdila, Octavian and Grijincu, Lucian Adrian and Tapus, Nicolae},
  year = {2010},
  pages = {328--333}
}
@misc{rajbhandari2020zero,
  title = {{{ZeRO}}: {{Memory}} Optimizations toward Training Trillion Parameter Models},
  author = {Rajbhandari, Samyam and Rasley, Jeff and Ruwase, Olatunji and He, Yuxiong},
  year = {2020},
  eprint = {1910.02054},
  primaryclass = {cs.LG},
  archiveprefix = {arxiv}
}
@article{rashidMachineIndependentVirtualMemory1987,
  title = {Machine-{{Independent Virtual Memory Management}} for {{Paged Uniprocessor}} and {{Multiprocessor Architectures}}},
  author = {Rashid, Richard and Tevanian, Avadis and Young, Michael and Golub, David and Baron, Robert and Black, David and Bolosky, William and Chew, Jonathan},
  year = {1987},
  month = oct,
  journal = {SIGARCH Computer Architecture News},
  volume = {15},
  number = {5},
  pages = {31--39},
  publisher = {ACM},
  issn = {0163-5964}
}
@inproceedings{rheaLittleTableTimeSeriesDatabase2017,
  title = {{{LittleTable}}: {{A Time-Series Database}} and {{Its Uses}}},
  booktitle = {Proceedings of the 2017 {{ACM International Conference}} on {{Management}} of {{Data}}},
  author = {Rhea, Sean and Wang, Eric and Wong, Edmund and Atkins, Ethan and Storer, Nat},
  year = {2017},
  series = {{{SIGMOD}} '17},
  pages = {125--138},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/3035918.3056102},
  isbn = {978-1-4503-4197-4},
  keywords = {cloud computing,clustering,databases,internet of things,partitioning,time-series data}
}
@inproceedings{rizzoNetmapNovelFramework2012,
  title = {Netmap: {{A Novel Framework}} for {{Fast Packet I}}/{{O}}},
  booktitle = {Proceedings of the {{USENIX Annual Technical Conference}}},
  author = {Rizzo, Luigi},
  year = {2012},
  month = aug,
  pages = {101--112}
}
@misc{sarthi2024raptor,
  title = {{{RAPTOR}}: {{Recursive}} Abstractive Processing for Tree-Organized Retrieval},
  author = {Sarthi, Parth and Abdullah, Salman and Tuli, Aditi and Khanna, Shubh and Goldie, Anna and Manning, Christopher D.},
  year = {2024},
  eprint = {2401.18059},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv},
  keywords = {LLM,RAG}
}
@inproceedings{seltzerImplementationLogStructuredFile1993,
  title = {An {{Implementation}} of a {{Log-Structured File System}} for {{UNIX}}},
  booktitle = {Proceedings of the {{USENIX Winter Technical Conference}}},
  author = {Seltzer, Margo I. and Bostic, Keith and McKusick, Marshall K. and Staelin, Carl},
  year = {1993},
  pages = {307--326}
}
@article{shaliziBootstrap2010,
  title = {The Bootstrap},
  author = {Shalizi, Cosma},
  year = {2010},
  month = may,
  journal = {American Scientist}
}
@misc{shi2023large,
  title = {Large Language Models Can Be Easily Distracted by Irrelevant Context},
  author = {Shi, Freda and Chen, Xinyun and Misra, Kanishka and Scales, Nathan and Dohan, David and Chi, Ed and Sch{\"a}rli, Nathanael and Zhou, Denny},
  year = {2023},
  eprint = {2302.00093},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv},
  keywords = {LLM}
}
@inproceedings{silversUBCEfficientUnified2000,
  title = {{{UBC}}: {{An Efficient Unified I}}/{{O}} and {{Memory Caching Subsystem}} for {{NetBSD}}},
  booktitle = {Proceedings of the {{USENIX Annual Technical Conference}}, {{FREENIX Track}}},
  author = {Silvers, Chuck},
  year = {2000},
  pages = {285--290}
}
@misc{slipNONSTANDARDTRANSMISSIONIP1988,
  title = {A. {{NONSTANDARD FOR TRANSMISSION OF IP DATAGRAMS OVER SERIAL LINES}}:},
  author = {SLIP, A. NONSTANDARD FOR TRANSMISSION OF IP DATAGRAMS OVER SERIAL LINES:},
  year = {1988}
}
@misc{SlirpPPPSLIPonterminal,
  title = {Slirp, the {{PPP}}/{{SLIP-on-terminal}} Emulator}
}
@techreport{smallVINOIntegratedPlatform1994,
  title = {{{VINO}}: {{An Integrated Platform}} for {{Operating System}} and {{Database Research}}},
  author = {Small, Christopher and Seltzer, Margo},
  year = {1994},
  number = {TR-30-94},
  institution = {Harvard}
}
@misc{SmartGuyProductivity,
  title = {Smart {{Guy Productivity Pitfalls}}},
  urldate = {2023-07-27},
  abstract = {Productivity is one of my pet topics, because it's always dogged me a bit, especially early in my career. ~I'd pull long days and nights and...},
  langid = {english},
  file = {/Users/pradeep/Zotero/storage/JLU929SI/smart-guy-productivity-pitfalls.html}
}
@misc{smithAperiodicMonotile2023,
  title = {An Aperiodic Monotile},
  author = {Smith, David and Myers, Joseph Samuel and Kaplan, Craig S. and {Goodman-Strauss}, Chaim},
  year = {2023}
}
@article{smithFileSystemAging1997,
  title = {File {{System Aging}}---{{Increasing}} the {{Relevance}} of {{File System Benchmarks}}},
  author = {Smith, Keith A. and Seltzer, Margo I.},
  year = {1997},
  journal = {SIGMETRICS Perform. Eval. Rev.},
  volume = {25},
  number = {1},
  pages = {203--213},
  publisher = {ACM},
  issn = {0163-5999}
}
@inproceedings{solteszContainerbasedOperatingSystem2007,
  title = {Container-Based {{Operating System Virtualization}}: {{A Scalable}}, {{High-performance Alternative}} to {{Hypervisors}}},
  booktitle = {Proceedings of the 2nd {{ACM SIGOPS}}/{{EuroSys European Conference}} on {{Computer Systems}}},
  author = {Soltesz, Stephen and P{\"o}tzl, Herbert and Fiuczynski, Marc E. and Bavier, Andy and Peterson, Larry},
  year = {2007},
  pages = {275--287}
}
@article{spivak2012ologs,
  title = {Ologs: A Categorical Framework for Knowledge Representation},
  author = {Spivak, David I and Kent, Robert E},
  year = {2012},
  journal = {PloS one},
  volume = {7},
  number = {1},
  pages = {e24274},
  publisher = {Public Library of Science San Francisco, USA}
}
@misc{srivastava2023imitation,
  title = {Beyond the {{Imitation Game}}: {{Quantifying}} and Extrapolating the Capabilities of Language Models},
  author = {Srivastava, Aarohi and Rastogi, Abhinav and Rao, Abhishek and Shoeb, Abu Awal Md and Abid, Abubakar and Fisch, Adam and Brown, Adam R. and Santoro, Adam and Gupta, Aditya and {Garriga-Alonso}, Adri{\`a} and Kluska, Agnieszka and Lewkowycz, Aitor and Agarwal, Akshat and Power, Alethea and Ray, Alex and Warstadt, Alex and Kocurek, Alexander W. and Safaya, Ali and Tazarv, Ali and Xiang, Alice and Parrish, Alicia and Nie, Allen and Hussain, Aman and Askell, Amanda and Dsouza, Amanda and Slone, Ambrose and Rahane, Ameet and Iyer, Anantharaman S. and Andreassen, Anders and Madotto, Andrea and Santilli, Andrea and Stuhlm{\"u}ller, Andreas and Dai, Andrew and La, Andrew and Lampinen, Andrew and Zou, Andy and Jiang, Angela and Chen, Angelica and Vuong, Anh and Gupta, Animesh and Gottardi, Anna and Norelli, Antonio and Venkatesh, Anu and Gholamidavoodi, Arash and Tabassum, Arfa and Menezes, Arul and Kirubarajan, Arun and Mullokandov, Asher and Sabharwal, Ashish and Herrick, Austin and Efrat, Avia and Erdem, Aykut and Karaka{\c s}, Ayla and Roberts, B. Ryan and Loe, Bao Sheng and Zoph, Barret and Bojanowski, Bart{\l}omiej and {\"O}zyurt, Batuhan and Hedayatnia, Behnam and Neyshabur, Behnam and Inden, Benjamin and Stein, Benno and Ekmekci, Berk and Lin, Bill Yuchen and Howald, Blake and Orinion, Bryan and Diao, Cameron and Dour, Cameron and Stinson, Catherine and Argueta, Cedrick and Ram{\'i}rez, C{\'e}sar Ferri and Singh, Chandan and Rathkopf, Charles and Meng, Chenlin and Baral, Chitta and Wu, Chiyu and {Callison-Burch}, Chris and Waites, Chris and Voigt, Christian and Manning, Christopher D. and Potts, Christopher and Ramirez, Cindy and Rivera, Clara E. and Siro, Clemencia and Raffel, Colin and Ashcraft, Courtney and Garbacea, Cristina and Sileo, Damien and Garrette, Dan and Hendrycks, Dan and Kilman, Dan and Roth, Dan and Freeman, Daniel and Khashabi, Daniel and Levy, Daniel and Gonz{\'a}lez, Daniel Mosegu{\'i} and Perszyk, Danielle and Hernandez, Danny and Chen, Danqi and Ippolito, Daphne and Gilboa, Dar and Dohan, David and Drakard, David and Jurgens, David and Datta, Debajyoti and Ganguli, Deep and Emelin, Denis and Kleyko, Denis and Yuret, Deniz and Chen, Derek and Tam, Derek and Hupkes, Dieuwke and Misra, Diganta and Buzan, Dilyar and Mollo, Dimitri Coelho and Yang, Diyi and Lee, Dong-Ho and Schrader, Dylan and Shutova, Ekaterina and Cubuk, Ekin Dogus and Segal, Elad and Hagerman, Eleanor and Barnes, Elizabeth and Donoway, Elizabeth and Pavlick, Ellie and Rodola, Emanuele and Lam, Emma and Chu, Eric and Tang, Eric and Erdem, Erkut and Chang, Ernie and Chi, Ethan A. and Dyer, Ethan and Jerzak, Ethan and Kim, Ethan and Manyasi, Eunice Engefu and Zheltonozhskii, Evgenii and Xia, Fanyue and Siar, Fatemeh and {Mart{\'i}nez-Plumed}, Fernando and Happ{\'e}, Francesca and Chollet, Francois and Rong, Frieda and Mishra, Gaurav and Winata, Genta Indra and {de Melo}, Gerard and Kruszewski, Germ{\'a}n and Parascandolo, Giambattista and Mariani, Giorgio and Wang, Gloria and {Jaimovitch-L{\'o}pez}, Gonzalo and Betz, Gregor and {Gur-Ari}, Guy and Galijasevic, Hana and Kim, Hannah and Rashkin, Hannah and Hajishirzi, Hannaneh and Mehta, Harsh and Bogar, Hayden and Shevlin, Henry and Sch{\"u}tze, Hinrich and Yakura, Hiromu and Zhang, Hongming and Wong, Hugh Mee and Ng, Ian and Noble, Isaac and Jumelet, Jaap and Geissinger, Jack and Kernion, Jackson and Hilton, Jacob and Lee, Jaehoon and Fisac, Jaime Fern{\'a}ndez and Simon, James B. and Koppel, James and Zheng, James and Zou, James and Koco{\'n}, Jan and Thompson, Jana and Wingfield, Janelle and Kaplan, Jared and Radom, Jarema and {Sohl-Dickstein}, Jascha and Phang, Jason and Wei, Jason and Yosinski, Jason and Novikova, Jekaterina and Bosscher, Jelle and Marsh, Jennifer and Kim, Jeremy and Taal, Jeroen and Engel, Jesse and Alabi, Jesujoba and Xu, Jiacheng and Song, Jiaming and Tang, Jillian and Waweru, Joan and Burden, John and Miller, John and Balis, John U. and Batchelder, Jonathan and Berant, Jonathan and Frohberg, J{\"o}rg and Rozen, Jos and {Hernandez-Orallo}, Jose and Boudeman, Joseph and Guerr, Joseph and Jones, Joseph and Tenenbaum, Joshua B. and Rule, Joshua S. and Chua, Joyce and Kanclerz, Kamil and Livescu, Karen and Krauth, Karl and Gopalakrishnan, Karthik and Ignatyeva, Katerina and Markert, Katja and Dhole, Kaustubh D. and Gimpel, Kevin and Omondi, Kevin and Mathewson, Kory and Chiafullo, Kristen and Shkaruta, Ksenia and Shridhar, Kumar and McDonell, Kyle and Richardson, Kyle and Reynolds, Laria and Gao, Leo and Zhang, Li and Dugan, Liam and Qin, Lianhui and {Contreras-Ochando}, Lidia and Morency, Louis-Philippe and Moschella, Luca and Lam, Lucas and Noble, Lucy and Schmidt, Ludwig and He, Luheng and Col{\'o}n, Luis Oliveros and Metz, Luke and {\c S}enel, L{\"u}tfi Kerem and Bosma, Maarten and Sap, Maarten and {ter Hoeve}, Maartje and Farooqi, Maheen and Faruqui, Manaal and Mazeika, Mantas and Baturan, Marco and Marelli, Marco and Maru, Marco and Quintana, Maria Jose Ram{\'i}rez and Tolkiehn, Marie and Giulianelli, Mario and Lewis, Martha and Potthast, Martin and Leavitt, Matthew L. and Hagen, Matthias and Schubert, M{\'a}ty{\'a}s and Baitemirova, Medina Orduna and Arnaud, Melody and McElrath, Melvin and Yee, Michael A. and Cohen, Michael and Gu, Michael and Ivanitskiy, Michael and Starritt, Michael and Strube, Michael and Sw{\k e}drowski, Micha{\l} and Bevilacqua, Michele and Yasunaga, Michihiro and Kale, Mihir and Cain, Mike and Xu, Mimee and Suzgun, Mirac and Walker, Mitch and Tiwari, Mo and Bansal, Mohit and Aminnaseri, Moin and Geva, Mor and Gheini, Mozhdeh and T, Mukund Varma and Peng, Nanyun and Chi, Nathan A. and Lee, Nayeon and Krakover, Neta Gur-Ari and Cameron, Nicholas and Roberts, Nicholas and Doiron, Nick and Martinez, Nicole and Nangia, Nikita and Deckers, Niklas and Muennighoff, Niklas and Keskar, Nitish Shirish and Iyer, Niveditha S. and Constant, Noah and Fiedel, Noah and Wen, Nuan and Zhang, Oliver and Agha, Omar and Elbaghdadi, Omar and Levy, Omer and Evans, Owain and Casares, Pablo Antonio Moreno and Doshi, Parth and Fung, Pascale and Liang, Paul Pu and Vicol, Paul and Alipoormolabashi, Pegah and Liao, Peiyuan and Liang, Percy and Chang, Peter and Eckersley, Peter and Htut, Phu Mon and Hwang, Pinyu and Mi{\l}kowski, Piotr and Patil, Piyush and Pezeshkpour, Pouya and Oli, Priti and Mei, Qiaozhu and Lyu, Qing and Chen, Qinlang and Banjade, Rabin and Rudolph, Rachel Etta and Gabriel, Raefer and Habacker, Rahel and Risco, Ramon and Milli{\`e}re, Rapha{\"e}l and Garg, Rhythm and Barnes, Richard and Saurous, Rif A. and Arakawa, Riku and Raymaekers, Robbe and Frank, Robert and Sikand, Rohan and Novak, Roman and Sitelew, Roman and LeBras, Ronan and Liu, Rosanne and Jacobs, Rowan and Zhang, Rui and Salakhutdinov, Ruslan and Chi, Ryan and Lee, Ryan and Stovall, Ryan and Teehan, Ryan and Yang, Rylan and Singh, Sahib and Mohammad, Saif M. and Anand, Sajant and Dillavou, Sam and Shleifer, Sam and Wiseman, Sam and Gruetter, Samuel and Bowman, Samuel R. and Schoenholz, Samuel S. and Han, Sanghyun and Kwatra, Sanjeev and Rous, Sarah A. and Ghazarian, Sarik and Ghosh, Sayan and Casey, Sean and Bischoff, Sebastian and Gehrmann, Sebastian and Schuster, Sebastian and Sadeghi, Sepideh and Hamdan, Shadi and Zhou, Sharon and Srivastava, Shashank and Shi, Sherry and Singh, Shikhar and Asaadi, Shima and Gu, Shixiang Shane and Pachchigar, Shubh and Toshniwal, Shubham and Upadhyay, Shyam and {Shyamolima} and {Debnath} and Shakeri, Siamak and Thormeyer, Simon and Melzi, Simone and Reddy, Siva and Makini, Sneha Priscilla and Lee, Soo-Hwan and Torene, Spencer and Hatwar, Sriharsha and Dehaene, Stanislas and Divic, Stefan and Ermon, Stefano and Biderman, Stella and Lin, Stephanie and Prasad, Stephen and Piantadosi, Steven T. and Shieber, Stuart M. and Misherghi, Summer and Kiritchenko, Svetlana and Mishra, Swaroop and Linzen, Tal and Schuster, Tal and Li, Tao and Yu, Tao and Ali, Tariq and Hashimoto, Tatsu and Wu, Te-Lin and Desbordes, Th{\'e}o and Rothschild, Theodore and Phan, Thomas and Wang, Tianle and Nkinyili, Tiberius and Schick, Timo and Kornev, Timofei and Tunduny, Titus and Gerstenberg, Tobias and Chang, Trenton and Neeraj, Trishala and Khot, Tushar and Shultz, Tyler and Shaham, Uri and Misra, Vedant and Demberg, Vera and Nyamai, Victoria and Raunak, Vikas and Ramasesh, Vinay and Prabhu, Vinay Uday and Padmakumar, Vishakh and Srikumar, Vivek and Fedus, William and Saunders, William and Zhang, William and Vossen, Wout and Ren, Xiang and Tong, Xiaoyu and Zhao, Xinran and Wu, Xinyi and Shen, Xudong and Yaghoobzadeh, Yadollah and Lakretz, Yair and Song, Yangqiu and Bahri, Yasaman and Choi, Yejin and Yang, Yichi and Hao, Yiding and Chen, Yifu and Belinkov, Yonatan and Hou, Yu and Hou, Yufang and Bai, Yuntao and Seid, Zachary and Zhao, Zhuoye and Wang, Zijian and Wang, Zijie J. and Wang, Zirui and Wu, Ziyi},
  year = {2023},
  eprint = {2206.04615},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv}
}
@book{sterlingArtPrologAdvanced1986,
  title = {The Art of {{Prolog}}: Advanced Programming Techniques},
  author = {Sterling, Leon and Shapiro, Ehud},
  year = {1986},
  publisher = {MIT Press},
  address = {Cambridge, MA, USA},
  keywords = {*file-import-13-06-09}
}
@inproceedings{sunUsingDeclarativeInvariants2011,
  title = {Using {{Declarative Invariants}} for {{Protecting File-System Integrity}}},
  booktitle = {Proceedings of the 6th {{Workshop}} on {{Programming Languages}} and {{Operating Systems}}},
  author = {Sun, Jack and Fryer, Daniel and Goel, Ashvin and Brown, Angela Demke},
  year = {2011},
  pages = {6:1--6:5},
  address = {Cascais, Portugal}
}
@misc{suzgun2022challenging,
  title = {Challenging {{BIG-Bench}} Tasks and Whether Chain-of-Thought Can Solve Them},
  author = {Suzgun, Mirac and Scales, Nathan and Sch{\"a}rli, Nathanael and Gehrmann, Sebastian and Tay, Yi and Chung, Hyung Won and Chowdhery, Aakanksha and Le, Quoc V. and Chi, Ed H. and Zhou, Denny and Wei, Jason},
  year = {2022},
  eprint = {2210.09261},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv}
}
@misc{szerediFUSEFilesystemUserspace,
  title = {{{FUSE}}: {{Filesystem}} in {{Userspace}}},
  author = {Szeredi, Mikl{\'o}s}
}
@article{tait2013robert,
  title = {Robert {{De Niro}}'s {{Method}}: Acting, Authorship and Agency in the {{New Hollywood}} (1967-1980)},
  author = {Tait, Richard Colin},
  year = {2013}
}
@misc{tao2024magis,
  title = {{{MAGIS}}: {{LLM-Based}} Multi-Agent Framework for {{GitHub}} Issue Resolution},
  author = {Tao, Wei and Zhou, Yucheng and Zhang, Wenqiang and Cheng, Yu},
  year = {2024},
  eprint = {2403.17927},
  primaryclass = {cs.SE},
  archiveprefix = {arxiv}
}
@misc{ThomasSowellTragic2021,
  title = {Thomas {{Sowell}}: {{Tragic Optimist}}},
  shorttitle = {Thomas {{Sowell}}},
  year = {2021},
  month = mar,
  journal = {Quillette},
  urldate = {2023-07-07},
  abstract = {Sydney. London. Toronto.},
  howpublished = {https://quillette.com/2021/03/27/thomas-sowell-tragic-optimist/},
  langid = {english},
  file = {/Users/pradeep/Zotero/storage/8D3JXW9R/thomas-sowell-tragic-optimist.html}
}
@inproceedings{thorpeMachineIndependentDMAFramework1998,
  title = {A {{Machine-Independent DMA Framework}} for {{NetBSD}}},
  booktitle = {Proceedings of the {{USENIX Annual Technical Conference}}, {{FREENIX}} Track},
  author = {Thorpe, Jason},
  year = {1998},
  pages = {1--12}
}
@misc{ThttpdTinyTurbo,
  title = {Thttpd -- Tiny/Turbo/Throttling {{HTTP}} Server}
}
@inproceedings{tilakTemporalInteractionContracts2007,
  title = {Temporal {{Interaction Contracts}} for {{Components}} in a {{Distributed System}}},
  booktitle = {Enterprise {{Distributed Object Computing Conference}}, 2007. {{EDOC}} 2007. 11th {{IEEE International}}},
  author = {Tilak, Omkar J and Raje, Rajeev R},
  year = {2007},
  pages = {339--339},
  publisher = {IEEE}
}
@misc{Tooltip,
  title = {Tooltip},
  urldate = {2023-07-27},
  howpublished = {https://waivek.github.io/website/tooltip.html},
  file = {/Users/pradeep/Zotero/storage/RABG7EJE/tooltip.html}
}
@misc{torekDeviceConfiguration4BSD1992,
  title = {Device {{Configuration}} in 4.{{4BSD}}},
  author = {Torek, Chris},
  year = {1992},
  month = dec
}
@misc{touvron2023llama,
  title = {{{LLaMA}}: {{Open}} and Efficient Foundation Language Models},
  author = {Touvron, Hugo and Lavril, Thibaut and Izacard, Gautier and Martinet, Xavier and Lachaux, Marie-Anne and Lacroix, Timoth{\'e}e and Rozi{\`e}re, Baptiste and Goyal, Naman and Hambro, Eric and Azhar, Faisal and Rodriguez, Aurelien and Joulin, Armand and Grave, Edouard and Lample, Guillaume},
  year = {2023},
  eprint = {2302.13971},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv},
  keywords = {generative-ai,LLM}
}
@misc{tu2023data,
  title = {What Should Data Science Education Do with Large Language Models?},
  author = {Tu, Xinming and Zou, James and Su, Weijie J. and Zhang, Linjun},
  year = {2023},
  eprint = {2307.02792},
  primaryclass = {cs.CY},
  archiveprefix = {arxiv}
}
@misc{tunneyRedbean,
  title = {Redbean},
  author = {Tunney, Justine},
  urldate = {2023-07-03},
  abstract = {single file distributable web server},
  howpublished = {https://redbean.dev/},
  langid = {english},
  file = {/Users/pradeep/Zotero/storage/28UHSRFC/redbean.dev.html}
}
@misc{tuzhilin2023graphs,
  title = {Graphs, Algorithms and Applications},
  author = {Tuzhilin, Mikhail and Zhang, Dong},
  year = {2023},
  eprint = {2312.11543},
  primaryclass = {cs.SI},
  archiveprefix = {arxiv}
}
@book{valiantProbablyApproximatelyCorrect2013,
  title = {Probably {{Approximately Correct}}: {{Nature}}'s {{Algorithms}} for {{Learning}} and {{Prospering}} in a {{Complex World}}},
  author = {Valiant, Leslie},
  year = {2013},
  publisher = {Basic Books}
}
@inproceedings{vanlamsweerdeRequirementsEngineeringYear2000,
  title = {Requirements Engineering in the Year 00: {{A}} Research Perspective},
  booktitle = {Proceedings of the 22nd International Conference on {{Software}} Engineering},
  author = {Van Lamsweerde, Axel},
  year = {2000},
  pages = {5--19},
  publisher = {ACM}
}
@book{vanroyConceptsTechniquesModels2004,
  title = {Concepts, Techniques, and Models of Computer Programming},
  author = {Van Roy, Peter and Haridi, Seif},
  year = {2004},
  publisher = {MIT press}
}
@article{vanroyTeachingProgrammingBroadly2002,
  title = {Teaching Programming Broadly and Deeply: The Kernel Language Approach},
  author = {Van Roy, Peter and Haridi, Seif},
  year = {2002},
  journal = {Informatics Curricula and Teaching Methods},
  volume = {245},
  pages = {53--62}
}
@inproceedings{vaswaniAttentionAllYou2017,
  title = {Attention Is {{All}} You {{Need}}},
  booktitle = {Advances in {{Neural Information Processing Systems}}},
  author = {Vaswani, Ashish and Shazeer, Noam and Parmar, Niki and Uszkoreit, Jakob and Jones, Llion and Gomez, Aidan N and Kaiser, {\L}ukasz and Polosukhin, Illia},
  editor = {Guyon, I. and Luxburg, U. Von and Bengio, S. and Wallach, H. and Fergus, R. and Vishwanathan, S. and Garnett, R.},
  year = {2017},
  volume = {30},
  publisher = {Curran Associates, Inc.}
}
@inproceedings{wadler1990linear,
  title = {Linear Types Can Change the World!},
  booktitle = {Programming Concepts and Methods},
  author = {Wadler, Philip},
  year = {1990},
  volume = {3},
  pages = {5},
  publisher = {Citeseer}
}
@article{waldspurgerMemoryResourceManagement2002,
  title = {Memory {{Resource Management}} in {{VMware ESX Server}}},
  author = {Waldspurger, Carl A.},
  year = {2002},
  month = dec,
  journal = {ACM SIGOPS Operating Systems Review},
  volume = {36},
  number = {SI},
  pages = {181--194},
  publisher = {ACM},
  issn = {0163-5980}
}
@misc{wang2019glue,
  title = {{{GLUE}} - {{A}} Multi-Task Benchmark and Analysis Platform for Natural Language Understanding},
  author = {Wang, Alex and Singh, Amanpreet and Michael, Julian and Hill, Felix and Levy, Omer and Bowman, Samuel R.},
  year = {2019},
  eprint = {1804.07461},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv}
}
@inproceedings{wangCapacityPerformanceOverhead2007,
  title = {Capacity and {{Performance Overhead}} in {{Dynamic Resource Allocation}} to {{Virtual Containers}}},
  booktitle = {Proceedings of the {{IFIP}}/{{IEEE Symposium}} on {{Integrated Management}}},
  author = {Wang, Zhikui and Zhu, Xiaoyun and Padala, Pradeep and Singhal, Sharad},
  year = {2007},
  month = may,
  pages = {149--158}
}
@book{WAPBLWriteAhead2010,
  title = {{{WAPBL}} -- {{Write Ahead Physical Block Logging}} File System Journaling},
  year = {2010},
  month = nov,
  publisher = {NetBSD Kernel Interfaces Manual}
}
@misc{wei2024long,
  title = {Long-Form Factuality in Large Language Models},
  author = {Wei, Jerry and Yang, Chengrun and Song, Xinying and Lu, Yifeng and Hu, Nathan and Tran, Dustin and Peng, Daiyi and Liu, Ruibo and Huang, Da and Du, Cosmo and Le, Quoc V.},
  year = {2024}
}
@inproceedings{weisbachGenericUserLevelPCI2011,
  title = {Generic {{User-Level PCI Drivers}}},
  booktitle = {Proceedings of the 13th {{Real-Time Linux Workshop}}},
  author = {Weisbach, Hannes and D{\"o}bel, Bj{\"o}rn and Lackorzynski, Adam},
  year = {2011},
  address = {Prague, Czech Republic}
}
@article{weiserComputer21stCentury1991,
  title = {The Computer for the 21st Century},
  author = {Weiser, Mark},
  year = {1991},
  journal = {Scientific american},
  volume = {265},
  number = {3},
  pages = {94--104},
  publisher = {Nature Publishing Group}
}
@article{weissThinkingTransformers2021,
  title = {Thinking {{Like Transformers}}},
  author = {Weiss, Gail and Goldberg, Yoav and Yahav, Eran},
  year = {2021},
  journal = {CoRR},
  volume = {abs/2106.06981},
  eprint = {2106.06981},
  archiveprefix = {arxiv}
}
@article{wentzlaffFactoredOperatingSystems2009,
  title = {Factored {{Operating Systems}} (Fos): {{The Case}} for a {{Scalable Operating System}} for {{Multicores}}},
  author = {Wentzlaff, David and Agarwal, Anant},
  year = {2009},
  month = apr,
  journal = {ACM SIGOPS Operating Systems Review},
  volume = {43},
  number = {2},
  pages = {76--85},
  publisher = {ACM},
  issn = {0163-5980}
}
@book{wilkinsonGrammarGraphicsStatistics2005,
  title = {The {{Grammar}} of {{Graphics}} ({{Statistics}} and {{Computing}})},
  author = {Wilkinson, Leland},
  year = {2005},
  publisher = {Springer-Verlag New York, Inc.},
  address = {Secaucus, NJ, USA},
  isbn = {0-387-24544-8}
}
@inproceedings{woodhouseJFFSJournallingFlash2001,
  title = {{{JFFS}}: {{The Journalling Flash File System}}},
  booktitle = {Proceedings of the {{Ottawa Linux Symposium}}},
  author = {Woodhouse, David},
  year = {2001}
}
@book{wrightTCPIPIllustrated1995,
  title = {{{TCP}}/{{IP Illustrated}}, {{Volume}} 2},
  author = {Wright, Gary R. and Stevens, W. Richard},
  year = {1995},
  publisher = {Addison Wesley},
  isbn = {0-201-63354-X}
}
@misc{wu2023bloomberggpt,
  title = {{{BloombergGPT}}: {{A}} Large Language Model for Finance},
  author = {Wu, Shijie and Irsoy, Ozan and Lu, Steven and Dabravolski, Vadim and Dredze, Mark and Gehrmann, Sebastian and Kambadur, Prabhanjan and Rosenberg, David and Mann, Gideon},
  year = {2023},
  eprint = {2303.17564},
  primaryclass = {cs.LG},
  archiveprefix = {arxiv}
}
@inproceedings{yangAutomaticallyGeneratingMalicious2006,
  title = {Automatically {{Generating Malicious Disks}} Using {{Symbolic Execution}}},
  booktitle = {Proceedings of the {{IEEE Symposium}} on {{Security}} and {{Privacy}}},
  author = {Yang, Junfeng and Sar, Can and Twohey, Paul and Cadar, Cristian and Engler, Dawson},
  year = {2006},
  pages = {243--257}
}
@inproceedings{ysmalFsutilsFileSystems2009,
  title = {Fs-Utils: {{File Systems Access Tools}} for {{Userland}}},
  booktitle = {Proceedings of {{EuroBSDCon}}},
  author = {Ysmal, Arnaud and Kantee, Antti},
  year = {2009}
}
@misc{yuan2024mora,
  title = {Mora: {{Enabling}} Generalist Video Generation via a Multi-Agent Framework},
  author = {Yuan, Zhengqing and Chen, Ruoxi and Li, Zhaoxu and Jia, Haolong and He, Lifang and Wang, Chi and Sun, Lichao},
  year = {2024},
  eprint = {2403.13248},
  primaryclass = {cs.CV},
  archiveprefix = {arxiv}
}
@misc{yuan2024selfrewarding,
  title = {Self-Rewarding Language Models},
  author = {Yuan, Weizhe and Pang, Richard Yuanzhe and Cho, Kyunghyun and Li, Xian and Sukhbaatar, Sainbayar and Xu, Jing and Weston, Jason},
  year = {2024},
  eprint = {2401.10020},
  primaryclass = {cs.CL},
  archiveprefix = {arxiv},
  keywords = {LLM,Reward Models}
}
@inproceedings{yuFeatherweightVirtualMachine2006,
  title = {A {{Feather-weight Virtual Machine}} for {{Windows Applications}}},
  booktitle = {Proceedings of the {{ACM SIGPLAN}}/{{SIGOPS International Conference}} on {{Virtual Execution Environments}}},
  author = {Yu, Yang and Guo, Fanglu and Nanda, Susanta and Lam, Lap-chung and Chiueh, Tzi-cker},
  year = {2006},
  pages = {24--34}
}
@article{zaveWhereOperationsCome1996,
  title = {Where Do Operations Come from? {{A}} Multiparadigm Specification Technique},
  author = {Zave, Pamela and Jackson, Michael},
  year = {1996},
  journal = {Software Engineering, IEEE Transactions on},
  volume = {22},
  number = {7},
  pages = {508--528},
  publisher = {IEEE}
}
@inproceedings{zecImplementingClonableNetwork2003,
  title = {Implementing a {{Clonable Network Stack}} in the {{FreeBSD Kernel}}},
  booktitle = {Proceedings of the {{USENIX Annual Technical Conference}}, {{FREENIX Track}}},
  author = {Zec, Marko},
  year = {2003},
  pages = {137--150}
}
@misc{ZFSSourceTour,
  title = {{{ZFS Source Tour}}}
}
@misc{zhang2023llavar,
  title = {{{LLaVAR}}: {{Enhanced}} Visual Instruction Tuning for Text-Rich Image Understanding},
  author = {Zhang, Yanzhe and Zhang, Ruiyi and Gu, Jiuxiang and Zhou, Yufan and Lipka, Nedim and Yang, Diyi and Sun, Tong},
  year = {2023},
  eprint = {2306.17107},
  primaryclass = {cs.CV},
  archiveprefix = {arxiv}
}
@misc{zhao2023pytorch,
  title = {{{PyTorch FSDP}}: {{Experiences}} on Scaling Fully Sharded Data Parallel},
  author = {Zhao, Yanli and Gu, Andrew and Varma, Rohan and Luo, Liang and Huang, Chien-Chin and Xu, Min and Wright, Less and Shojanazeri, Hamid and Ott, Myle and Shleifer, Sam and Desmaison, Alban and Balioglu, Can and Nguyen, Bernard and Chauhan, Geeta and Hao, Yuchen and Li, Shen},
  year = {2023},
  eprint = {2304.11277},
  primaryclass = {cs.DC},
  archiveprefix = {arxiv}
}

This file was generated by bibtex2html 1.99.