Justin Frank (@juspfrank) 's Twitter Profile
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

calendar_today02-06-2019 17:23:18

1,1K Tweet

312 Takipçi

233 Takip Edilen

Software Practices Lab (spl@mastodon.acm.org) (@ubc_spl) 's Twitter Profile Photo

@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

Software Practices Lab (spl@mastodon.acm.org) (@ubc_spl) 's Twitter Profile Photo

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

Dibs Next (@dibsnext) 's Twitter Profile Photo

“Holy shit, oh fuck, this is bad,” Villeneuve said, sweatily Googling “paul atreides dune good or bad reddit” on his phone. Source: dibsnext.com/denis-villeneu…

“Holy shit, oh fuck, this is bad,” Villeneuve said, sweatily Googling “paul atreides dune good or bad reddit” on his phone.

Source: dibsnext.com/denis-villeneu…
PLUM Lab (@plumlab) 's Twitter Profile Photo

We are shocked and saddened to share news of the sudden death of our colleague Rance Cleaveland cmns.umd.edu/news-events/ne…

UMD Graduate Labor Union (@umd_glu) 's Twitter Profile Photo

Grad workers at universities around the country are winning better working conditions by unionizing. We deserve better on our campus too - UMD only works because we do! 💪

Grad workers at universities around the country are winning better working conditions by unionizing. We deserve better on our campus too - UMD only works because we do! 💪
UMD Graduate Labor Union (@umd_glu) 's Twitter Profile Photo

A supermajority of grad workers on campus want a contract - it's time for UMD to recognize us and come to the bargaining table. Come out to Hornbake Plaza on Nov 20 to show how much power we've built! Undergrads, faculty, and staff also welcome! RSVP: forms.gle/vkKqKyNoR7s4Vm…

A supermajority of grad workers on campus want a contract - it's time for UMD to recognize us and come to the bargaining table. Come out to Hornbake Plaza on Nov 20 to show how much power we've built! Undergrads, faculty, and staff also welcome!

RSVP: forms.gle/vkKqKyNoR7s4Vm…
UMD Graduate Labor Union (@umd_glu) 's Twitter Profile Photo

Today, 400+ graduate workers demanded that UMD admin recognize our union. The only thing standing in the way of a fair contract is admin’s blatant refusal to bargain with us. We marched to their offices to show them: GLU won’t back down. THIS is what a union looks like 📢‼️

Today, 400+ graduate workers demanded that UMD admin recognize our union. The only thing standing in the way of a fair contract is admin’s blatant refusal to bargain with us. We marched to their offices to show them: GLU won’t back down. THIS is what a union looks like 📢‼️