The morning paper

Feed since 12 Jun 2019

a random walk through Computer Science research, by Adrian Colyer

Bookmarks (78)

  • screenshot

    Benchmarking spreadsheet systems

    Benchmarking spreadsheet systems Rahman et al., Preprint A recent TwThread drew my attention to this pre-print...

  • screenshot

    Declarative assembly of web applications from pre-defined concepts

    Declarative assembly of web applications from predefined concepts De Rosso et al., Onward! 2019 I chose...

  • screenshot

    Efficient lock-free durable sets

    Efficient lock-free durable sets Zuriel et al., OOPSLA’19 Given non-volatile memory (NVRAM), the naive hope for...

  • screenshot

    TLA+ model checking made symbolic

    TLA+ model checking made symbolic Konnov et al., OOPSLA’19 TLA+ is a formal specification language (Temporal...

  • screenshot

    Mergeable replicated data types – Part II

    Mergeable replicated data types – part II Kaki et al., OOPLSA ’19 Last time out we...

  • screenshot

    Mergeable replicated data types – Part I

    Mergeable replicated data types Kaki et al., OOPSLA’19 This paper was published at OOPSLA, but perhaps...

  • screenshot

    PlanAlyzer: assessing threats to the validity of online experiments

    PlanAlyzer: assessing threats to the validity of online experiments Tosch et al., OOPSLA’19 It’s easy to...

  • screenshot

    Local-first software: you own your data, in spite of the cloud

    Local-first software: you own your data, in spite of the cloud Kleppmann et al., Onward! ’19...

  • screenshot

    Formal foundations of serverless computing

    Formal foundations of serverless computing Jangda et al., OOPSLA’19 Jangda et al. won a distinguished paper...

  • screenshot

    Taiji: managing global user traffic for large-scale Internet services at the edge

    Taiji: managing global user traffic for large-scale internet services at the edge Xu et al., SOSP’19...

  • screenshot

    Scaling symbolic evaluation for automated verification of systems code with Serval

    Scaling symbolic evaluation for automated verification of systems code with Serval Nelson et al., SOSP’19 Serval...

  • screenshot

    Snap: a microkernel approach to host networking

    Snap: a microkernel approach to host networking Marty et al., SOSP’19 This paper describes the networking...

  • screenshot

    The inflection point hypothesis: a principled approach to finding the root cause of a failure

    The inflection point hypothesis: a principled debugging approach for locating the root cause of a failure...

  • screenshot

    File systems unfit as distributed storage backends: lessons from ten years of Ceph evolution

    File systems unfit as distributed storage backends: lessons from 10 years of Ceph evolution Aghayev et...

  • screenshot

    An analysis of performance evolution of Linux’s core operations

    An analysis of performance evolution of Linux’s core operations Ren et al., SOSP’19 I was drawn...