Ryū: Fast Float-to-String Conversion - Adams https://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. #pldi2018 #compsci #strings
Spatial: A Language and Compiler for Application Accelerators - Koeplinger, et al. https://buff.ly/2Lh61ZS
We describe a new domain-specific language and compiler called Spatial for higher level descriptions of application accelerators. #pldi2018 #fpga #cgra
QCon 2018: Carmen Andoh (@carmatrocity) on Communicating Sequential Processes
Video: https://buff.ly/2v2t4xp
Meetup: https://buff.ly/2LVnOlu
Paper: https://buff.ly/2NT3Jg9
Slides:https://buff.ly/2LToWpO
QCon 2018: Matt Adereth on The Mode Tree - A Tool for Visualization of Nonparametric Density Features
Video: https://buff.ly/2LIhK30
Meetup: https://buff.ly/2LVnOlu
Paper:https://buff.ly/2vdbOo5
Slides: https://buff.ly/2vdbQfH
QCon 2018: Golestan "Sally" Radwan (@smarthelix) on What Does Explainable AI Really Mean?
Video: https://buff.ly/2uXvu06
Meetup: https://buff.ly/2LVnOlu
Paper: https://buff.ly/2NPeBeY
Slides: https://buff.ly/2NTOlAm
Papers We Love
boosted
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 
and it would be unfortunate if people missed it just because of that. Late enrollment will be closing on June 22. Link: https://twitter.com/SWI_Prolog
#prologclass
SmoothLife - Generalization of Conway's "Game of Life" to a continuous domain - Rafler
Paper: https://buff.ly/2t23O8y
Article: https://buff.ly/2JAhJJY
Code: https://buff.ly/2xJvWmz
Practical and Secure Substring Search - Hahn, et al https://buff.ly/2JAs0Wz
Faster: A Concurrent Key-Value Store with In-Place Updates - Chandramouli, et al https://buff.ly/2ErGlBt
Get your Strangeloop and PWLConf 2018 Tickets Now! https://buff.ly/2yfkcnT
Tickets for #PWLConf 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 https://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.
If you're not familiar with Papers We Love Conf, check out the speakers and videos from our past years:
2017: https://t.co/K1No8nWEnE
2016: https://t.co/n1xdmggSp2
"The Sociology of Programming Languages" by Leo Meyerovich
Video https://buff.ly/2EH1Eir
Paper https://buff.ly/2vdZmbg
SCHEME: An Interpreter for Extended Lambda Calculus - Sussman, Steele https://buff.ly/2KnJVRj #lisp #scheme #lambda
Design of LISP-Based Processors or, SCHEME: A Dialectric LISP or, Finite Memories Considered Harmful or, LAMBDA: The Ultimate Opcode - Steele, Sussman https://buff.ly/2Fse5z7
RABBIT: A Compiler for SCHEME - Steele https://buff.ly/2FtSaY1
The Art of the Interpreter or, The Modularity Complex (Parts Zero, One and Two) - Steele, Sussman https://buff.ly/2KlIJO2
Building Bridges Between Academia and Industry
Joined Apr 2017
