The PLDI Student Research Competition's deadline is this week! We have an excellent group of expert reviewers lined up, submit/encourage your students to submit!
12.03.2025 16:11 โ ๐ 0 ๐ 3 ๐ฌ 0 ๐ 0
Adrian's "Advanced Compilers" is really great, and comes with its own learning-focused compiler IR
www.cs.cornell.edu/courses/cs61...
30.11.2024 18:32 โ ๐ 31 ๐ 6 ๐ฌ 1 ๐ 0
jeopardy champs say they won't cross picket line in support of show's writers
at least five contestants slated for the upcoming tournament of champions announced they won't participate if the WGA strike continues into the fall
what is hell yeah
25.07.2023 15:40 โ ๐ 1579 ๐ 300 ๐ฌ 12 ๐ 13
Slide with photo of Alexa and text โWomen in Compilers & Tools presents a Career Chat & Tech Talk with Prof. Alexa VanHattum
July 13, 2023 at 6PM PDT
Sign up on Meetup
Super excited to be giving this public, virtual talk tomorrow!
It will have:
+ lightweight formal methods
+ boundless enthusiasm for compilers
+ time for me to extol the virtues of the undergraduate-focused academic career path (and share job market tips) โจ
12.07.2023 14:41 โ ๐ 7 ๐ 2 ๐ฌ 1 ๐ 0
prev: @BrownUniversity, @uwcse/@uw_wail phd, ex-@cruise, RS @waymo. 0.1x engineer, 10x friend.
spondyloarthritis, cars ruin cities, open source
๐ฆ๐ฅณ
Previously: Kani Rust Verifier, AWS, PL/compilers PhD
Associate Professor of Anthropology at Wellesley College. Author of Domesticating Democracy (Duke 2018). Kentuckian. Often found in El Alto, Bolivia.
PL PhD student at Cornell
ngernest.github.io
applied math PhD student @ cornell; dynamical systems, amateur musician & photographer, she/her
https://valentine-alia.github.io/
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
Professor at CUNY, scholar of Blackness, comics, music, & popular culture writ large, leftist & left handed. ๐ฐ๐ณ ๐บ๐ธ ๐ต๐ธ ๐ณ๏ธโโง๏ธ
I maintain the Blackademics feed, the scholarly side of #Blacksky
https://bsky.app/profile/did:plc:w4xbfzo7kqfes5zb7
Personal account
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
The ACM Special Interest Group on Programming Languages.
Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm ๐ธ๐ช previously ๐ฌ๐ง ๐ฉ๐ช ๐จ๐ญ
Private account, he/him, ๐น ๐บ๐ฆ ๐ฃ
Stanford PhD candidate amongst other things
https://cgyurgyik.github.io/
Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
PhD student working on program synthesis. https://ziteng.wang/
Wife. Mom. Friend. Historian. Award Winning Author. Podcaster. Seeker of Joy.
Refusing Daily.
Faculty at Wellesley College. Researching Film Festivals, Public Media, Cultural Policy. Following track, tennis, winter sports news and gossip.
Marine Ecologist. Fisheries, food webs, and climate change. Adaptive capacity and resilience of fishing communities. Professor at Wellesley College.
Research & action center at @wellesley.edu on gender equality, social justice, human wellbeing. #womenchangeworlds
๐ https://linkin.bio/wcwonline
Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at WisconsinโMadison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist
Mastodon: discuss.systems/@EthanCecchetti
Web: cecchetti.sites.cs.wisc.edu
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
