commit
8b18b1ca56
@ -1,12 +1,14 @@
|
||||
# Combinatory Logic
|
||||
|
||||
* [Flattening Combinators: Surviving Without Parentheses]
|
||||
by Chris Okasaki (2003)
|
||||
by Chris Okasaki (2003) ([DOI])
|
||||
|
||||
* [Combinatorial Analysis and Computers]
|
||||
by Marshall Hall Jr. and Donald E. Knuth (1965)
|
||||
|
||||
[Flattening Combinators: Surviving Without Parentheses]:
|
||||
http://www.westpoint.edu/eecs/SiteAssets/SitePages/Faculty%20Publication%20Documents/Okasaki/jfp03flat.pdf
|
||||
https://web.archive.org/web/20170828181221/http://www.westpoint.edu:80/eecs/SiteAssets/SitePages/Faculty%20Publication%20Documents/Okasaki/jfp03flat.pdf
|
||||
[DOI]:
|
||||
https://doi.org/10.1017/S0956796802004483
|
||||
[Combinatorial Analysis and Computers]:
|
||||
http://poncelet.math.nthu.edu.tw/disk5/js/computer/hall-knuth.pdf
|
||||
|
Binary file not shown.
@ -1,6 +1,7 @@
|
||||
# Design
|
||||
* [No Silver Bullet — Essence and Accidents of Software Engineering](http://faculty.salisbury.edu/~xswang/Research/Papers/SERelated/no-silver-bullet.pdf)
|
||||
* [Traits: A Mechanism for Fine-Grained Reuse](http://scg.unibe.ch/archive/papers/Duca06bTOPLASTraits.pdf)
|
||||
* [THING-MODEL-VIEW-EDITOR an Example from a planningsystem](http://heim.ifi.uio.no/~trygver/1979/mvc-1/1979-05-MVC.pdf)
|
||||
|
||||
* :scroll: [Out of the Tar Pit](out-of-the-tar-pit.pdf)
|
||||
> We identify common causes of complexity and discuss general approaches which can be taken to eliminate them where they are accidental in nature.
|
||||
|
@ -1,3 +1,11 @@
|
||||
# Digital Currency
|
||||
|
||||
* :scroll: [Bitcoin](bitcoin.pdf)
* :scroll: [PeerCoin](peercoin.pdf)
* :scroll: [PrimeCoin](primecoin.pdf)
|
||||
## External Papers
|
||||
|
||||
* [Ethereum: a secure decentralized generalized transaction ledger](https://ethereum.github.io/yellowpaper/paper.pdf)
|
||||
|
||||
## Hosted Papers
|
||||
|
||||
* :scroll: [Bitcoin](bitcoin.pdf)
|
||||
* :scroll: [PeerCoin](peercoin.pdf)
|
||||
* :scroll: [PrimeCoin](primecoin.pdf)
|
||||
|
@ -0,0 +1,16 @@
|
||||
# Fault Protection
|
||||
|
||||
## External Papers
|
||||
|
||||
* [GN&C Fault Protection Fundamentals](https://trs.jpl.nasa.gov/bitstream/handle/2014/41696/08-0125.pdf)
|
||||
> As software becomes more and more integrated in our daily lives, we
|
||||
> need, more than ever, for the software we write to work reliably in a
|
||||
> wide range of conditions--even, and especially, in unexpected
|
||||
> conditions. This paper, written by Robert Rasmussen from the Jet
|
||||
> Propulsion Laboratory in 2008, documents and explains some fundamental
|
||||
> principles about designing fault tolerant systems as learned through
|
||||
> the hard-won experience of designing Guidance, Navigation, and Control
|
||||
> (GN&C) systems for spacecraft. This paper is rich in principles,
|
||||
> examples, and advice, and has a lot to offer to our industry
|
||||
> generally--even for those of us who don't actively work on software for
|
||||
> spaceships!
|
@ -0,0 +1,16 @@
|
||||
# Programming Language Theory
|
||||
|
||||
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features.
|
||||
|
||||
## Included Papers
|
||||
|
||||
* :scroll: [On the Expressive Power of Programming Languages](scp91-felleisen.ps.gz) [sciencedirect](https://www.sciencedirect.com/science/article/pii/016764239190036W)(Matthias Felleisen): "The literature on programming languages contains an abundance of informal
|
||||
claims on the relative expressive power of programming languages, but there
|
||||
is no framework for formalizing such statements nor for deriving interesting
|
||||
consequences. As a first step in this direction, we develop a formal notion
|
||||
of expressiveness and investigate its properties. To demonstrate the theory's
|
||||
closeness to published intuitions on expressiveness, we analyze the expressive
|
||||
power of several extensions of functional languages. Based on these results,
|
||||
we believe that our system correctly captures many of the informal ideas on
|
||||
expressiveness, and that it constitutes a good basis for further research in this
|
||||
direction. " (abstract)
|
Binary file not shown.
@ -1,7 +1,7 @@
|
||||
## Networks
|
||||
|
||||
* [Bimodal Multicast](http://www.csl.mtu.edu/cs6461/www/Reading/Birman99.pdf)
|
||||
* [End-to-End Arguments in System Design](http://www.reed.com/dpr/locus/Papers/EndtoEnd.html)
|
||||
* [End-to-End Arguments in System Design](http://www.deepplum.com/dpr/locus/Papers/EndtoEnd.html)
|
||||
* [Can SPDY Really Make the Web Faster?](http://www.comp.lancs.ac.uk/~elkhatib//Docs/2014.06_Netw.pdf)
|
||||
* [Datacenter Traffic Control: Understanding Techniques and Trade-offs](https://osf.io/6qzxc/)
|
||||
* [B4: Experience with a Globally-Deployed Software Defined WAN](https://dl.acm.org/citation.cfm?id=2486019)
|
||||
|
@ -0,0 +1,10 @@
|
||||
## Software Engineering
|
||||
|
||||
* [Studying Attitudes and Social Norms in Agile Software Development (2019)](https://arxiv.org/pdf/1904.09225.pdf) by Lucas Gren
|
||||
> This paper reviews research on attitudes and social norms and connect it to the agile software development context. Author proposes additional theories from social psychology that would most certainly be useful for further sense-making of human factors-related research on agile teams.
|
||||
|
||||
* [Happiness and the productivity of software engineers (2019)](https://arxiv.org/ftp/arxiv/papers/1904/1904.08239.pdf) by Daniel Graziotin & Fabian Fagerholm
|
||||
> This paper provides an overview of studies on the happiness of software developers. You will learn why it is important to make software developers happy, how happy they really are, what makes them unhappy, and what is expected for their productivity while developing software.
|
||||
|
||||
* [Why Software Projects need Heroes (Lessons Learned from 1100+ Projects) (2019)](https://arxiv.org/pdf/1904.09954.pdf) by Suvodeep Majumder, Joymallya Chakraborty, Amritanshu Agrawal & Tim Menzies
|
||||
> This paper explores the effect of having heroes in projects, from a code quality perspective. Authors identify the hero developers of 1100+ open source GitHub projects. Based on the analysis, they find the majority of all projects are *"hero" projects* and commits from *hero developers* (who contribute the most code) result in far fewer bugs than other developers -- which is contrary to the literature.
|
@ -0,0 +1,78 @@
|
||||
# Unikernels
|
||||
|
||||
## First-wave: lightweight kernels (microkernels)
|
||||
|
||||
* [HYDRA: the kernel of a multiprocessor operating system](https://kilthub.cmu.edu/articles/HYDRA_--_the_kernel_of_a_multiprocessor_operating_system/6606224/files/12096734.pdf)
|
||||
* [Two years of experience with a μ-Kernel based OS](https://dl.acm.org/citation.cfm?id=122124)
|
||||
* [A persistent system in real use-experiences of the first 13 years](https://os.itec.kit.edu/downloads/publ_1993_liedtke_persistent-system-in-real-use.pdf)
|
||||
* [SPIN: An extensible microkernel for application-specific operating system services](https://apps.dtic.mil/dtic/tr/fulltext/u2/a293537.pdf)
|
||||
* [Extensibility safety and performance in the SPIN operating system](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.117.6702&rep=rep1&type=pdf)
|
||||
* [Policy/mechanism separation in Hydra](https://www.systems.ethz.ch/sites/default/files/file/aos2012/Reading/week9/Policy%20mechanism%20separation%20in%20Hydra.pdf)
|
||||
* [Improving IPC by kernel design](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.55.9939&rep=rep1&type=pdf)
|
||||
|
||||
## Second-wave: cloud optimization (exokernels, multikernels)
|
||||
|
||||
* [Exokernel: An operating system architecture for application-level resource management](http://pages.cs.wisc.edu/~remzi/Classes/736/Spring2014/Papers/exo-sosp95.pdf)
|
||||
* [Exterminate all operating system abstractions](http://studies.ac.upc.es/doctorat/ENGRAP/hotos-jeremiad.pdf)
|
||||
* [The Clive Operating System](http://lsub.org/export/clivesys.pdf)
|
||||
* [The Multikernel: A new OS architecture for scalable multicore systems](http://www.cse.iitd.ac.in/~sbansal/csl862-os/readings/barrelfish.pdf)
|
||||
* [IX: A Protected Dataplane Operating System for High Throughput and Low Latency](https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-belay.pdf)
|
||||
* [The IX Operating System: Combining Low Latency, High Throughput, and Efficiency in a Protected Dataplane](https://infoscience.epfl.ch/record/223617/files/tocs16-ix.pdf)
|
||||
* [Contiki - a lightweight and flexible operating system for tiny networked sensors](http://perso.citi.insa-lyon.fr/trisset/cours/rts12/articles/DGV04-contiki.pdf)
|
||||
* [Arrakis: The Operating System Is the Control Plane](https://dl.acm.org/citation.cfm?id=2812806)
|
||||
* [Embracing diversity in the Barrelfish manycore operating system](http://www.barrelfish.org/publications/barrelfish_mmcs08.pdf)
|
||||
* [Decoupling Cores, Kernels, and Operating Systems](https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-zellweger.pdf)
|
||||
|
||||
## Unikernels: bespoke, compile-time specialization based on a libOS
|
||||
|
||||
### Introduction
|
||||
|
||||
* [Unikernels: Library Operating Systems for the Cloud](http://anil.recoil.org/papers/2013-asplos-mirage.pdf)
|
||||
* [Unikernels: the rise of the virtual library operating system](https://cacm.acm.org/magazines/2014/1/170866-unikernels/fulltext)
|
||||
* [Maximizing hypervisor scalability using minimal virtual machines](https://core.ac.uk/download/pdf/35074556.pdf)
|
||||
* [Breaking up is hard to do: security and functionality in a commodity hypervisor](https://open.library.ubc.ca/media/download/pdf/24/1.0052016/1)
|
||||
* [A case for high performance computing with virtual machines](http://mvapich.cse.ohio-state.edu/static/media/publications/abstract/huangwei-ics06.pdf)
|
||||
* [Comparing the robustness of POSIX operating systems](https://users.ece.cmu.edu/~koopman/ballista/ftcs99/ftcs99.pdf)
|
||||
* [Exploring the Design Space of Combining Linux with Lightweight Kernels for Extreme Scale Computing](http://www.sys.r-ccs.riken.jp/members_files/bgerofi/papers/ross15-linux+lwk.pdf)
|
||||
* [Using kernel hypervisors to secure applications](https://ieeexplore.ieee.org/abstract/document/646188)
|
||||
|
||||
### Specific libOS implementations
|
||||
|
||||
* [IncludeOS: A minimal, resource efficient unikernel for cloud services](http://folk.uio.no/paalee/publications/2015-cloudcom.pdf)
|
||||
* [OSv—optimizing the operating system for virtual machines](https://www.usenix.org/system/files/conference/atc14/atc14-paper-kivity.pdf)
|
||||
* [ClickOS and the art of network function virtualization](https://www.usenix.org/system/files/conference/nsdi14/nsdi14-paper-martins.pdf)
|
||||
* [Enabling fast, dynamic network processing with clickos](http://conferences.sigcomm.org/sigcomm/2013/papers/hotsdn/p67.pdf)
|
||||
* [The rump kernel: A tool for driver development and a toolkit for applications](https://www.netbsd.org/gallery/presentations/justin/2015_AsiaBSDCon/justincormack-abc2015.pdf)
|
||||
* [Flexible operating system internals: the design and implementation of the anykernel and rump kernels](https://aaltodoc.aalto.fi/bitstream/handle/123456789/6318/isbn9789526049175.pdf?sequence=1)
|
||||
* [Rump Kernels: No OS? No Problem!](https://www.usenix.org/system/files/login/articles/login_1410_03_kantee.pdf)
|
||||
* [HermitCore: A Unikernel for Extreme Scale Computing](https://dl.acm.org/citation.cfm?id=2931093)
|
||||
* [llamaOS: A Solution for Virtualized High-Performance Computing Clusters](https://ieeexplore.ieee.org/document/6969511)
|
||||
* [KylinX: A Dynamic Library Operating System for Simplified and Efficient Cloud Virtualization](https://www.usenix.org/conference/atc18/presentation/zhang-yiming)
|
||||
|
||||
### Performance, comparisons and analysis
|
||||
|
||||
* [The impact of operating system structure on memory system performance](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.52.4651&rep=rep1&type=pdf)
|
||||
* [Hypervisors vs. Lightweight Virtualization: A Performance Comparison](https://www.researchgate.net/profile/Roberto_Morabito/publication/273756984_Hypervisors_vs_Lightweight_Virtualization_A_Performance_Comparison/links/550a83660cf26198a63afb10.pdf)
|
||||
* [A performance evaluation of rump kernels as a multi-server os building block on sel4](http://echronos.systems/publications/csiro_full_text/Elphinstone_ZMH_17.pdf)
|
||||
* [An updated performance comparison of virtual machines and linux containers](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.471.9242&rep=rep1&type=pdf)
|
||||
* [My VM is Lighter (and Safer) than your Container](https://dl.acm.org/citation.cfm?id=3132763)
|
||||
* [Security of OS-level virtualization technologies: Technical report](https://arxiv.org/pdf/1407.4245v1.pdf)
|
||||
* [Time Provisioning Evaluation of KVM, Docker and Unikernels in a Cloud Platform](http://repositorio.pucrs.br/dspace/bitstream/10923/14178/2/Time_provisioning_evaluation_of_KVM_Docker_and_Unikernels_in_a_Cloud_Platform.pdf)
|
||||
|
||||
### Applications of Unikernels
|
||||
|
||||
* [Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services](https://www.usenix.org/node/189029)
|
||||
* [Unikernel-based approach for software-defined security in cloud infrastructures](https://hal.inria.fr/hal-01798793/document)
|
||||
* [FADES: Fine-Grained Edge Offloading with Unikernels](http://home.in.tum.de/~ding/files/fades-pre-camera.pdf)
|
||||
* [Enterprise IoT security and scalability: how unikernels can improve the status Quo](http://aura.abdn.ac.uk/bitstream/handle/2164/7988/PID4488667.pdf?sequence=1&isAllowed=y)
|
||||
* [Unikernels Everywhere: The Case for Elastic CDNs](https://dl.acm.org/citation.cfm?id=3050757)
|
||||
* [Towards minimalistic, virtualized content caches with minicache](http://cnp.neclab.eu/projects/minicache/minicache-workshop.pdf)
|
||||
* [Jitsu: Just-in-time summoning of unikernels](https://www.usenix.org/system/files/conference/nsdi15/nsdi15-paper-madhavapeddy.pdf)
|
||||
* [Enabling fast, dynamic network processing with clickOS](http://conferences.sigcomm.org/sigcomm/2013/papers/hotsdn/p67.pdf)
|
||||
* [uniprof: A Unikernel Stack Profiler](https://flosch.eu/papers/2017-sigcomm-uniprof.pdf)
|
||||
* [On the Fly TCP Acceleration with Miniproxy](https://arxiv.org/pdf/1605.06285.pdf)
|
||||
* [Unikernel monitors: extending minimalism outside of the box](https://www.usenix.org/system/files/conference/hotcloud16/hotcloud16_williams.pdf)
|
||||
* [Unikernels As Processes](https://sjmulder.nl/dl/pdf/2018%20-%20Williams%20et%20al%20-%20Unikernels%20as%20Processes.pdf)
|
||||
* [On the Fly Orchestration of Unikernels: Tuning and Performance Evaluation of Virtual Infrastructure Managers](https://arxiv.org/pdf/1809.07701.pdf)
|
||||
* [Live updating in Unikernels](https://www.duo.uio.no/bitstream/handle/10852/59240/45/live-updating-unikernels.pdf)
|
||||
* [Android Unikernel: Gearing mobile code offloading towards edge computing](http://grid.hust.edu.cn/wusong/file/FGCS18.pdf)
|
@ -1,5 +1,18 @@
|
||||
## Virtual Machines
|
||||
|
||||
* [One VM to Rule Them All](http://lafo.ssw.uni-linz.ac.at/papers/2013_Onward_OneVMToRuleThemAll.pdf)
|
||||
- This is an exciting VM implementation that incorporates AST node rewriting and an optimizing compiler. It enables the implementation of, and excellent performance for, a wide range of languages.
|
||||
* [A Comparison of Software and Hardware Techniques for x86
|
||||
Virtualization](http://www.vmware.com/pdf/asplos235_adams.pdf)
|
||||
- virtualization theory background
|
||||
|
||||
## System Virtualization
|
||||
|
||||
* [Xen and the Art of Virtualization](http://www.cl.cam.ac.uk/research/srg/netos/papers/2003-xensosp.pdf)
|
||||
|
||||
* :scroll: [kvm: the Linux Virtual Machine Monitor](kvm-linux-virtual-machines-monitor.pdf)
|
||||
|
||||
### Live migration of Virtual Machines
|
||||
|
||||
* :scroll: [Live Migration of Virtual Machines](live-migration-of-virtual-machines.pdf
|
||||
)
|
||||
|
Loading…
Reference in new issue