@article{10.1145/1897852.1897873, title = {Data Structures in the Multicore Age}, author = {Shavit, Nir}, year = {2011}, month = mar, journal = {Communications of The Acm}, volume = {54}, number = {3}, pages = {76--84}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, issn = {0001-0782}, doi = {10.1145/1897852.1897873}, url = {https://doi.org/10.1145/1897852.1897873}, abstract = {The advent of multicore processors as the standard computing platform will force major changes in software design.}, issue_date = {March 2011}, file = {/Users/pradeep/Zotero/storage/FPTW6FL6/Shavit - 2011 - Data structures in the multicore age.pdf} }
@inproceedings{10.1145/3648188.3675127, title = {Hypermedia Controls: {{Feral}} to Formal}, booktitle = {Proceedings of the 35th {{ACM}} Conference on Hypertext and Social Media}, author = {Gross, Carson and Shaffer, Dillon and Revelle, Matt}, year = {2024}, series = {Ht '24}, pages = {52--64}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, doi = {10.1145/3648188.3675127}, url = {https://doi.org/10.1145/3648188.3675127}, abstract = {A defining characteristic of hypermedia systems is the presence of hypermedia controls. In this paper we examine hypermedia controls as found "in the wild", in particular in the World Wide Web. These hypermedia controls are analyzed to derive a functional hypermedia mechanic that can be used to characterize them. This functional mechanic is used to create first an informal and then formal definition of the term "hypermedia control". Using this formal definition we then derive a generalization of the concept, referring contextually to the World Wide Web. We then examine two hypermedia technologies that implement this concept of generalized hypermedia controls: htmx, which does so in the context of the WWW and Hyperview, which does so in a mobile context.}, isbn = {9798400705953}, keywords = {htmx,Hypermedia,Hypermedia Controls} }
@article{10.1371/journal.pmed.0020124, title = {Why Most Published Research Findings Are False}, author = {Ioannidis, John P. A.}, year = {2005}, month = aug, journal = {PLOS Medicine}, volume = {2}, number = {8}, pages = {null}, publisher = {Public Library of Science}, doi = {10.1371/journal.pmed.0020124}, url = {https://doi.org/10.1371/journal.pmed.0020124}, abstract = {Summary There is increasing concern that most current published research findings are false. The probability that a research claim is true may depend on study power and bias, the number of other studies on the same question, and, importantly, the ratio of true to no relationships among the relationships probed in each scientific field. In this framework, a research finding is less likely to be true when the studies conducted in a field are smaller; when effect sizes are smaller; when there is a greater number and lesser preselection of tested relationships; where there is greater flexibility in designs, definitions, outcomes, and analytical modes; when there is greater financial and other interest and prejudice; and when more teams are involved in a scientific field in chase of statistical significance. Simulations show that for most study designs and settings, it is more likely for a research claim to be false than true. Moreover, for many current scientific fields, claimed research findings may often be simply accurate measures of the prevailing bias. In this essay, I discuss the implications of these problems for the conduct and interpretation of research.} }
@article{10.14778/2536222.2536231, title = {Scuba: Diving into Data at Facebook}, author = {Abraham, Lior and Allen, John and Barykin, Oleksandr and Borkar, Vinayak and Chopra, Bhuwan and Gerea, Ciprian and Merl, Daniel and Metzler, Josh and Reiss, David and Subramanian, Subbu and Wiener, Janet L. and Zed, Okay}, year = {2013}, month = aug, journal = {Proc. VLDB Endow.}, volume = {6}, number = {11}, pages = {1057--1067}, publisher = {VLDB Endowment}, issn = {2150-8097}, doi = {10.14778/2536222.2536231}, url = {http://www.vldb.org/pvldb/vol6/p1057-wiener.pdf}, abstract = {Facebook takes performance monitoring seriously. Performance issues can impact over one billion users so we track thousands of servers, hundreds of PB of daily network traffic, hundreds of daily code changes, and many other metrics. We require latencies of under a minute from events occuring (a client request on a phone, a bug report filed, a code change checked in) to graphs showing those events on developers' monitors.Scuba is the data management system Facebook uses for most real-time analysis. Scuba is a fast, scalable, distributed, in-memory database built at Facebook. It currently ingests millions of rows (events) per second and expires data at the same rate. Scuba stores data completely in memory on hundreds of servers each with 144 GB RAM. To process each query, Scuba aggregates data from all servers. Scuba processes almost a million queries per day. Scuba is used extensively for interactive, ad hoc, analysis queries that run in under a second over live data. In addition, Scuba is the workhorse behind Facebook's code regression analysis, bug report monitoring, ads revenue monitoring, and performance debugging.}, issue_date = {August 2013}, file = {/Users/pradeep/Zotero/storage/6JV87GRE/Abraham et al. - 2013 - Scuba diving into data at facebook.pdf} }
@article{10.14778/3611479.3611527, title = {How Large Language Models Will Disrupt Data Management}, author = {Fernandez, Raul Castro and Elmore, Aaron J. and Franklin, Michael J. and Krishnan, Sanjay and Tan, Chenhao}, year = {2023}, month = jul, journal = {Proc. VLDB Endow.}, volume = {16}, number = {11}, pages = {3302--3309}, publisher = {VLDB Endowment}, issn = {2150-8097}, doi = {10.14778/3611479.3611527}, url = {https://doi.org/10.14778/3611479.3611527}, abstract = {Large language models (LLMs), such as GPT-4, are revolutionizing software's ability to understand, process, and synthesize language. The authors of this paper believe that this advance in technology is significant enough to prompt introspection in the data management community, similar to previous technological disruptions such as the advents of the world wide web, cloud computing, and statistical machine learning. We argue that the disruptive influence that LLMs will have on data management will come from two angles. (1) A number of hard database problems, namely, entity resolution, schema matching, data discovery, and query synthesis, hit a ceiling of automation because the system does not fully understand the semantics of the underlying data. Based on large training corpora of natural language, structured data, and code, LLMs have an unprecedented ability to ground database tuples, schemas, and queries in real-world concepts. We will provide examples of how LLMs may completely change our approaches to these problems. (2) LLMs blur the line between predictive models and information retrieval systems with their ability to answer questions. We will present examples showing how large databases and information retrieval systems have complementary functionality.}, issue_date = {July 2023} }
@book{10.5555/31838, title = {Logical Foundations of Artificial Intelligence}, author = {Genesereth, Michael R. and Nilsson, Nils J.}, year = {1987}, publisher = {Morgan Kaufmann Publishers Inc.}, address = {San Francisco, CA, USA}, isbn = {0-934613-31-1} }
@misc{abdin2024phi3, title = {Phi-3 Technical Report: {{A}} Highly Capable Language Model Locally on Your Phone}, author = {Abdin, Marah and Jacobs, Sam Ade and Awan, Ammar Ahmad and Aneja, Jyoti and Awadallah, Ahmed and Awadalla, Hany and Bach, Nguyen and Bahree, Amit and Bakhtiari, Arash and Behl, Harkirat and Benhaim, Alon and Bilenko, Misha and Bjorck, Johan and Bubeck, S{\'e}bastien and Cai, Martin and Mendes, Caio C{\'e}sar Teodoro and Chen, Weizhu and Chaudhary, Vishrav and Chopra, Parul and Giorno, Allie Del and {de Rosa}, Gustavo and Dixon, Matthew and Eldan, Ronen and Iter, Dan and Goswami, Abhishek and Gunasekar, Suriya and Haider, Emman and Hao, Junheng and Hewett, Russell J. and Huynh, Jamie and Javaheripi, Mojan and Jin, Xin and Kauffmann, Piero and Karampatziakis, Nikos and Kim, Dongwoo and Khademi, Mahoud and Kurilenko, Lev and Lee, James R. and Lee, Yin Tat and Li, Yuanzhi and Liang, Chen and Liu, Weishung and Lin, Eric and Lin, Zeqi and Madan, Piyush and Mitra, Arindam and Modi, Hardik and Nguyen, Anh and Norick, Brandon and Patra, Barun and {Perez-Becker}, Daniel and Portet, Thomas and Pryzant, Reid and Qin, Heyang and Radmilac, Marko and Rosset, Corby and Roy, Sambudha and Saarikivi, Olli and Saied, Amin and Salim, Adil and Santacroce, Michael and Shah, Shital and Shang, Ning and Sharma, Hiteshi and Song, Xia and Ruwase, Olatunji and Wang, Xin and Ward, Rachel and Wang, Guanhua and Witte, Philipp and Wyatt, Michael and Xu, Can and Xu, Jiahang and Yadav, Sonali and Yang, Fan and Yang, Ziyi and Yu, Donghan and Zhang, Chengruidong and Zhang, Cyril and Zhang, Jianwen and Zhang, Li Lyna and Zhang, Yi and Zhang, Yunan and Zhou, Xiren}, year = {2024}, eprint = {2404.14219}, primaryclass = {cs.CL}, url = {https://arxiv.org/abs/2404.14219}, archiveprefix = {arXiv} }
@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}, url = {http://dx.doi.org/10.14778/2824032.2824076} }
@misc{alain2014regularizedautoencoderslearndata, title = {What Regularized Auto-Encoders Learn from the Data Generating Distribution}, author = {Alain, Guillaume and Bengio, Yoshua}, year = {2014}, eprint = {1211.4246}, primaryclass = {cs.LG}, url = {https://arxiv.org/abs/1211.4246}, archiveprefix = {arXiv}, note = {Their models are essentially predecessors of modern diffusion models, and the failure modes they showcase explain design choices that underpin modern DDPMs. \par https://x.com/norpadon/status/1828905291242467678} }
@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}, url = {https://arxiv.org/abs/2404.05405}, 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}, url = {http://people.csail.mit.edu/ebakke/research/sieuferd\_sigmod2016.pdf} }
@misc{banerjee2024llmshallucinateneedlive, title = {{{LLMs}} Will Always Hallucinate, and We Need to Live with This}, author = {Banerjee, Sourav and Agarwal, Ayushi and Singla, Saloni}, year = {2024}, eprint = {2409.05746}, primaryclass = {stat.ML}, url = {https://arxiv.org/abs/2409.05746}, archiveprefix = {arXiv} }
@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}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs37.html\#abs-1010-2822}, 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}, url = {http://dx.doi.org/10.1109/2.774917} }
@misc{bilokon2023cdesignpatternslowlatency, title = {C++ Design Patterns for Low-Latency Applications Including High-Frequency Trading}, author = {Bilokon, Paul and Gunduz, Burak}, year = {2023}, eprint = {2309.04259}, primaryclass = {cs.PF}, url = {https://arxiv.org/abs/2309.04259}, archiveprefix = {arXiv} }
@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}, url = {http://www.hpl.hp.com/techreports/2004/HPL-2004-209.pdf}, 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, url = {http://blogs.oracle.com/bonwick/entry/zfs\_the\_last\_word\_in} }
@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}, url = {http://dx.doi.org/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}, url = {http://doi.acm.org/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, url = {https://www.tigrisdata.com/blog/building-a-database-using-foundationdb/}, urldate = {2023-07-03} }
@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} }
@misc{cheng2024inductivedeductiverethinkingfundamental, title = {Inductive or Deductive? {{Rethinking}} the Fundamental Reasoning Abilities of Llms}, author = {Cheng, Kewei and Yang, Jingfeng and Jiang, Haoming and Wang, Zhengyang and Huang, Binxuan and Li, Ruirui and Li, Shiyang and Li, Zheng and Gao, Yifan and Li, Xian and Yin, Bing and Sun, Yizhou}, year = {2024}, eprint = {2408.00114}, primaryclass = {cs.AI}, url = {https://arxiv.org/abs/2408.00114}, archiveprefix = {arXiv}, note = {π Deductive reasoning presents a greater challenge than inductive reasoning for LLMs. \par While LLMs can often infer correct mapping functions inductively, they struggle to apply these functions deductively, especially for unfamiliar tasks. \par π¨βπ§ Definition: Deductive reasoning is moving from general principles to specific conclusions, like applying given rules to solve problems, while inductive reasoning involves inferring general patterns or rules from specific observations. Deductive reasoning starts with a hypothesis and derives specific outcomes, whereas inductive reasoning formulates broad generalizations from individual instances. \par π The paper introduces a novel framework called SolverLearner to isolate and evaluate pure inductive reasoning abilities of LLMs. \par π SolverLearner uses a two-stage approach: 1) Function Proposal - LLMs learn an input-output mapping function from few-shot examples. 2) Function Execution - The learned function is applied through external code interpreters to solve test queries, removing LLM-based deductive reasoning. \par π The study evaluates LLMs on four tasks: arithmetic in different bases, basic syntactic reasoning with altered word orders, spatial reasoning with modified coordinate systems, and cipher decryption. \par π For each task, performance is compared across deductive settings (zero-shot and few-shot with explicit mapping functions) and inductive settings (few-shot without mapping functions and SolverLearner). \par π Results show LLMs struggle with deductive reasoning, especially for "counterfactual" tasks rarely seen in pretraining. However, they demonstrate strong inductive abilities through SolverLearner, often achieving perfect performance. \par π The effectiveness of inductive reasoning varies between models - GPT-4 consistently outperforms GPT-3.5 in learning correct input-output mappings. \par via - \href{https://x.com/rohanpaul_ai/status/1828778688151683227}{https://x.com/rohanpaul\_ai/status/1828778688151683227}} }
@misc{chollet2019measure, title = {On the Measure of Intelligence}, author = {Chollet, Fran{\c c}ois}, year = {2019}, eprint = {1911.01547}, primaryclass = {cs.AI}, url = {https://arxiv.org/abs/1911.01547}, archiveprefix = {arXiv} }
@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}, url = {http://dx.doi.org/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}, url = {http://dx.doi.org/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{dai2023gptlearnincontextlanguage, title = {Why Can {{GPT}} Learn In-Context? {{Language}} Models Implicitly Perform Gradient Descent as Meta-Optimizers}, author = {Dai, Damai and Sun, Yutao and Dong, Li and Hao, Yaru and Ma, Shuming and Sui, Zhifang and Wei, Furu}, year = {2023}, eprint = {2212.10559}, primaryclass = {cs.CL}, url = {https://arxiv.org/abs/2212.10559}, archiveprefix = {arXiv} }
@misc{dalal2024matrix, title = {The Matrix: A Bayesian Learning Model for Llms}, author = {Dalal, Siddhartha and Misra, Vishal}, year = {2024}, eprint = {2402.03175}, primaryclass = {cs.LG}, url = {https://arxiv.org/abs/2402.03175}, archiveprefix = {arXiv} }
@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}, url = {https://papers.ssrn.com/abstract=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} }
@techreport{dapper2010, title = {Dapper, a Large-Scale Distributed Systems Tracing Infrastructure}, author = {Sigelman, Benjamin H. and Barroso, Luiz Andr{\'e} and Burrows, Mike and Stephenson, Pat and Plakal, Manoj and Beaver, Donald and Jaspan, Saul and Shanbhag, Chandan}, year = {2010}, institution = {Google, Inc.}, url = {http://research.google.com/archive/papers/dapper-2010-1.pdf}, file = {/Users/pradeep/Zotero/storage/7BD8XT26/Sigelman et al. - 2010 - Dapper, a large-scale distributed systems tracing infrastructure.pdf} }
@misc{dasModelAlignmentProcess2024, title = {Model {{Alignment Process}}}, author = {Das, Sayantan}, year = {2024}, month = mar, journal = {Prem}, url = {https://blog.premai.io/model-alignment-process/}, 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}, 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}}}, url = {http://wiki.tudos.org/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}, url = {http://www.linuxshowcase.org/2001/full\_papers/dike/dike.pdf} }
@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}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.957}, 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}, note = {via silentbicycle on twitter} }
@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}, url = {http://doi.acm.org/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}, note = {Chapter 4 describes the essence of the Chez Scheme Version 1 run-time architecture.} }
@misc{E2fsprogsExt2Filesystem, title = {E2fsprogs: {{Ext2}}/3/4 {{Filesystem Utilities}}}, url = {http://e2fsprogs.sourceforge.net/} }
@misc{economopoulosPeekDragonFlyVirtual2007, title = {A {{Peek}} at the {{DragonFly Virtual Kernel}}}, author = {Economopoulos, Aggelos}, year = {2007}, url = {http://lwn.net/Articles/228404/}, 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}, url = {https://github.com/azlen/azlen.me}, urldate = {2023-07-03}, abstract = {Source code of azlen.me, that implmenets Andy Matuschak's Evergreen Notes style website.}, 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}, url = {http://ratfactor.com/forth/the\_programming\_language\_that\_writes\_itself.html}, urldate = {2023-07-16}, abstract = {An exploration of the evolution and meaning of the Forth programming language and its context in history.}, 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}, url = {http://sourceforge.net/projects/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}, url = {http://doi.acm.org/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}, url = {http://static.usenix.org/event/hotos05/final\_papers/full\_papers/garfinkel/garfinkel.pdf} }
@misc{geiping2022cramming, title = {Cramming: {{Training}} a Language Model on a Single {{GPU}} in One Day}, author = {Geiping, Jonas and Goldstein, Tom}, year = {2022}, eprint = {2212.14034}, primaryclass = {cs.CL}, url = {https://arxiv.org/abs/2212.14034}, archiveprefix = {arXiv} }
@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} }
@inproceedings{girdhar2023imagebind, title = {Imagebind: {{One}} Embedding Space to Bind Them All}, booktitle = {Proceedings of the {{IEEE}}/{{CVF}} Conference on Computer Vision and Pattern Recognition}, author = {Girdhar, Rohit and {El-Nouby}, Alaaeldin and Liu, Zhuang and Singh, Mannat and Alwala, Kalyan Vasudev and Joulin, Armand and Misra, Ishan}, year = {2023}, pages = {15180--15190}, url = {https://arxiv.org/abs/2305.05665} }
@misc{gu2024mambalineartimesequencemodeling, title = {Mamba: {{Linear-time}} Sequence Modeling with Selective State Spaces}, author = {Gu, Albert and Dao, Tri}, year = {2024}, eprint = {2312.00752}, primaryclass = {cs.LG}, url = {https://arxiv.org/abs/2312.00752}, archiveprefix = {arXiv} }
@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}, url = {http://www.gson.org/netbsd/bugs/build/} }
@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}, url = {https://calnewport.com/knowledge-workers-are-bad-at-working-and-heres-what-to-do-about-it/}, 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} }
@misc{hao2022structuredpromptingscalingincontext, title = {Structured Prompting: {{Scaling}} in-Context Learning to 1,000 Examples}, author = {Hao, Yaru and Sun, Yutao and Dong, Li and Han, Zhixiong and Gu, Yuxian and Wei, Furu}, year = {2022}, eprint = {2212.06713}, primaryclass = {cs.CL}, url = {https://arxiv.org/abs/2212.06713}, archiveprefix = {arXiv}, note = {Via @dosco - \href{https://x.com/dosco/status/1825683850980372761}{https://x.com/dosco/status/1825683850980372761}} }
@article{harizopoulos2022meta, title = {Meta's next-Generation Realtime Monitoring and Analytics Platform}, author = {Harizopoulos, Stavros and Hopper, Taylor and Mo, Morton and Chandrasekaran, Shyam Sundar and Chen, Tongguang and Cui, Yan and Ganesh, Nandini and Helmling, Gary and Pham, Hieu and Wong, Sebastian}, year = {2022}, journal = {Proceedings of the VLDB Endowment}, volume = {15}, number = {12}, pages = {3522--3534}, publisher = {VLDB Endowment}, url = {https://www.vldb.org/pvldb/vol15/p3522-mo.pdf}, file = {/Users/pradeep/Zotero/storage/PNN2TBZ2/Harizopoulos et al. - 2022 - Meta's next-generation realtime monitoring and analytics platform.pdf} }
@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} }
@article{helland2020data, title = {Data on the {{Outside}} vs. {{Data}} on the {{Inside}}: {{Data}} Kept Outside {{SQL}} Has Different Characteristics from Data Kept Inside.}, author = {Helland, Pat}, year = {2020}, journal = {Queue}, volume = {18}, number = {3}, pages = {43--60}, publisher = {ACM New York, NY, USA}, url = {https://queue.acm.org/detail.cfm?id=3415014} }
@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}}, note = {US Patent 4,809,168} }
@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}, url = {https://www.kodingkitty.com/blog/how-to-build-a-website/}, urldate = {2023-07-04}, abstract = {A simple toolchain that Koding Kitty uses for building its web.}, 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} }
@inproceedings{im2018pinot, title = {Pinot: {{Realtime}} Olap for 530 Million Users}, booktitle = {Proceedings of the 2018 International Conference on Management of Data}, author = {Im, Jean-Fran{\c c}ois and Gopalakrishna, Kishore and Subramaniam, Subbu and Shrivastava, Mayank and Tumbde, Adwait and Jiang, Xiaotian and Dai, Jennifer and Lee, Seunghyun and Pawar, Neha and Li, Jialiang and others}, year = {2018}, pages = {583--594}, url = {https://cwiki.apache.org/confluence/download/attachments/103092375/Pinot.pdf}, file = {/Users/pradeep/Zotero/storage/GS9B7MYR/Im et al. - 2018 - Pinot Realtime olap for 530 million users.pdf} }
@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}, url = {https://arxiv.org/abs/2403.14403}, 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{jm3, title = {Speech and Language Processing: {{An}} Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition with Language Models}, author = {Jurafsky, Daniel and Martin, James H.}, year = {2024}, url = {https://web.stanford.edu/{\textasciitilde}jurafsky/slp3/}, note = {Online manuscript released August 20, 2024} }
@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} }
@misc{kallini2024missionimpossiblelanguagemodels, title = {Mission: {{Impossible}} Language Models}, author = {Kallini, Julie and Papadimitriou, Isabel and Futrell, Richard and Mahowald, Kyle and Potts, Christopher}, year = {2024}, eprint = {2401.06416}, primaryclass = {cs.CL}, url = {https://arxiv.org/abs/2401.06416}, archiveprefix = {arXiv} }
@inproceedings{kampJailsConfiningOmnipotent2000, title = {Jails: {{Confining}} the Omnipotent Root}, booktitle = {Proceedings of {{SANE Conference}}}, author = {Kamp, Poul-Henning and Watson, Robert N. M.}, year = {2000}, url = {http://www.sane.nl/events/sane2000/papers/kamp.pdf} }
@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}, url = {https://doi.org/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} }
@misc{koilia2024hardwareaccelerationllmscomprehensive, title = {Hardware {{Acceleration}} of {{LLMs}}: {{A}} Comprehensive Survey and Comparison}, author = {Koilia, Nikoletta and Kachris, Christoforos}, year = {2024}, eprint = {2409.03384}, primaryclass = {cs.AR}, url = {https://arxiv.org/abs/2409.03384}, archiveprefix = {arXiv}, file = {/Users/pradeep/Zotero/storage/NDMWWXDR/Koilia and Kachris - 2024 - Hardware Acceleration of LLMs A comprehensive survey and comparison.pdf} }
@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}, note = {Abstract \par Reward models (RMs) are at the crux of successful RLHF to align pretrained models to human preferences, yet there has been relatively little study that focuses on evaluation of those reward models. Evaluating reward models presents an opportunity to understand the opaque technologies used for alignment of language models and which values are embedded in them. To date, very few descriptors of capabilities, training methods, or open-source reward models exist. In this paper, we present RewardBench, a benchmark dataset and code-base for evaluation, to enhance scientific understanding of reward models. The RewardBench dataset is a collection of prompt-win-lose trios spanning chat, reasoning, and safety, to benchmark how reward models perform on challenging, structured and out-of-distribution queries. We created specific comparison datasets for RMs that have subtle, but verifiable reasons (e.g. bugs, incorrect facts) why one answer should be preferred to another. On the RewardBench leaderboard, we evaluate reward models trained with a variety of methods, such as the direct MLE training of classifiers and the implicit reward modeling of Direct Preference Optimization (DPO), and on a spectrum of datasets. We present many findings on propensity for refusals, reasoning limitations, and instruction following shortcomings of various reward models towards a better understanding of the RLHF process.} }
@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}, url = {https://arxiv.org/abs/2403.20327}, archiveprefix = {arXiv}, keywords = {LLM,Text Embeddings}, note = {Explanation Thread: \href{https://twitter.com/ZetaVector/status/1775513153201148063}{https://twitter.com/ZetaVector/status/1775513153201148063}} }
@misc{leheyDebuggingKernelProblems2006, title = {Debugging Kernel Problems}, author = {Lehey, Greg}, year = {2006}, url = {http://www.lemis.com/grog/Papers/Debug-tutorial/tutorial.pdf} }
@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}, url = {http://www.linux.org.au/conf/2005/Papers/Ben\%20Leslie/Wombat\_\%20A\%20portable\%20user-mode\%20Linux\%20for\%20embedded\%20systems/index.html} }
@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}, url = {https://arxiv.org/abs/2402.05120}, archiveprefix = {arXiv}, keywords = {llm} }
@misc{LibguestfsToolsAccessing, title = {Libguestfs: Tools for Accessing and Modifying Virtual Machine Disk Images}, url = {http://libguestfs.org/} }
@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{lin2024accurate, title = {Towards Accurate and Efficient Document Analytics with Large Language Models}, author = {Lin, Yiming and Hulsebos, Madelon and Ma, Ruiying and Shankar, Shreya and Zeigham, Sepanta and Parameswaran, Aditya G. and Wu, Eugene}, year = {2024}, eprint = {2405.04674}, primaryclass = {cs.DB}, url = {https://arxiv.org/abs/2405.04674}, archiveprefix = {arXiv} }
@book{LiquetMokaNazarathy2024DeepLearning, title = {Mathematical Engineering of Deep Learning}, author = {Liquet, Benoit and Moka, Sarat and Nazarathy, Yoni}, year = {2024}, publisher = {CRC Press} }
@misc{liu2024kan, title = {{{KAN}}: {{Kolmogorov-arnold}} Networks}, author = {Liu, Ziming and Wang, Yixuan and Vaidya, Sachin and Ruehle, Fabian and Halverson, James and Solja{\v c}i{\'c}, Marin and Hou, Thomas Y. and Tegmark, Max}, year = {2024}, eprint = {2404.19756}, primaryclass = {cs.LG}, url = {https://arxiv.org/abs/2404.19756}, archiveprefix = {arXiv} }
@misc{liu2024kankolmogorovarnoldnetworks, title = {{{KAN}}: {{Kolmogorov-arnold}} Networks}, author = {Liu, Ziming and Wang, Yixuan and Vaidya, Sachin and Ruehle, Fabian and Halverson, James and Solja{\v c}i{\'c}, Marin and Hou, Thomas Y. and Tegmark, Max}, year = {2024}, eprint = {2404.19756}, primaryclass = {cs.LG}, url = {https://arxiv.org/abs/2404.19756}, archiveprefix = {arXiv} }
@misc{LLaMANowGoes, title = {{{LLaMA Now Goes Faster}} on {{CPUs}}}, url = {https://justine.lol/matmul/}, urldate = {2024-04-01}, abstract = {I wrote 84 new matmul kernels to improve llamafile CPU performance.}, langid = {english}, note = {Sapphire Rapids has been available in the public cloud, developers are still targeting AVX512 when they should be targeting VNNI and AMX. \par \href{https://github.com/ggerganov/llama.cpp/issues/2555}{https://github.com/ggerganov/llama.cpp/issues/2555} \par via - \href{https://news.ycombinator.com/item?id=39890570}{https://news.ycombinator.com/item?id=39890570}}, 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} }
@misc{luo2024additionneedenergyefficientlanguage, title = {Addition Is All You Need for Energy-Efficient Language Models}, author = {Luo, Hongyin and Sun, Wei}, year = {2024}, eprint = {2410.00907}, primaryclass = {cs.CL}, url = {https://arxiv.org/abs/2410.00907}, archiveprefix = {arXiv} }
@misc{ma2024megalodon, title = {Megalodon: {{Efficient LLM}} Pretraining and Inference with Unlimited Context Length}, author = {Ma, Xuezhe and Yang, Xiaomeng and Xiong, Wenhan and Chen, Beidi and Yu, Lili and Zhang, Hao and May, Jonathan and Zettlemoyer, Luke and Levy, Omer and Zhou, Chunting}, year = {2024}, eprint = {2404.08801}, primaryclass = {cs.LG}, url = {https://arxiv.org/abs/2404.08801}, 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}, url = {http://dl.acm.org/citation.cfm?id=2789770.2789809}, 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}, url = {http://doi.acm.org/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}, url = {http://doi.acm.org/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}, url = {http://dl.acm.org/citation.cfm?id=2616448.2616491}, 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}, url = {http://www.x86-64.org/documentation/abi-0.99.5.pdf} }
@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}, url = {http://www.mckusick.com/BSDCan/bsdcan2010.pdf} }
@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}, url = {https://doi.org/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}, url = {http://www.NetBSD.org/{\textasciitilde}jmmv/atf/} }
@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{michael1996simple, title = {Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms}, booktitle = {Proceedings of the Fifteenth Annual {{ACM}} Symposium on {{Principles}} of Distributed Computing}, author = {Michael, Maged M and Scott, Michael L}, year = {1996}, pages = {267--275} }
@misc{miller2024wordllama, title = {{{WordLlama}}: {{Recycled}} Token Embeddings from Large Language Models}, author = {Miller, D. Lee}, year = {2024}, url = {https://github.com/dleemiller/wordllama} }
@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}}, url = {http://www.mutt.org/} }
@misc{nanzComparativeStudyProgramming2014, title = {A {{Comparative Study}} of {{Programming Languages}} in {{Rosetta Code}}}, author = {Nanz, Sebastian and Furia, Carlo A.}, year = {2014}, url = {http://arxiv.org/abs/1409.0252} }
@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}}, url = {http://www.NetBSD.org/} }
@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} }
@inproceedings{neumann2020umbra, title = {Umbra: A Disk-Based System with in-Memory Performance.}, booktitle = {{{CIDR}}}, author = {Neumann, Thomas and Freitag, Michael J}, year = {2020}, volume = {20}, pages = {29}, url = {https://db.in.tum.de/{\textasciitilde}freitag/papers/p29-neumann-cidr20.pdf} }
@misc{niemiMtools2007, title = {Mtools}, author = {Niemi, David and Knaff, Alain}, year = {2007}, url = {http://mtools.linux.lu/} }
@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}}, url = {http://www.openssh.com/} }
@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}, url = {http://doi.acm.org/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}, url = {http://doi.acm.org/10.1145/1559845.1559865}, isbn = {978-1-60558-551-2}, keywords = {benchmarks,mapreduce,parallel database} }
@article{pedreira2023composable, title = {The Composable Data Management System Manifesto}, author = {Pedreira, Pedro and Erling, Orri and Karanasos, Konstantinos and Schneider, Scott and McKinney, Wes and Valluri, Satya R and Zait, Mohamed and Nadeau, Jacques}, year = {2023}, journal = {Proceedings of the VLDB Endowment}, volume = {16}, number = {10}, pages = {2679--2685}, publisher = {VLDB Endowment}, url = {https://www.vldb.org/pvldb/vol16/p2679-pedreira.pdf} }
@article{petricek2017data, title = {Data Exploration through Dot-Driven Development}, author = {Petricek, Tomas}, year = {2017}, journal = {ECOOP 2017}, pages = {21}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum}, url = {https://kar.kent.ac.uk/67139/}, note = {Found it via Aditya's ~Nim Talk - \href{https://www.youtube.com/watch?v=d2VRuZo2pdA}{https://www.youtube.com/watch?v=d2VRuZo2pdA}} }
@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}, url = {http://doc.cat-v.org/bell\_labs/utah2000/} }
@misc{PkgsrcNetBSDPackages, title = {Pkgsrc: {{The NetBSD Packages Collection}}}, url = {http://www.pkgsrc.org/} }
@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}, url = {http://dx.doi.org/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}, url = {http://nms.csail.mit.edu/\%7Ekandula/data/daytona.pdf} }
@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} }
@book{prince2023understanding, title = {Understanding Deep Learning}, author = {Prince, Simon J.D.}, year = {2023}, publisher = {The MIT Press}, url = {http://udlbook.com} }
@misc{protocolTransportLayerSecurity2008, title = {The {{Transport Layer Security}}({{TLS}}) {{Protocol}}}, author = {Protocol, The Transport Layer Security (TLS)}, year = {2008}, note = {RFC 5246} }
@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{qian2023communicative, title = {Communicative Agents for Software Development}, author = {Qian, Chen and Cong, Xin and Liu, Wei and Yang, Cheng and Chen, Weize and Su, Yusheng and Dang, Yufan and Li, Jiahao and Xu, Juyuan and Li, Dahai and Liu, Zhiyuan and Sun, Maosong}, year = {2023}, eprint = {2307.07924}, primaryclass = {cs.SE}, url = {https://arxiv.org/abs/2307.07924}, archiveprefix = {arXiv} }
@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} }
@misc{ren2024samba, title = {Samba: {{Simple}} Hybrid State Space Models for Efficient Unlimited Context Language Modeling}, author = {Ren, Liliang and Liu, Yang and Lu, Yadong and Shen, Yelong and Liang, Chen and Chen, Weizhu}, year = {2024}, eprint = {2406.07522}, primaryclass = {id='cs.CL' full\_name='Computation and Language' is\_active=True alt\_name='cmp-lg' in\_archive='cs' is\_general=False description='Covers natural language processing. Roughly includes material in ACM Subject Class I.2.7. Note that work on artificial languages (programming languages, logics, formal systems) that does not explicitly address natural-language issues broadly construed (natural-language processing, computational linguistics, speech, text retrieval, etc.) is not appropriate for this area.'}, url = {https://arxiv.org/abs/2406.07522}, archiveprefix = {arXiv} }
@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}, url = {http://doi.acm.org/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} }
@book{Roberts_2022, title = {The Principles of Deep Learning Theory: {{An}} Effective Theory Approach to Understanding Neural Networks}, author = {Roberts, Daniel A. and Yaida, Sho and Hanin, Boris}, year = {2022}, month = may, publisher = {Cambridge University Press}, doi = {10.1017/9781009023405}, url = {http://dx.doi.org/10.1017/9781009023405}, isbn = {978-1-316-51933-2} }
@misc{sarmah2024hybridragintegratingknowledgegraphs, title = {{{HybridRAG}}: {{Integrating}} Knowledge Graphs and Vector Retrieval Augmented Generation for Efficient Information Extraction}, author = {Sarmah, Bhaskarjit and Hall, Benika and Rao, Rohan and Patel, Sunil and Pasquali, Stefano and Mehta, Dhagash}, year = {2024}, eprint = {2408.04948}, primaryclass = {cs.CL}, url = {https://arxiv.org/abs/2408.04948}, archiveprefix = {arXiv} }
@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}, url = {http://www.americanscientist.org/issues/pub/2010/3/the-bootstrap/1} }
@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} }
@misc{shi2024surveyemployinglargelanguage, title = {A Survey on Employing Large Language Models for Text-to-{{SQL}} Tasks}, author = {Shi, Liang and Tang, Zhengju and Yang, Zhi}, year = {2024}, eprint = {2407.15186}, primaryclass = {cs.CL}, url = {https://arxiv.org/abs/2407.15186}, archiveprefix = {arXiv} }
@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}, note = {RFC 1055} }
@misc{SlirpPPPSLIPonterminal, title = {Slirp, the {{PPP}}/{{SLIP-on-terminal}} Emulator}, url = {http://slirp.sourceforge.net/} }
@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}}}, url = {http://bookofhook.blogspot.com/2013/03/smart-guy-productivity-pitfalls.html}, 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} }
@article{Smith2017, title = {Two Decades of Recommender Systems at {{Amazon}}.Com}, author = {Smith, Brent and Linden, Greg}, year = {2017}, journal = {IEEE Internet Computing}, url = {https://www.amazon.science/publications/two-decades-of-recommender-systems-at-amazon-com} }
@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}, url = {http://fuse.sourceforge.net/} }
@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}, url = {https://arxiv.org/abs/2403.17927}, archiveprefix = {arXiv} }
@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}, url = {http://www.acme.com/software/thttpd/} }
@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{TILMermaidGantt, title = {{{TIL}}: {{Mermaid Gantt}} Diagrams Are Great for Displaying Distributed Traces in {{Markdown}} - Brycemecum.Com}, url = {https://brycemecum.com/2023/03/31/til-mermaid-tracing/}, urldate = {2024-07-22}, file = {/Users/pradeep/Zotero/storage/MBAUUY68/til-mermaid-tracing.html} }
@misc{Tooltip, title = {Tooltip}, url = {https://waivek.github.io/website/tooltip.html}, urldate = {2023-07-27}, file = {/Users/pradeep/Zotero/storage/RABG7EJE/tooltip.html} }
@misc{torekDeviceConfiguration4BSD1992, title = {Device {{Configuration}} in 4.{{4BSD}}}, author = {Torek, Chris}, year = {1992}, month = dec, url = {http://www.netbsd.org/docs/kernel/config-torek.ps} }
@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}, url = {https://redbean.dev/}, urldate = {2023-07-03}, abstract = {single file distributable web server}, 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} }
@misc{vankempen2024itseasygreenenergy, title = {It's Not Easy Being Green: {{On}} the Energy Efficiency of Programming Languages}, author = {{van Kempen}, Nicolas and Kwon, Hyuk-Je and Nguyen, Dung Tuan and Berger, Emery D.}, year = {2024}, eprint = {2410.05460}, primaryclass = {cs.PL}, url = {https://arxiv.org/abs/2410.05460}, archiveprefix = {arXiv} }
@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.}, url = {https://proceedings.neurips.cc/paper\_files/paper/2017/file/3f5ee243547dee91fbd053c1c4a845aa-Paper.pdf} }
@misc{veluri2024look, title = {Look Once to Hear: {{Target}} Speech Hearing with Noisy Examples}, author = {Veluri, Bandhav and Itani, Malek and Chen, Tuochao and Yoshioka, Takuya and Gollakota, Shyamnath}, year = {2024}, eprint = {2405.06289}, primaryclass = {cs.SD}, url = {https://arxiv.org/abs/2405.06289}, archiveprefix = {arXiv} }
@article{wadler1987critique, title = {A Critique of {{Abelson}} and {{Sussman}} or Why Calculating Is Better than Scheming}, author = {Wadler, Philip}, year = {1987}, journal = {ACM SIGPLAN Notices}, volume = {22}, number = {3}, pages = {83--94}, publisher = {ACM New York, NY, USA}, url = {https://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.pdf} }
@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}, url = {https://arxiv.org/abs/2403.18802}, note = {Github URL: \href{https://github.com/google-deepmind/long-form-factuality}{https://github.com/google-deepmind/long-form-factuality}} }
@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}, url = {http://lwn.net/images/conf/rtlws-2011/proc/Doebel.pdf} }
@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}, url = {https://arxiv.org/abs/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}, url = {http://www.linuxsymposium.org/archives/OLS/Reprints-2001/woodhouse.pdf} }
@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} }
@techreport{wu2023autogen, title = {{{AutoGen}}: {{Enabling}} next-Gen {{LLM}} Applications via Multi-Agent Conversation}, author = {Wu, Qingyun and Bansal, Gagan and Zhang, Jieyu and Wu, Yiran and Zhang, Shaokun and Zhu, Erkang (Eric) and Li, Beibin and Jiang, Li and Zhang, Xiaoyun and Wang, Chi}, year = {2023}, month = aug, number = {MSR-TR-2023-33}, institution = {Microsoft}, url = {https://www.microsoft.com/en-us/research/publication/autogen-enabling-next-gen-llm-applications-via-multi-agent-conversation-framework/}, abstract = {We present AutoGen, an open-source framework that allows developers to build LLM applications via multiple agents that can converse with each other to accomplish tasks. AutoGen agents are customizable, conversable, and can operate in various modes that employ combinations of LLMs, human inputs, and tools. Using AutoGen, developers can also flexibly define agent interaction behaviors. Both natural language and computer code can be used to program flexible conversation patterns for different applications. AutoGen serves as a generic infrastructure to build diverse applications of various complexities and LLM capacities. We provide many examples to build effective applications for domains ranging from mathematics, coding, question answering, operations research, online decision-making, entertainment, etc.} }
@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} }
@misc{yang2024sweagent, title = {{{SWE-agent}}: {{Agent}} Computer Interfaces Enable Software Engineering Language Models}, author = {Yang, John and Jimenez, Carlos E. and Wettig, Alexander and Yao, Shunyu and Narasimhan, Karthik and Press, Ofir}, year = {2024}, url = {https://swe-agent.com}, note = {\textbf{SWE-agent}~turns LMs (e.g. GPT-4) into software engineering agents that can fix bugs and issues in real GitHub repositories. \par We accomplish these results by designing simple LM-centric commands and specially-built input and output formats to make it easier for the LM to browse the repository, view, edit and execute code files. We call this~\textbf{Agent-Computer Interface (ACI)}~and build the SWE-agent repository to make it easy to iterate on ACI design for repository-level coding agents.} }
@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} }
@misc{you2024ferretui, title = {Ferret-{{UI}}: {{Grounded}} Mobile {{UI}} Understanding with Multimodal {{LLMs}}}, author = {You, Keen and Zhang, Haotian and Schoop, Eldon and Weers, Floris and Swearngin, Amanda and Nichols, Jeffrey and Yang, Yinfei and Gan, Zhe}, year = {2024}, eprint = {2404.05719}, primaryclass = {cs.CV}, url = {https://arxiv.org/abs/2404.05719}, archiveprefix = {arXiv}, keywords = {LLM} }
@inproceedings{ysmalFsutilsFileSystems2009, title = {Fs-Utils: {{File Systems Access Tools}} for {{Userland}}}, booktitle = {Proceedings of {{EuroBSDCon}}}, author = {Ysmal, Arnaud and Kantee, Antti}, year = {2009}, url = {http://www.netbsd.org/{\textasciitilde}stacktic/ebc09\_fs-utils\_paper.pdf} }
@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}, url = {https://arxiv.org/abs/2401.10020}, archiveprefix = {arXiv}, keywords = {LLM,Reward Models}, note = {\subsection{Abstract} \par We posit that to achieve superhuman agents, future models require super- human feedback in order to provide an adequate training signal. Current approaches commonly train reward models from human preferences, which may then be bottlenecked by human performance level, and secondly these separate frozen reward models cannot then learn to improve during LLM training. In this work, we study \emph{Self-Rewarding Language Models}, where the language model itself is used via LLM-as-a-Judge prompting to provide its own rewards during training. We show that during Iterative DPO training that not only does instruction following ability improve, but also the ability to provide high-quality rewards to itself. Fine-tuning Llama 2 70B on three iterations of our approach yields a model that outperforms many existing systems on the AlpacaEval 2.0 leaderboard, including Claude 2, Gemini Pro, and GPT-4 0613. While there is much left still to explore, this work opens the door to the possibility of models that can continually improve in both axes.} }
@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}}}, url = {http://www.opensolaris.org/os/community/zfs/source/} }
@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} }
@misc{zhuang2024chuxin, title = {{{ChuXin}}: 1.{{6B}} Technical Report}, author = {Zhuang, Xiaomin and Jiang, Yufan and He, Qiaozhi and Wu, Zhihua}, year = {2024}, eprint = {2405.04828}, primaryclass = {cs.CL}, url = {https://arxiv.org/abs/2405.04828}, archiveprefix = {arXiv} }
This file was generated by bibtex2html 1.99.