Papers We Love @paperswelove@mstdn.io
Building Bridges Between Academia and Industry
Joined Apr 2017
Succinct Representation of Concurrent Trace Sets - Gupta, et al https://buff.ly/2oNMsuq
Abstraction-Guided Synthesis of Synchronization - Vechev, et al https://buff.ly/2wVPaCr
#pwlconf2018 #concurrency #verification #Algorithms #synthesis
Papers We Love Conf 2018 kicks off on September 26th in St. Louis as part of #Strangeloop - Hope to see you there!
Modeling the Motion of a Hot, Turbulent Gas - Foster, et al. https://buff.ly/2NZFUDI
Combining physical and visual simulation---creation of the planet Jupiter for the film “2010” - Yaeger, et al https://buff.ly/2Qi0T6D
#pwlconf2018 #siggraph1986 #fluiddynamics #animation #fx #film
Stable Fluids by Jos Stam - https://buff.ly/2M9DOQa
Combining physical and visual simulation---creation of the planet Jupiter for the film “2010” - Yaeger, et al https://buff.ly/2Qi0T6D
#pwlconf2018 #siggraph1986 #fluiddynamics #animation #fx #film
Stable Fluids by Jos Stam - https://buff.ly/2M9DOQa
Papers We Love Conf 2018 kicks off in just a few weeks in St. Louis - hope to see you there!
Papers We Love
boosted
How RISC-V is Changing the Game
http://info.dovermicrosystems.com/doverlog/how-risc-v-is-changing-processor-design
We're super excited to have Casey Canfield present The Future of the Grid: Policy, Technology, and Market Changes at #pwlconf 2018!
Putting in All the Stops: Execution Control for JavaScript - Baxter, et al. https://buff.ly/2LBYQY5
This paper presents Stopify a source-to-source compiler that extends #JavaScript with debugging abstractions and blocking operations #pldi2018
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
Building Bridges Between Academia and Industry
Joined Apr 2017
Fast, secure and up-to-date instance, welcoming everyone around the world. Join us! 🌍
Up since 04/04/2017. ✅
Why should you sign up on mstdn.io?
This instance is not focused on any theme or subject, feel free to talk about whatever you want. Although the main language is english, we accept every single language and country.
We're connected to the whole OStatus/ActivityPub fediverse and we do not block any foreign instance nor user.
We do have rules, but the goal is to have responsible users. So far we haven't had any issue with moderation
The instance uses a powerful server to ensure speed and stability, and it has good uptime. We follow state-of-the-art security practices.
Also, we have over 300 custom emojis to unleash your meming potential!
Looking for a Kpop themed instance? Try kpop.social