Description: ---
Mini
Max Seiden on Data Cube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals
https://arxiv.org/pdf/cs/0701155.pdf
In under 15 pages, this paper describes the first principles of OLAP with such clarity and foresight that, over 20 years later, it…
Description: Meetup: http://bit.ly/2ob1cR3
Slides: http://bit.ly/2paqEe2
Audio: http://bit.ly/2pxsimE
-----------------------------------------------------------------------------------
Sponsored and hosted by Two Sigma (@twosigma)
-----------------------------------------------------------------…
Description: Info: https://pwlconf.org/2017/kenichi-asai/
Slides: http://bit.ly/2yyHngu
Transcription: http://bit.ly/2yb4vju
Kenichi's Site: http://pllab.is.ocha.ac.jp/~asai/
-----------------------------------------------------------------------------------------------------------
Platinum Sponso…
Summary: The paper titled "Deep Learning for Natural Language Processing" was published in October 2018 by authors Jane Doe, John Smith, and Alice Brown. It examines the application of deep learning techniques to natural language processing tasks, demonstrating improvements in performance over trad…
Deep Learning for Natural Language Processing [2018]
By: Jane Doe, John Smith, Alice Brown
https://www.alphaxiv.org/
#paperswelove #research #compsci
Description: Meetup: http://bit.ly/2hItlyO
Paper: http://bit.ly/2y3CO9Z
Slides: http://bit.ly/2A9f591
Audio: http://bit.ly/2hISVDz
-----------------------------------------------------------------------------------
Sponsored and hosted by Two Sigma (@twosigma)
-------------------------------------…
Description: Mini
Eitan Adler on Program development by stepwise refinement ( www.inf.ethz.ch/personal/wirth/Articles/... )
Eitan's Bio
Eitan Adler is software engineer with a passion for distributed systems, security, and open source software. Currently employed by…
Summary: **Summary of the Paper:**
This paper presents a method developed for detecting rogue access points in 802.11 wireless networks. The method is designed to comply with specific regulatory mandates such as Sarbanes-Oxley and PCI, which require automated inventory of wireless hardware assets.…
Summary: The paper "Unikernels: Library Operating Systems for the Cloud" introduces unikernels, which are specialized machine images constructed by using library operating systems that package applications with only the functionalities needed for their execution. This design results in reduced atta…
Abstract: Unikernels are specialized, single-address-space machine images constructed by using library operating systems. Rather than providing a stable functionality in the form of files and profiles, these images are linked with the application source code and configuration file in order to produ…
Summary: **Summary of the Paper:**
This paper presents a method developed for detecting rogue access points in 802.11 wireless networks. The method is designed to comply with specific regulatory mandates such as Sarbanes-Oxley and PCI, which require automated inventory of wireless hardware assets.…
Summary: The paper "Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant" by Xavier Leroy explores the formal verification of a compiler back-end. Using the Coq proof assistant, the paper presents the implementation and specification of a compiler for the C…
Description: This month Bill presented "No Silver Bullet" by Fred Brooks.
Abstract:
Some thirty years after Turing Award winner Fred Brooks’ seminal work 'No Silver Bullet' was published, the industry has paved over his enthusiastic skepticism, with an air of pessimism and apathy. After tearing…
Description: EPITAXIS: A System for Syntactic and Semantic Software Queries using Deductive Retrieval and Symbolic Execution
The stubborn persistence of Moore's law has enabled dramatic increases in the size and complexity of software. In addition, the information content of a program is spread ov…
Summary: The paper titled "The Akamai Network: A Fast and Reliable Software System for Serving the World's Web Sites" published in 2001, offers an in-depth look into the technical mechanisms underpinning Akamai's Content Delivery Network (CDN). The authors elaborate on the strategies implemented by…
Description: ****** We are closing the year with a PWL marathon ******
Talk #1 - Nathan Taylor on " Corey: An Operating system for Many Cores" (www.usenix.org/legacy/event/osdi08/tech... and "An analysis of Linux scalability to many cores" (https:…
Summary: The paper "Effects as Capabilities: Effect Handling in Haskell" presents a novel approach by treating monadic effects as capabilities within Haskell's type system. This approach allows formal reasoning about effects and their interference while providing flexibility in implementation. The…
On Computable Numbers, with an Application to the Entscheidungsproblem [1936]
By: A. M. Turing
www.cs.virginia.edu/~robins/Turing_Paper_193...
#paperswelove #research #compsci
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs [2000]
By: John Hughes, Koen Claessen
www.cs.tufts.edu/~nr/cs257/archive/john-h...
#paperswelove #research #compsci
Abstract: HyperDex is a novel distributed key-value store that offers a unique blend of strong consistency guarantees, fault tolerance, and support for efficient search operations. HyperDex extends the flexibility of NoSQL stores with a unique search primitive. This makes it possible to efficiently…
HyperDex: A Distributed, Searchable Key-Value Store [2011]
By: Robert Escriva, Bernard Wong, Emil Sit
https://cs.uwaterloo.ca/~bernard/hyperdex.pdf
#paperswelove #research #compsci
Sam Tobin-Hochstadt on Composable and Compilable Macros (2015)
https://www.youtube.com/watch?v=pK2E63mhRxI
#ComputerScience(FieldOfStudy) #ComputerProgramming(ConferenceSubject) #ProgrammingLanguages
This paper presents a novel approach to improving the performance of the MPI_Alltoall operation, a critical component in parallel computing applications.
Papers We Love #tokyo is kicking off on April 30th!
RSVP here: pwl.connpass.com/event/388223/
#paperswelove #meetup #japan #tech
The video has landed!
watch.eeg.cl.cam.ac.uk/w/iPX1Xx8LAZ...
#video #fosdem #programming
Peter Corless on Raft at Papers We Love #SFO
Wednesday, April 29
luma.com/rf2tep1w
#paperswelove #tech #meetup
Woo, @paperswelove.org SF is back!
Marco Primi on “Paxos Made Simple” at Antithesis:
Hinged Dissections Exist
Proves any finite set of equal-area polygons share a vertex-hinged chain that folds (no self-intersection) into each; extends to edge-hinged polyhedra; constructive algorithms; pseudopoly.
đź“ś Paper: arxiv.org/pdf/0712.2094
đź“ş Video: www.youtube.com/watch?v=2X9T...
@paperswelove.org is back: on Feb 19, join us in downtown SF to read "Paxos Made Simple" with Marco Primi! We'll have banh mi, drinks, good papers, and good conversation.
RSVP on Meetup (www.meetup.com/papers-we-lo...) or just DM me your full name and email.