[21] / DOI 10.1145/3299869.3320212June 25, 2019DuckDB: an Embeddable Analytical Database Mark Raasveldt; Hannes Mühleisen MRHM [DOI, Page]PublishedConference paperProceedings of the 2019 International Conference on Management of DataDatabasesduckdbembedded databaseolapvectorized executioncolumnar storagemvcc
[22] / DOI 10.1109/sp.2019.00002May 2019Spectre Attacks: Exploiting Speculative Execution Paul Kocher; Jann Horn; Anders Fogh; Daniel Genkin +8 morePKJHAF [DOI, Page]PublishedConference paper2019 IEEE Symposium on Security and Privacy (SP)Security and Privacyspectrespeculative executionside channelsbranch predictionmicroarchitectureprocess isolation
[23]October 2018The FuzzyLog: A Partially Ordered Shared Log Joshua Lockerman; Jose M. Faleiro; Juno Kim; Soham Sankaran +4 moreJLJFJK [Page]PDFPublishedConference paper13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)Distributed Systemsshared logpartial ordercausal consistencygeo-replicationskeen's algorithmchain replicationcrdt
[24]April 2018Salsify: Low-Latency Network Video through Tighter Integration between a Video Codec and a Transport Protocol Sadjad Fouladi; John Emmons; Emre Orbay; Catherine Wu +2 moreSFJEEO [Page]PublishedConference paper15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)Computer Networksreal-time videolow latencycongestion controlvideo codecwebrtcvp8
[25] / DOI 10.1145/3158154December 27, 2017RustBelt: Securing the Foundations of the Rust Programming Language Ralf Jung; Jacques-Henri Jourdan; Robbert Krebbers; Derek Dreyer RJJJRK [DOI, Page]PublishedJournal articleProceedings of the ACM on Programming LanguagesProgramming Languagesrustmemory safetyownershipseparation logictype soundnessunsafe code
[26] / DOI 10.1145/3132747.3132751October 14, 2017Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control Jialin Li; Ellis Michael; Dan R. K. Ports JLEMDP [DOI, Page]PDFPublishedConference paperProceedings of the 26th Symposium on Operating Systems PrinciplesDistributed Systemsdistributed transactionsin-network concurrency controlmulti-sequencingindependent transactionsstrict serializabilityprogrammable switches
[27] / DOI 10.1145/3064176.3064210April 23, 2017Saturn: a Distributed Metadata Service for Causal Consistency Manuel Bravo; Luís Rodrigues; Peter Van Roy MBLRPR [DOI, Page]PDFPublishedConference paperProceedings of the Twelfth European Conference on Computer SystemsDistributed Systemscausal consistencygeo-replicationpartial replicationmetadata servicefalse dependenciesvisibility latency
[28]March 2017vCorfu: A Cloud-Scale Object Store on a Shared Log Michael Wei; Amy Tai; Christopher J. Rossbach; Ittai Abraham +8 moreMWATCR [Page]PDFPublishedConference paper14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)Distributed Systemsshared logstate machine replicationmaterialized streamsobject storeoptimistic transactionssequenceropacity
[29]November 2016Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering Jialin Li; Ellis Michael; Naveen Kr. Sharma; Adriana Szekeres +1 moreJLEMNS [Page]PDFPublishedConference paper12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)Distributed Systemsnopaxosstate machine replicationordered unreliable multicastnetwork sequencingsoftware-defined networkingconsensusdata centers
[30] / DOI 10.14778/2824032.2824076August 2015The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing Tyler Akidau; Robert Bradshaw; Craig Chambers; Slava Chernyak +7 moreTARBCC [DOI, Page]PublishedJournal articleProceedings of the VLDB EndowmentDistributed Systemsstream processingevent timewindowingtriggerswatermarksdataflow
[31]June 2014In Search of an Understandable Consensus Algorithm Diego Ongaro; John Ousterhout DOJO [Page]PublishedConference paper2014 USENIX Annual Technical Conference (USENIX ATC 14)Distributed Systemsconsensusraftpaxosreplicated logleader electionstate machine replication
[32] / DOI 10.1145/2568225.2568271May 31, 2014Coverage Is Not Strongly Correlated with Test Suite Effectiveness Laura Inozemtseva; Reid Holmes LIRH [DOI, Page]PublishedConference paperProceedings of the 36th International Conference on Software EngineeringSoftware Engineeringcode coveragetest suite effectivenessmutation testingempirical software engineeringunit testingjava
[33] / DOI 10.1145/2517349.2522732November 3, 2013Tango: Distributed Data Structures over a Shared Log Mahesh Balakrishnan; Dahlia Malkhi; Ted Wobber; Ming Wu +6 moreMBDMTW [DOI, Page]PDFPublishedConference paperProceedings of the Twenty-Fourth ACM Symposium on Operating Systems PrinciplesDistributed Systemsshared logmetadata servicesstate machine replicationoptimistic concurrency controldistributed transactionsstreamscorfu
[34] / DOI 10.1109/icse.2013.6606617May 2013Expectations, Outcomes, and Challenges of Modern Code Review Alberto Bacchelli; Christian Bird ABCB [DOI, Page]PublishedConference paper2013 35th International Conference on Software Engineering (ICSE)Software Engineeringcode reviewempirical software engineeringprogram comprehensionknowledge transferdeveloper experiencequalitative research
[35]October 2012Spanner: Google's Globally-Distributed Database James C. Corbett; Jeffrey Dean; Michael Epstein; Andrew Fikes +22 moreJCJDME [Page]PublishedConference paper10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)Distributed Systemsspannertruetimeexternal consistencydistributed transactionspaxosgeo-replication
[36] / DOI 10.1145/2213836.2213838May 20, 2012Calvin: Fast Distributed Transactions for Partitioned Database Systems Alexander Thomson; Thaddeus Diamond; Shu-Chun Weng; Kun Ren +2 moreATTDSW [DOI, Page]PDFPublishedConference paperProceedings of the 2012 ACM SIGMOD International Conference on Management of DataDistributed Systemsdeterministic databasesdistributed transactionstwo-phase commitdeterministic lockingreplicationpaxostpc-c
[37]April 2012CORFU: A Shared Log Design for Flash Clusters Mahesh Balakrishnan; Dahlia Malkhi; Vijayan Prabhakaran; Ted Wobber +2 moreMBDMVP [Page]PDFPublishedConference paper9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12)Distributed Systemsshared logflash storagestate machine replicationchain replicationsequencerreconfigurationstrong consistency
[38] / DOI 10.1145/1993498.1993532June 4, 2011Finding and Understanding Bugs in C Compilers Xuejun Yang; Yang Chen; Eric Eide; John Regehr XYYCEE [DOI, Page]PublishedConference paperProceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and ImplementationProgramming Languagescompiler testingdifferential testingfuzzingundefined behaviormiscompilationcompcert
[39] / DOI 10.1145/1498765.1498785April 2009Roofline: An Insightful Visual Performance Model for Multicore Architectures Samuel Williams; Andrew Waterman; David Patterson SWAWDP [DOI, Page]PublishedJournal articleCommunications of the ACMHigh-Performance Computingrooflineperformance modelingoperational intensitymemory bandwidthmulticoreoptimization
[40] / DOI 10.1145/1375581.1375586June 7, 2008Immix: A Mark-Region Garbage Collector with Space Efficiency, Fast Collection, and Mutator Performance Stephen M. Blackburn; Kathryn S. McKinley SBKM [DOI, Page]PublishedConference paperProceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and ImplementationProgramming Languagesgarbage collectionmark-regionimmixmemory managementjvmfragmentation