Dimitrios Vytiniotis

Reminder: Almost one week left until the submission deadline of distributedml.org (Sep 15th). We are looking forward to receiving some great papers this year! In the meantime, we have been organising an exciting program for this year's workshop. Stay tuned for more!

distributedml.org is to be held along #CONEXT2023 this year in Paris. We welcome novel, previously unpublished, work in the area of Distributed #MachineLearning, with special focus on training and deploying large foundational models. Submission deadline on September 15!

@lorisdanto If this is important for your career yet impossible to schedule I would perhaps dare ask if there might be an opportunity to defer/give the keynote next year. PCs change so you can acknowledge this might not work for them, but there is some continuity through the organisers/SC …

You are invited to give a keynote at a conference but you have to (due to circumstances) bring your kid with you and will cost you around 1200$ in personal money to pay for childcare. What do you do? Asking for a friend

@natefoster @RajeevAlur @CIS_Penn Congrats Nate, wonderful recognition of your work over the years!!!

@RajeevAlur @CIS_Penn Thank you! I'm very proud to be a Quaker. (And with the new materials on writing and speaking that you and Benjamin just released to the world, I can sure that my talk hits the mark 😉 drive.google.com/drive/u/0/fold…)

Wonderful news, congratulations @natefoster ! @CIS_Penn is proud of you!

The program for the Oregon PL Summer School 2023 is now available and the application deadline is April 13th! Apply here: cs.uoregon.edu/research/summe…

@ParkyMatthew @BirkedalLars @hyang144 @thomaswdyoung @poplconf Congratulations! I remember this paper!

I am immensely honoured that yesterday at #popl23 the Views paper has been names the “Most Influential Paper from POPL’13”. I have always loved POPL, and to receive this honour is truly amazing.

Simon Peyton Jones’ work to deliver outstanding computing education is recognised in the Queen’s Birthday Honours ahead of the Platinum Jubilee celebrations. 👏🎊 Read more: computingatschool.org.uk/news-and-blogs… #PlatinumJubilee #Congratulations #OBE

Controversial opinion - the language best placed to win at deep learning is: F#. 2nd place: C#. (I don't expect this potential to ever be met, since MSFT consistently under-invest in F# and look externally for anything to do with data. Like betting on Hadoop instead of Dryad.)

Fantastic, new functional programming resource: the new “Chalmers Online Functional Programming Seminar Series” features some of the stars of the FP world, starting with Simon Peyton Jones, this coming Monday chalmersfp.org

@nomeata ... Not very nice but Proxy them out?

Got past that. Now I find myself wanting to bind existential type variables in a GADT match… Yes, it’s nice that someone thought about Type Applications in Patterns (dl.acm.org/doi/abs/10.114…), but without an implementation (gitlab.haskell.org/ghc/ghc/issues…) it’s no use now.

I must have done too much Coq in my life – I just found #Haskell to be insufficiently dependently typed, and I have trouble thinking about how else I can approach the task…

Today we are releasing Haiku and RLax, our JAX libraries for neural networks and reinforcement learning. Check them out at github.com/deepmind/haiku and github.com/deepmind/rlax ! #jax #AI #RL #deeplearning #machinelearning

All of the POPL videos are online! 🎉 youtube.com/playlist?list=… PLMW videos, too! 😍 youtube.com/playlist?list=…

Dipping your toe in the water of programming languages research and want to learn more? Already doing PL research and want to learn to manage your academic career? The Programming Language Mentoring Workshop for students will be held on June 16th, 2020, right before @PLDI 2020.

Bluespec, Inc. is delighted to open-source our compiler for the BSV/BH High-level Hardware Design Languages. Enjoy! github.com/B-Lang-org/bsc

Our team at @DeepMind is hiring engineers and researchers in PL, compilers, systems etc. Come work with us on challenging problems and help shape the next generation of AI infrastructure! deepmind.com/careers/jobs/1… deepmind.com/careers/jobs/4…

arxiv.org/abs/1705.09786 New work on asynchronous model-parallel neural network training from MSR Cambridge