‹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
-
Likes541
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
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Stefan Marr @smarr
2K Followers 470 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Talia Ringer 💚 @TaliaRinger
29K 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 542 Following Research Manager on the @GraalVM team at @OracleLabs. Dev tools, languages, VMs. Previously at @HPI_DE, @GoogleColab, and @MatonGuitars. Views are my own.
Elisa Gonzalez Boix @elisagboix
424 Followers 136 Following prof@Vrije Universiteit Brussel - concurrent and distributed systems, programming abstractions, debuggers & language-based security.
Tomas Petricek (find ... @tomaspetricek
9K Followers 933 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Graham Hutton @haskellhutt
8K 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/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
James Noble @jameskjx
1K Followers 565 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
4K 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 853 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
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
/Fay-lee-nuh/ @Felienne
15K Followers 3K Following Moved to BlueSky permanently: https://t.co/WV7NIocqDD
MoreVMs'25 Workshop @MoreVMs
445 Followers 366 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]
HarryKen @harry_ken3960
7 Followers 447 Following
Rawhar @Rawhar753825
22 Followers 991 Following
A T @iDramedy
328 Followers 6K Following
Shahbaz Chaudhary @shahbazac
56 Followers 1K Following
Tassos Pavlakos @tassospavlakos
30 Followers 2K Following
Tiela Beronica @BeronicaTi14287
0 Followers 98 Following My husband was a big fan of investing in virtual assets. He left me a legacy, but I don’t know how to withdraw it. What should I do?【https://t.co/DQdsV9pin2】
João Silveira @joaorsilveira
65 Followers 627 Following
Mikolas Janota 🇵�... @JanotaMikolas
143 Followers 421 Following Computer Science researcher, automated reasoning enthusiast.
Krishna Padmasola @placidex
90 Followers 2K Following
Here we go @AvimanyuRoy3
650 Followers 3K Following
Jansen @jan53n
29 Followers 671 Following
john @sunday__john
15 Followers 472 Following
David Lebl @DavidLebl
33 Followers 363 Following
Petr Skocik @pskocik
305 Followers 248 Following Interested in high performance software, systems, langs & making better tools. https://t.co/zsqhoMpOWB
Wrangly @WranglyBojangly
7 Followers 182 Following
Jon Murdock @murdockjon2
26 Followers 272 Following
Abdullahi Alhaji Doko... @AlhajiDokochi
2 Followers 137 Following
Alex Warth @alexwarth
958 Followers 605 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 283 Following
PagHarper @ff55a931JI5T0
78 Followers 7K Following
ShalokShalom @ShalokShalom
67 Followers 849 Following
NSAD at SPLASH 2024 @NSAD_Workshop
21 Followers 38 Following The 10th 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
84 Followers 1K Following
SCLIT @SCLITConf
14 Followers 32 Following Symposium on Computer Languages, Implementations and Tools
Papo @PaPO616
6 Followers 55 Following
Summerpeace @Ememsummer
1 Followers 89 Following Software developer|| graphics designer||animator|| actress|| dancer
shira @AbramovichShira
268 Followers 825 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 39 Following
𝐓𝐞𝐬𝐟𝐚 @Tesfamarya32215
29 Followers 1K Following
Tobias Fors @tofo
1K Followers 515 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 996 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
167 Followers 232 Following Immigrant (🇺🇸🇪🇺🇸🇪🇹🇼), Silicon Valley refugee (ex-Apple, Skype, Microsoft). #web0 #bicyclesforthemind
Advait Sarkar @AdvaitSarkar
414 Followers 94 Following HCI researcher at Cambridge & UCL studying GenAI and knowledge work. Looking for my music? Try @advaitmusic :)
Eduardo Riesco @azuledu
122 Followers 922 Following Si un árbol cae en el bosque, ¿cae realmente si nadie lo twittea?
Federico Bruzzone @fedebruzzone7
90 Followers 157 Following PhD Candidate in Computer Science. Programming Languages and Compilers enthusiast. Also, Sound Engineer and Music Composer.
Nishchay Audichya @coderScameo
7 Followers 220 Following
Yuchen Cai @yuchencai_
1 Followers 126 Following
FTS @fishtreesugar
15 Followers 487 Following
Pavel Mikhailovskii @rerefactor
28 Followers 56 Following Software Engineer at JetBrains - Working on the Kotlin compiler - Working on the Ludwig programming system - Also https://t.co/7SLKZg6znc
qurak and leptons @QLeptons
34 Followers 1K Following
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Laurence Tratt @laurencetratt
4K Followers 310 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Stefan Marr @smarr
2K Followers 470 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Fabio Niephaus @fniephaus
3K Followers 542 Following Research Manager on the @GraalVM team at @OracleLabs. Dev tools, languages, VMs. Previously at @HPI_DE, @GoogleColab, and @MatonGuitars. Views are my own.
Elisa Gonzalez Boix @elisagboix
424 Followers 136 Following prof@Vrije Universiteit Brussel - concurrent and distributed systems, programming abstractions, debuggers & language-based security.
Tomas Petricek (find ... @tomaspetricek
9K Followers 933 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 565 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
4K 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
4K Followers 989 Following CEO @feenkcom We modernize legacy systems. How? #MoldableDevelopment
/Fay-lee-nuh/ @Felienne
15K Followers 3K Following Moved to BlueSky permanently: https://t.co/WV7NIocqDD
MoreVMs'25 Workshop @MoreVMs
445 Followers 366 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 260 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
VMIL Workshop at SPLA... @VMIL2025
222 Followers 241 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].
Rodrigo Bruno @__rodrigobruno
128 Followers 189 Following Assistant Professor at @istecnico and Researcher at @InescID
Michael Engel (@me_@s... @_m_e________
289 Followers 0 Following
Artem Pelenitsyn 🇺... @ulysses4ever
833 Followers 326 Following Postdoc at @purdue_pl / PhD in CS from @neu_prl / @mmcs_sfedu alumni / Haskell enthusiast, Julia advocate
Shopify Engineering @ShopifyEng
53K Followers 675 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
262 Followers 385 Following By covering a wide scope of techniques, platforms & programming languages, Raincode Labs delivers on even the most challenging compiler projects.
Johan Fabry @johanfabry
344 Followers 61 Following Software engineering professor turned software craftsman. Mad scientist @RaincodeLabs. Personal twitter, insert usual employer disclaimer blah here.
Guille @GuillePolito
518 Followers 616 Following Researcher @ INRIA Lille, CRIStAL lab. Pharoer, Virtual Machines and Compilers
Tiark Rompf @tiarkrompf
2K Followers 507 Following Purdue University (We're hiring! grad students, post-docs, faculty)
PurPL @purdue_pl
924 Followers 120 Following PurPL is the cross-departmental center for programming languages research at Purdue University.
@[email protected]... @DelftPL
226 Followers 165 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
394 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
538 Followers 528 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
35 Followers 61 Following 6th International Workshop on Programming Technology for the Future Web
SoftwareLanguagesLab @softlab_brussel
611 Followers 137 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
217 Followers 192 Following Computer science and technology enthusiast. Professor by chance. Basically a geek. Also on Mastodon as @[email protected]
Nicolás Cardozo @ncardoz
361 Followers 363 Following Into adaptive systems, programming languages, and dynamic verification. Associate Professor @FlaGlab @DISCuniandes @[email protected] @ncardozo.bsky.soci
Jun Kato @junkato
801 Followers 573 Following Toolsmith researcher, programming the way of programming and storytelling. AIST / Arch Inc. (JP) / ex-ExSitu, Université Paris-Saclay (FR). 日本語: @arcatdmz
Richard Jones 🇺�... @profrejones
984 Followers 304 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 74 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
302 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
55 Followers 105 Following Workshop on Reactive and Event-based Languages & Systems
ICOOOLPS 2023 @ICOOOLPS
201 Followers 209 Following Workshop on Implementation, Compilation, Optimization of Object Oriented Languages, Programs and Systems
ESUG @esugsmalltalk
1K Followers 307 Following
GraalVM @graalvm
25K Followers 82 Following GraalVM compiles your Java 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
95 Followers 121 Following Believer in declarative programming and free speach
Moose @moosetechnology
710 Followers 96 Following Moose is a platform for software and data analysis.
The Pharo Project @pharoproject
3K Followers 354 Following Pharo is a pure object-oriented programming language and a powerful environment, focused on simplicity and immediate feedback
Bret Victor @worrydream
55K Followers 10 Following past posts: https://t.co/B7ETHSGzT5 new posts: https://t.co/qtYDKYc6ez
Chris Granger @ibdknox
9K Followers 41 Following Interfaces @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
647 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 471 Following Associate Prof. @ Chalmers. Lead ICEr @IcetLab. Moving over to Mastodon: @[email protected]Trends for United States
You might like
