‹Programming› 2025 @programmingconf
This account is currently inactive. Please follow us on our other socal media accounts. 2025.programming-conference.org Prague, Czech Republic Joined June 2016-
Tweets723
-
Followers1K
-
Following143
-
Likes539
We will be primarily sharing updates about <Programming> 2025 on our other social media accounts, including Mastodon and BlueSky. Please follow us there!
#Workshops and #tutorials co-located with #prog25 have been announced! Follow us for more details on both recurring and new events. Also consider submitting to the #SRC: The deadline has been extended to March 3rd, 2025. Read more at: 2025.programming-conference.org/track/prog25-w…
@SCLITConf will see it's triumphant comeback in it's 9th edition as a workshop co-located with @programmingconf. Are you working on #pl? We want to see your paper, consider submitting to #sclit2025
#prog25 will host a Student Research Competition 💻🏆 All #ACM undergraduate and graduate students are invited to apply. Hand-in your extended abstract until Saturday 15th February 2025. 2025.programming-conference.org/track/programm…
#prog25 is now inviting workshop proposals. Submit your workshop ideas at the latest by December 1, 2024! Events are accepted on a rolling basis, so please submit your event ideas early. 2025.programming-conference.org/track/prog25-w…
Beat the gatekeepers! Hold a workshop at @programmingconf. Proposal deadline Dec 1. 2025.programming-conference.org/track/prog25-w…
After the submission deadline is before the submission deadline: Submit to the journal on The Art, Science, and Engineering of Programming until October 1st, 2024 🏁 You can find the journal's #CallForPapers linked on the submission website: programming25-92.hotcrp.com
Reminder: The next submission deadline for the journal on The Art, Science, and Engineering of Programming is June 1st, 2024 🏁 You can find the journal's #CallForPapers linked on the submission website: programming25-92.hotcrp.com
Save the date: #prog25 will take place June 2 to 6, 2025. We look forward to meeting you in Prague, Czechia #conference #programming #research 2025.programming-conference.org
The journal on "The Art, Science, and Engineering of Programming" is still taking submissions for volume nine! Next deadline is June 1st 📫 Submitted papers have the opportunity to use the journal's artifact evaluation process to submit and publish their results of any form.
A big thank you to everyone who attended and organized #prog24 But after <Programming> is before <Programming>: Come join us for #prog25 next year in Prague, Czechia. Please note that the conference will likely take place in late May 2025 or early June. 2025.programming-conference.org
Ever tried swedish pizza before? 🍕🍌 Take a look at it in our impressions of day 2. Day 3 of #prog24 will start at 9 o'clock with the conference opening and a keynote on Programming Algorithmic Art by Benoit Baudry 2024.programming-conference.org
Good morning! / God morgon! Some impressions of day 1 to get you ready for day 2 of #prog24. Come visit the workshops and the art event KhipuCoding today 2024.programming-conference.org
Update: There was a mistake on the location on the website and previous messages We are here: what3words.com/maps.line.dyna…
Less than 24 hours until the start of #prog24 🥁 In-person registration starts at 8:30 in the M-building (aka main building) Take a look at the complete program here: 2024.programming-conference.org/program/progra…
Come take a look at the program of #prog24: 2024.programming-conference.org/program/progra… The first two days will be mainly focussed on the workshops while Wednesday and Thursday are focussed mainly on research papers. Join us in Lund in two weeks 🥯🏞
New event: Additional optional day for #prog24 Because of newly emerged interest, there will be an optional walk around Lund on the 15th of March 2024, Friday. 🏡🥯 Thus, the new official conference dates are March 11 to 15, 2024 2024.programming-conference.org
The deadline for the Art Track of #prog24 was extended 🎨 Submit a description of what you want to present until February 23, 2024 2024.programming-conference.org/track/programm…
Registration for #prog24 is now open! 🎉 Registration link and additional information can be found here: 2024.programming-conference.org/attending/regi…
The ‹Programming› Conference 2024 will host an evening open for the presentation of artworks or artistic research projects developed by the community. Each contribution will have about 15 minutes at #prog24 Proposal deadline: 15th February 2024 2024.programming-conference.org/track/programm…
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Stefan Marr @smarr
2K Followers 460 Following Interpreters, compilation, concurrency, and debugging tools.
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Fabio Niephaus @fniephaus
3K Followers 536 Following Research Manager on the @GraalVM team at @Oracle. Dev tools, languages, VMs. Previously at @HPI_DE, @GoogleColab, and @MatonGuitars. Views are my own.
Elisa Gonzalez Boix @elisagboix
409 Followers 133 Following prof@Vrije Universiteit Brussel - concurrent and distributed systems, programming abstractions, debuggers & language-based security.
Tomas Petricek (find ... @tomaspetricek
10K Followers 928 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
Graham Hutton @haskellhutt
9K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
James Noble @jameskjx
1K Followers 568 Following
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Chris Seaton @ChrisGSeaton
4K Followers 2K Following Researcher at @Shopify // PhD in Ruby // Founder of @TruffleRuby // Squadron Leader of the Cheshire Yeomanry 🦊
José Manuel Calderó... @josecalderon
2K Followers 859 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
MoreVMs'25 Workshop @MoreVMs
444 Followers 362 Following 9th Workshop on Modern Language Runtimes, Ecosystems, and VMs. Co-located with the @programmingconf in Prague, Czechia.
CF Bolz-Tereick @cfbolz
3K Followers 1K Following PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Vegan. they/them Mainly on @[email protected]
Jeremy Gibbons @jer_gib
2K Followers 252 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
VMIL Workshop at SPLA... @VMIL2025
219 Followers 238 Following Virtual Machines and Language Implementations. Co-located with SPLASH'25.
Bas @basketticode
6 Followers 928 Following
Little Coding Things @lilCodingThings
27 Followers 51 Following A blog about web development, focused on the front-end world: HTML, CSS, JavaScript, and the ever-spinning ecosystem around them.
HarryKen @harry_ken3960
7 Followers 449 Following
Rawhar @Rawhar753825
28 Followers 1K Following
A T @iDramedy
279 Followers 6K Following
Shahbaz Chaudhary @shahbazac
54 Followers 1K Following
Tassos Pavlakos @tassospavlakos
30 Followers 3K Following
João Silveira @joaorsilveira
63 Followers 622 Following
Mikolas Janota 🇵�... @JanotaMikolas
156 Followers 543 Following Computer Science researcher, automated reasoning enthusiast.
Krishna Padmasola @placidex
87 Followers 3K Following
何 @AvimanyuRoy3
744 Followers 6K Following
Jansen @jan53n
33 Followers 635 Following
David Lebl @DavidLebl
29 Followers 381 Following
Petr Skocik @pskocik
426 Followers 331 Following Interested in high performance software, systems, langs & making better tools. https://t.co/zsqhoMpOWB
Wrangly @WranglyBojangly
10 Followers 232 Following
Jon Murdock @murdockjon2
18 Followers 290 Following
Abdullahi Alhaji Doko... @AlhajiDokochi
1 Followers 136 Following
Alex Warth @alexwarth
954 Followers 614 Following Principal Investigator at @inkandswitch Formerly at Alan Kay's research groups (YCR/HARC, CDG, VPRI), and Google Creator of OMeta, co-creator of @_ohmjs
Nika Bibileishvili @bibile73612
4 Followers 286 Following
ShalokShalom @ShalokShalom
74 Followers 858 Following
NSAD at SPLASH 2026 @NSAD_Workshop
21 Followers 37 Following The 11th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD), co-located with @splashcon
Marco Cappellari @MarcoRomildo
3K Followers 7K Following Assistente Tecnico presso il Genio Civile di Padova
wuc9521 @wuc9521
85 Followers 1K Following
SCLIT @SCLITConf
14 Followers 32 Following Symposium on Computer Languages, Implementations and Tools
Papo @PaPO616
7 Followers 55 Following
Summerpeace @Ememsummer
1 Followers 89 Following Software developer|| graphics designer||animator|| actress|| dancer
shira @AbramovichShira
264 Followers 813 Following "poète, traductrice et informaticienne" • cs/sts/a11y research @mcgillu • ex @FulbrightCanada @BrownUniversity • editor @reboot_hq • she/her • shira-a on sky
David Sheinbein @dsDeveloping
0 Followers 38 Following
𝐓𝐞𝐬𝐟𝐚 @Tesfamarya32215
19 Followers 2K Following
Tobias Fors @tofo
1K Followers 516 Following "Full stack management consultant". Certified Scrum Trainer since 2006. I help you be a better software leader. See @holifant_se
Andy Gordon @AndrewDGordon
2K Followers 983 Following Computer scientist focused on AI & HCI, esp programming languages. Science advisor at Cogna and Evara AI. Ex partner at Microsoft. Honorary prof at U Edinburgh.
Odhrán @Odhrn51960
0 Followers 35 Following
John Chang @jrcplus
162 Followers 230 Following Immigrant (🇺🇸🇪🇺🇸🇪🇹🇼), Silicon Valley refugee (ex-Apple, Skype, Microsoft). #web0 #bicyclesforthemind
Advait Sarkar @AdvaitSarkar
659 Followers 97 Following HCI researcher at Cambridge & UCL studying GenAI and knowledge work. Looking for my music? Try @advaitmusic :)
Eduardo Riesco @azuledu
118 Followers 935 Following Si un árbol cae en el bosque, ¿cae realmente si nadie lo twittea?
Federico Bruzzone @fedebruzzone7
133 Followers 163 Following CS PhD Candidate. Programming Languages and Compilers enthusiast. Diving into AI (ML/DL) compilers.
Nishchay Audichya @coderScameo
5 Followers 223 Following
Yuchen Cai @yuchencai_
2 Followers 154 Following
FTS @fishtreesugar
15 Followers 483 Following
Pavel Mikhailovskii @rerefactor
27 Followers 55 Following Software Engineer at JetBrains - Working on the Kotlin compiler - Working on the Ludwig programming system - Also https://t.co/7SLKZg6znc
Ngozi Harrison @kingnegritude
576 Followers 4K Following phd student in information studies @ucla | center for resilience and digital justice fellow, studying machine learning, blackness, data, and ai | free 🇵🇸
Charles @Charles62017475
29 Followers 444 Following
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Laurence Tratt @laurencetratt
4K Followers 313 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Stefan Marr @smarr
2K Followers 460 Following Interpreters, compilation, concurrency, and debugging tools.
Fabio Niephaus @fniephaus
3K Followers 536 Following Research Manager on the @GraalVM team at @Oracle. Dev tools, languages, VMs. Previously at @HPI_DE, @GoogleColab, and @MatonGuitars. Views are my own.
Elisa Gonzalez Boix @elisagboix
409 Followers 133 Following prof@Vrije Universiteit Brussel - concurrent and distributed systems, programming abstractions, debuggers & language-based security.
Tomas Petricek (find ... @tomaspetricek
10K Followers 928 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
James Noble @jameskjx
1K Followers 568 Following
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Chris Seaton @ChrisGSeaton
4K Followers 2K Following Researcher at @Shopify // PhD in Ruby // Founder of @TruffleRuby // Squadron Leader of the Cheshire Yeomanry 🦊
Tudor Girba @girba
3K Followers 1K Following CEO @feenkcom We modernize legacy systems. How? #MoldableDevelopment
MoreVMs'25 Workshop @MoreVMs
444 Followers 362 Following 9th Workshop on Modern Language Runtimes, Ecosystems, and VMs. Co-located with the @programmingconf in Prague, Czechia.
CF Bolz-Tereick @cfbolz
3K Followers 1K Following PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Vegan. they/them Mainly on @[email protected]
Jeremy Gibbons @jer_gib
2K Followers 252 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
VMIL Workshop at SPLA... @VMIL2025
219 Followers 238 Following Virtual Machines and Language Implementations. Co-located with SPLASH'25.
Simon Fowler @Simon_JF
1K Followers 1K Following Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @[email protected].
Christian Humer @grashalm_
2K Followers 462 Following PL/VM/Compilers at Oracle. Working on Truffle/Graal. ME/CFS Caretaker and Activist (https://t.co/gWxW16A5Op). Austrian expat in Zurich. https://t.co/piKOfYIYCL
Rodrigo Bruno @__rodrigobruno
132 Followers 191 Following Assistant Professor at @istecnico and Researcher at @InescID
Michael Engel (@me_@s... @_m_e________
284 Followers 0 Following
Artem Pelenitsyn 🇺... @ulysses4ever
818 Followers 331 Following Incoming Assist. Prof. of CS @BloomsburgU / Postdoc at @purdue_pl / PhD from @neu_prl / @mmcs_sfedu alumni / Haskell enthusiast, Julia advocate
Shopify Engineering @ShopifyEng
59K Followers 708 Following Making commerce better for everyone. Follow us for technical discussions and updates on how engineers build @Shopify. Explore open roles: https://t.co/NFSvvCJBXt
RaincodeLabs @RaincodeLabs
257 Followers 381 Following By covering a wide scope of techniques, platforms & programming languages, Raincode Labs delivers on even the most challenging compiler projects.
Johan Fabry @johanfabry
341 Followers 61 Following Software engineering professor turned software craftsman. Mad scientist @RaincodeLabs. Personal twitter, insert usual employer disclaimer blah here.
Guille @GuillePolito
510 Followers 611 Following Researcher @ INRIA Lille, CRIStAL lab. Pharoer, Virtual Machines and Compilers
Tiark Rompf @tiarkrompf
2K Followers 503 Following Purdue University (We're hiring! grad students, post-docs, faculty)
PurPL @purdue_pl
912 Followers 120 Following PurPL is the cross-departmental center for programming languages research at Purdue University.
@[email protected]... @DelftPL
223 Followers 164 Following Programming languages research group at TU Delft. This account is no longer active, follow us at https://t.co/l5hJ0MfhxG instead.
ENIAC20 @ENIACWorkshop
11 Followers 1 Following First International Workshop on ENgineering Intelligent Applications' Code
Toit @toitware
391 Followers 62 Following Toit is the software platform for IoT devices. We make it as easy to create software for microcontrollers as it is to build a mobile app.
Meinte Boersma @meinte37
531 Followers 519 Following Model-driven geek, code sculptor, and writer of a book. Also: https://t.co/Ho64NMhRA0, https://t.co/2ZKBf73tdj, @[email protected]
ProWeb 2022 @ProWebWorkshop
34 Followers 59 Following 6th International Workshop on Programming Technology for the Future Web
SoftwareLanguagesLab @softlab_brussel
602 Followers 136 Following The Software Languages Lab is a research lab within the Department of Computer Science of the Vrije Universiteit Brussel (VUB).
Walter Cazzola @w_cazzola
223 Followers 189 Following Computer science and technology enthusiast. Professor by chance. Basically a geek. Also on Mastodon as @[email protected]
Nicolás Cardozo @ncardoz
358 Followers 362 Following Into adaptive systems, programming languages, and dynamic verification. Associate Professor @FlaGlab @DISCuniandes @[email protected] @ncardozo.bsky.soci
Jun Kato @junkato
835 Followers 570 Following Toolsmith researcher, programming the way of programming and storytelling. AIST / Arch Inc. (JP) / ex-ExSitu, Université Paris-Saclay (FR). 日本語: @arcatdmz
Richard Jones 🇺�... @profrejones
953 Followers 297 Following Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
Racket @racketlang
7K Followers 79 Following Official Twitter account for the Racket programming language. Please ask questions at https://t.co/V7rIWhB2rE or https://t.co/k1nOVqq2dI
Christoph Kirsch @christophkirsch
301 Followers 100 Following Computer Scientist and Professor at the University of Salzburg, Austria
David Van Horn @lambda_calculus
5K Followers 1K Following Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @[email protected]
Manu Sridharan @rakingleaves
2K Followers 1K Following Professor @UCR_CSE doing research in programming languages and software engineering. https://t.co/8YGA4y2NaS BSky: @manu.sridharan.net
Michael Hilton @michaelhilton
2K Followers 2K Following Associate Teaching Professor at @isrcmu - Research Interest: Continuous Integration, SE education - Loves God, Family and Soccer
Oleg Šelajev 🇪�... @shelajev
7K Followers 2K Following Testcontainers at Docker. Developer, author, speaker. Java Champion https://t.co/rqUJAfWJrg views are my own
REBLS Workshop @ReblsW
54 Followers 103 Following Workshop on Reactive and Event-based Languages & Systems
ICOOOLPS 2023 @ICOOOLPS
195 Followers 208 Following Workshop on Implementation, Compilation, Optimization of Object Oriented Languages, Programs and Systems
ESUG @esugsmalltalk
1K Followers 303 Following
GraalVM @graalvm
25K Followers 84 Following GraalVM compiles your applications ahead of time into native executables that start instantly, scale fast, and use fewer compute resources 🚀
David J. Pearce @whileydave
1K Followers 3K Following [email protected] | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.
Boaz Rosenan @brosenan
94 Followers 120 Following Believer in declarative programming and free speach
Moose @moosetechnology
704 Followers 94 Following Moose is a platform for software and data analysis.
The Pharo Project @pharoproject
3K Followers 349 Following Pharo is a pure object-oriented programming language and a powerful environment, focused on simplicity and immediate feedback
Chris Granger @ibdknox
9K Followers 41 Following Fellow @RelationalAI. Previously co-founder of Eve and Light Table, YCombinator Alum, ex-Microsoft and Looker.
Sarah Mount @snim2
2K Followers 5K Following Service Lead (GovPress) dxw | 2015 Fellow of @SoftwareSaved 🔬 | Author 📖 | [email protected]
Didier Verna @didierverna
644 Followers 213 Following Jazz musician, composer, and radio journalist part time. Computer scientist part time. Aikido teacher part time. Lisp, Jazz, Aikido all the time.
Philipp Leitner (@xLe... @xLeitix
1K Followers 463 Following Associate Prof. @ Chalmers. Lead ICEr @IcetLab. Moving over to Mastodon: @[email protected]Trends for United States
You might like
