Papers We Love is a user on mstdn.io. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

Papers We Love @paperswelove@mstdn.io

Putting in All the Stops: Execution Control for JavaScript - Baxter, et al. buff.ly/2LBYQY5

This paper presents Stopify a source-to-source compiler that extends with debugging abstractions and blocking operations

Ryū: Fast Float-to-String Conversion - Adams buff.ly/2JHuly0

We present Ryū, a new routine to convert binary floating point numbers to their decimal representations using only fixed-size integer operations, and prove its correctness.

Spatial: A Language and Compiler for Application Accelerators - Koeplinger, et al. buff.ly/2Lh61ZS

We describe a new domain-specific language and compiler called Spatial for higher level descriptions of application accelerators.

QCon 2018: Carmen Andoh (@carmatrocity) on Communicating Sequential Processes

Video: buff.ly/2v2t4xp
Meetup: buff.ly/2LVnOlu
Paper: buff.ly/2NT3Jg9
Slides:buff.ly/2LToWpO

QCon 2018: Matt Adereth on The Mode Tree - A Tool for Visualization of Nonparametric Density Features

Video: buff.ly/2LIhK30
Meetup: buff.ly/2LVnOlu
Paper:buff.ly/2vdbOo5
Slides: buff.ly/2vdbQfH

QCon 2018: Golestan "Sally" Radwan (@smarthelix) on What Does Explainable AI Really Mean?

Video: buff.ly/2uXvu06
Meetup: buff.ly/2LVnOlu
Paper: buff.ly/2NPeBeY
Slides: buff.ly/2NTOlAm

If you are interested in #Prolog or want to learn a logic #programming language, SWI-Prolog started a course 2 weeks ago. It was shared mostly on :birdsite: and it would be unfortunate if people missed it just because of that. Late enrollment will be closing on June 22. Link: twitter.com/SWI_Prolog
#prologclass

SmoothLife - Generalization of Conway's "Game of Life" to a continuous domain - Rafler

Paper: buff.ly/2t23O8y
Article: buff.ly/2JAhJJY
Code: buff.ly/2xJvWmz

Faster: A Concurrent Key-Value Store with In-Place Updates - Chandramouli, et al buff.ly/2ErGlBt

Get your Strangeloop and PWLConf 2018 Tickets Now! buff.ly/2yfkcnT

Tickets for are $100 (includes lunch) or $50 if self-paying (not company) - See you there!

Reactors: A Case for Predictable, Virtualized Actor Database Systems - Shah, et al buff.ly/2sLUHt4

Papers We Love Conf 2018 is happening again this year in St. Louis with Strangeloop! We're a non-profit organization and rely on sponsorships to fund the conference. If you or your company are interested in sponsoring check out our prospectus buff.ly/2Ir4E8E

No compromises: distributed transactions with consistency, availability, and performance - Dragojevic, et al. buff.ly/2KBEDBx

We show that adistributed platform called FaRM can provide dist. transactions with serializability, high perf, durability, and high availability.

VIDEO: Bonnie Eisenman (@brindelle) on Multiphase Numerical Modeling... for Jigsaw Puzzle Generation - buff.ly/2IE5q2h

This paper explores expansions on the stylistic variety of handmade and artisanal jigsaw puzzles through techniques from natural simulation. pic.twitter.com/prhW8YyHAV

If you're not familiar with Papers We Love Conf, check out the speakers and videos from our past years:

2017: t.co/K1No8nWEnE
2016: t.co/n1xdmggSp2

SCHEME: An Interpreter for Extended Lambda Calculus - Sussman, Steele buff.ly/2KnJVRj

Design of LISP-Based Processors or, SCHEME: A Dialectric LISP or, Finite Memories Considered Harmful or, LAMBDA: The Ultimate Opcode - Steele, Sussman buff.ly/2Fse5z7