Papers We Love @[email protected]

"The Future of the Grid: Policy, Technology, and Market Change" by Casey Canfield (@caseycan) #PWLConf2018 - https://buff.ly/2CY620a

#energyfuture #energytrade #powergrid #blockchain #solarenergy

"Including Equity in Tech Work" by Ari Schlesinger (@AriSchlesinger) #PWLConf2018 - https://buff.ly/2AlwE8A

#feminism #equity #genderequity #accessibility #inclusion

"A Rehabilitation of Message-passing Concurrency" by Frank Pfenning #PWLConf2018 - https://buff.ly/2R129u4

#concurrency #sessiontypes #types #golang

"Standards We Love" by Heidy Khlaaf #PWLConf2018 - https://buff.ly/2CuNgMC

#verification #staticanalysis #formalmethods #safety

"Computer-aided Concurrent Programming" by Roopsha Samanta (@roopshasamanta) #PWLConf 2018 - https://buff.ly/2q0S19s

#concurrency #programsynthesis #temporallogic #softwaredevelopment

"Stable Fluids" by Dan Piponi #PWLConf2018 - https://buff.ly/2q24olz

#fluiddynamics #simulation #algorithms #computermodelling

Succinct Representation of Concurrent Trace Sets - Gupta, et al https://buff.ly/2oNMsuq

#pwlconf2018 #concurrency #synchronization #tracing

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!

https://pwlconf.org/

#pwlconf2018

Modeling the Motion of a Hot, Turbulent Gas - Foster, et al. https://buff.ly/2NZFUDI

#pwlconf2018 #animation #simulations #modeling

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

#pwlconf2018 #3d #computergraphics #animation #fluids

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

#pwlconf2018 #3d #computergraphics #animation #fluids

Papers We Love Conf 2018 kicks off in just a few weeks in St. Louis - hope to see you there!

https://pwlconf.org/

#pwlconf #strangeloop #STL

We're super excited to have Casey Canfield present The Future of the Grid: Policy, Technology, and Market Changes at #pwlconf 2018!

https://pwlconf.org/2018/casey-canfield/

#usdot #energy #blockchain #smartgrid

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