Apoorv

Grad student. PL, types, semantics, logic, SIGPLAN audio-video/virtualization. Also on @[email protected]

[Isil Dillig @IsilDillig]

1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the technology that today’s companies are built on.

[PLDI @PLDI]

Happy new year 🎉 The Student Research Competition Call is up (https://t.co/hUQyazuAvL). If you are a junior researcher working on anything PL related check it out!

The deadline to submit an abstract is on March 14!

More info below ⬇️

[UIowa Computer Science @UIowaCS]

In this clip, Prof. Octav Chipara [@ochipara] provides an overview of his collaboration w/ Assoc. Prof. Yu-Hsiang Wu on a Project Aria effort to build contextually aware hearing-aid technology🦻 [https://t.co/BytvNAkK4r | @MetaOpenSource].

Full video @ https://t.co/rqv6lA9hTQ

[ICFP Conference @icfp_conference]

Videos from ICFP'24 and colocated events are available now on the ACM SIGPLAN youtube channel!

https://t.co/DvuOKoFcrA

[Konstantinos Kallas @KonsKallas]

I am looking for 1-2 PhD students interested broadly in computer systems, compilers, and/or PL! If you would like to do your PhD in a vibrant city with great weather, next to the sea 🌊, and the mountains 🏔️, make sure to apply to UCLA and mark my name as a potential advisor!

[Sacha Ayoun @SachaAyoun]

If you are a student in PL, apply to become a Student Volunteer for @poplconf ! It’s a great occasion to take part in our great community, and play a vital role in one of the biggest PL confs.
Call link in the tweet below, deadline Nov 10th 😊

[Guilherme Espada @GuiEspada]

New sigplan-av team page just dropped https://t.co/fs44NovH1n

[Programming Languages Mentoring Workshop @PLMentoring]

The deadline for PLMW @ SPLASH 2024 is approaching. You can still apply until September 6! Application link below.

[ICFP Conference @icfp_conference]

ICFP 2024 is just around the corner! It's going to be an exciting week, packed with presentations, co-located workshops, and community events. Can't wait to see you all there!

https://t.co/WpAcukBzSI

[Guilherme Espada @GuiEspada]

In the time since we published the PLDI (+colos) videos, *new* viewers watched 47.6 hours of content. These are people who never watched a SIGPLAN video before. This is your research being beamed across the world.

[Guilherme Espada @GuiEspada]

SIGPLAN-AV and the PLDI24 Video Volunteers present: The PLDI24 videography.
https://t.co/xDEY8qJ81A
Over 200 videos are now available. If we made an error, please contact us at the email listed in https://t.co/YfTcfb9x3j
Big thanks to the Video Volunteers whose (cont)

[Guilherme Espada @GuiEspada]

Just arrived back in Portugal. Feeling the best I've felt in a year. No post conference depression.

[Apoorv @fxdpntthm]

@ngernest2 @Cornell_CS Congrats Ernest!

[Apoorv @fxdpntthm]

@tangled_zans Petition to rename large categories to chungus categories

[Apoorv @fxdpntthm]

@angerman Garden path?

[Ben Gamari @bgamari]

GHC 9.10.1-alpha1 is now available for your enjoyment

https://t.co/1VLxMaR7Uv

[Apoorv @fxdpntthm]

MediocreCom

[spencer @techspence]

Best Wi-Fi names, I’ll go first…

WuTangLan

😆😆😆

[COGS/UE Local 896 @cogsunion]

Today we took up some space at One Day for Iowa and held a press conference to #ENDTHEFEES Thread of our most important points... 1/

[Garrett Morris @GarrettAtUI]

I'm hiring a post-doctoral scholar to work on an NSF-funded project on the foundations of type classes and type families in Haskell. Please get in touch if you're interested, or spread the word if you know of other people who would be.

More details here: https://t.co/XgCk22B0jT

[Apoorv @fxdpntthm]

@HerrDreyer \xspace?

https://t.co/Oyghyp1zQ7