Justin Frank
@juspfrank
Real PL person. Like translating symbols into different symbols (semantics may or may not be preserved). PhD student at @plumlab. Previously at @ubc_spl
ID: 1135235453982928896
02-06-2019 17:23:18
1,1K Tweet
312 Followers
233 Following
@juspfrank presents jww Ben Quiring & Leo Lampropoulos on a re-framing of random typed term generation that allows non-local transformations which skew generation towards functions that use their arguments. 17th @ 10:30am! Talk: popl24.sigplan.org/details/POPL-2… PDF: dl.acm.org/doi/pdf/10.114… 2/5
17th @ 10:45am: Wonder how expressive type systems can improve optimization in low-level languages in practice? Come see @atom_geller present w/ @juspfrank & William J. Bowman @[email protected], Indexed Types for a Statically Safe WebAssembly. Talk: popl24.sigplan.org/details/POPL-2… PDF: dl.acm.org/doi/pdf/10.114… 3/5
This you, Shriram Krishnamurthi (primary: Bluesky)? (those are his words, not mine; but the emphasis is my own)