‹Programming› 2025 @programmingconf
The International Conference on the Art, Science, and Engineering of Programming. Official hashtag for 2025: #prog25 2024.programming-conference.org Lund, Sweden Joined June 2016-
Tweets715
-
Followers1K
-
Following154
-
Likes549
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…
The fifth and final workshop of #prog24 is VIMPL. Submit until January 22, 2024. This workshop provides a forum for researchers and practitioners to discuss the (re)emergence of value independence in several programming and software engineering domains. 2024.programming-conference.org/home/vimpl-2024
The fourth workshop at #prog24 is QP, the #QuantumProgramming workshop. Submit until January 22, 2024. QP 2024 will provide a platform for researchers and practitioners interested in the Art, Science, and Engineering of Quantum Programming. 2024.programming-conference.org/home/qp-2024
The third workshop at #prog24 is PX/24. Submit until February 8th, 2024. PX/24 will expand its focus to also cover: What makes the experience of a programmer and what breaks it? For whom? What can we build to share the joy of programming with others? 2024.programming-conference.org/home/px-2024
The second #workshop co-located with #prog24 is MoreVMs! Submit your work until January 17th, 2024. MoreVMs aims to bring together industrial and academic programmers to discuss the design, implementation, and usage of modern languages and runtimes. 2024.programming-conference.org/home/MoreVMs-2…
Happy new year everyone! 🎉 There will be five #workshops at #prog24. The first is ICW'24: Submit until January 17th, 2024. The goal of this workshop is to facilitate an ongoing discussion, and advance the state of the art of interconnecting code. 2024.programming-conference.org/home/icw-2024#…
#prog24 will have 5 workshops, stay tuned for individual information on each #workshop. An overview of all submission deadlines: ICW - 17. Jan 2024 MoreVM's - 17. Jan 2024 PX - 8. Feb 2024 QP - 22. Jan 2024 VIMPL - 22. Jan 2024 2024.programming-conference.org/track/programm…
#prog24 will have a new track for the art 🎨 part of "The International Conference on the Art, Science, and Engineering of Programming" Stay tuned for events like KhipuKoding, a live coding session by Paola Torres Nunez del Prado Photo by Paulus van Dorsten, ICLC 2023, Utrecht
Come join #prog24 as #StudentVolunteer! Application deadline is February 26th, 2024 2024.programming-conference.org/track/programm…
Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketAlex Potanin @AlexP_DownUnder
805 Followers 300 Following Associate Professor, School of Computing, Australian National University. Review Committee Chair for OOPSLA 2024. Always looking for PhD students in PL and SE!Stefan Marr @smarr
2K Followers 498 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבושFabio Niephaus @fniephaus
3K Followers 547 Following Researcher 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
432 Followers 147 Following prof@Vrije Universiteit Brussel - concurrent and distributed systems, programming abstractions, debuggers & language-based security.Tomas Petricek @tomaspetricek
10K Followers 970 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CLandrew blinn @disconcision
3K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhoneGraham Hutton @haskellhutt
7K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Cyrus Omar @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 assistant professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crewJames Noble @jameskjx
1K Followers 570 FollowingManuel Rigger @RiggerManuel
3K Followers 2K Following Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages. @[email protected]Jonathan Aldrich is K.. @JAldrichPL
4K Followers 1K Following Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (https://t.co/sNSJTo6uHj). He/him. Views are mine.Chris Seaton @ChrisGSeaton
5K Followers 2K Following Researcher at @Shopify // PhD in Ruby // Founder of @TruffleRuby // Squadron Leader of the Cheshire Yeomanry 🦊José Manuel Calderó.. @josecalderon
2K Followers 842 Following Director @HaskellFound , lecturer @umdcs. Jazz, music theory, compilers + privacy, sometimes I combine them. I can also be found @[email protected] I miss YorkshireKC Sivaramakrishnan @kc_srk
4K Followers 3K Following CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA./Fay-lee-nuh/ @Felienne
17K Followers 4K Following Professor of CompSciEducation @vuamsterdam Teacher @lmc_vo Creator of @hedycode: gradual & multi-lingual PL for kids Tech @BNRzaken [email protected]MoreVMs'24 Workshop @MoreVMs
453 Followers 389 Following 8th Workshop on Modern Language Runtimes, Ecosystems, and VMs. Co-located with the @programmingconf in Lund, Sweden.Gopal Pandey I.T GP n.. @Gopal_pandey99
7 Followers 133 Followinglil' niblet @__meijiu
160 Followers 196 FollowingSoftware Developer @dmkavanagh
2K Followers 7K Following Software Developer for 44+ years currently involved in Java, AppSec, Rancher, Storm, AWS, Kubernetes, Kafka, Cryptography, BA, BSCS, MSCS, GoTerps!, Go Joe!Electronicsseeker @libertarian108
56 Followers 3K Followingmlecchaslayer156 @mlecchasla37448
114 Followers 3K FollowingMr Rashid @Mr_rashid25
4 Followers 74 Following Hi I am learning Certified AI, Metaverse, and Web 3.0Political Justice @PoliticalJust
706 Followers 3K Following This is a Daily Online Radio program that is based on the teaching of Jesus Christ. Facebook :https://t.co/fDMJG5LPQx… Dr Felicia M NumanAnshu Rajbhar @AnshuRajbhar7
103 Followers 1K Following IIT Madras || Data science || Programming 5k+ @LinkedIn Request hai ,, 😅 Live your practical life more than social media.أحمد المران.. @ahmedalmararani
190 Followers 1K FollowingTech Programming15 @programmin1326
8 Followers 159 FollowingJared Forsyth @jaredforsyth
6K Followers 2K Following follower of Christ. feminist. mormon. type theory, @reasonml, @reactjs, PLT Mobile dev @KhanAcademy he/him @[email protected]Nur Kholiq Ansori @nurkholiq_a
8 Followers 168 Following Developer | Frontend | Backend | Tech EthusiastDov Reshef @dov_reshef
4 Followers 480 Followingspinigdelo1972 @spinigdelo57738
26 Followers 52 Followingbellyhungrybebe @bellyhungrybebe
4K Followers 1K Following 🌐 Community Manager @DashMetaverse #NFT & #web3 lover | [email protected]Adewunmi Apelehin @AdewunmiAp6806
6 Followers 412 Followingばななだいふく.. @bananachacha000
2K Followers 6K Following 高1 主に競技プログラミングについて投稿します 数学についても時々投稿します ・Atcoder ・情報オリンピック ・c++&Python ・OMC ・数学オリンピック(JJMO地区表彰はされたが予選落ち) ・第10回科学の甲子園ジュニア 一応東大or東工大志望だが 自分のやりたいことができる大学に入りたいDavid Pratten @davidpratten
46 Followers 231 Following Release Train Engineer (SAFe) / UTS Computer Science PhD StudentRohan makes compilers.. @rohan_devarc
4K Followers 411 Following Database & Compiler architect | BLAS | HTAP | C++ | 🇮🇳/engg | 🚨 I ABSOLUTELY WON'T TWEET ABOUT DATABASES OR COMPILERSHarsh Kumar @HarshKu68925583
1 Followers 214 FollowingQuzeem Odusanwo @Quzeem_Odusanwo
5 Followers 136 Following An Upcoming Programmer || Tech Enthusiast || CS Undergraduate || Student @alx_africa || Share information about Programming. (Welcome to my new account)keisuke6 @ksuke6_2024
1K Followers 995 Following 予選落ち黄Solverです OMC 🍋 / JMO '24 予選落ち AtC 🍋 / JOI '24 🌸 / 情報科学の達人 4 期生 筑駒Paken高校副部長Yadu Gole @yadu_gole
12 Followers 85 Followingnatty @tamstech237
12 Followers 38 FollowingAlfredo Capitia @AlfredoCap29901
21 Followers 59 FollowingM @_hindenbug
251 Followers 242 Following Father • Husband • 1x Developer • Tinkerer • #DistributedSystems. #Databases. PLTs • Gamer 🎮 • Star Gazer 🪐• 🌍 ⌨️Shaan @Shaan1408
1 Followers 29 Followingneuroevolutus @neuroevolutus
5 Followers 1K Followingmrragava @mrragava
155 Followers 3K FollowingFabrizio Montesi ⬣ .. @famontesi
659 Followers 529 Following Marchigiano 🇮🇹 in 🇩🇰 | Author of Introduction to Choreographies | Maintainer @jolielang | Pres. @c_microservices | #ChoreographicProgramming #microservicesJB @JBezivin
4K Followers 3K Following Observing the world from Brittany. “Let's cultivate our garden.” Voltaire, Candide JBezivin @jbezivin.bsky.social on bsky @[email protected] on MastodonHasaj Yare @HasajY56642
8 Followers 40 FollowingMajid Mostafavi @majidmostafavi
145 Followers 1K FollowingSB programming servic.. @resilientcoder3
26 Followers 265 Following provides all types programming services at super affordable pricesPetr Myval @PMyval
201 Followers 3K Followinghirak jyoti deka @hirakjyoti2138
9 Followers 105 Following Village -Lathapara Dist-Darong, Assam Ps-SipajharChris Nii @_ChrisNii_
28 Followers 75 FollowingAbdulbasiɗ Muhammad @AMuhammad61930
59 Followers 474 FollowingJulian @JulianJulian99
16 Followers 3K FollowingMaartenS11 @MartenS_11
142 Followers 889 Following Currently working on @tf2classic. Computer Science student @ugent. Creator of dom_oilcanyon, the tf2c launcher and other things.Sam Whitby Coding @SamWhitbyCoding
6 Followers 40 Following Aspiring content creator on a mission to make coding enjoyable for everyone. 🎥💻 | Join me on my YouTube journey as I share tips, tutorials.Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketLaurence Tratt @laurencetratt
4K Followers 310 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.Alex Potanin @AlexP_DownUnder
805 Followers 300 Following Associate Professor, School of Computing, Australian National University. Review Committee Chair for OOPSLA 2024. Always looking for PhD students in PL and SE!Stefan Marr @smarr
2K Followers 498 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.Fabio Niephaus @fniephaus
3K Followers 547 Following Researcher 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
432 Followers 147 Following prof@Vrije Universiteit Brussel - concurrent and distributed systems, programming abstractions, debuggers & language-based security.Tomas Petricek @tomaspetricek
10K Followers 970 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CLJames Noble @jameskjx
1K Followers 570 FollowingManuel Rigger @RiggerManuel
3K Followers 2K Following Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages. @[email protected]Jonathan Aldrich is K.. @JAldrichPL
4K Followers 1K Following Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (https://t.co/sNSJTo6uHj). He/him. Views are mine.Chris Seaton @ChrisGSeaton
5K Followers 2K Following Researcher at @Shopify // PhD in Ruby // Founder of @TruffleRuby // Squadron Leader of the Cheshire Yeomanry 🦊/Fay-lee-nuh/ @Felienne
17K Followers 4K Following Professor of CompSciEducation @vuamsterdam Teacher @lmc_vo Creator of @hedycode: gradual & multi-lingual PL for kids Tech @BNRzaken [email protected]MoreVMs'24 Workshop @MoreVMs
453 Followers 389 Following 8th Workshop on Modern Language Runtimes, Ecosystems, and VMs. Co-located with the @programmingconf in Lund, Sweden.AndrzejWasowski@schol.. @AndrzejWasowski
1K Followers 340 Following An insolent elitist derogatory fearless context-free professor conjugates a well-typed glass of higher-order prilimubary students. https://t.co/SIsNTD3XbDCF 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 276 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]Tom Beckmann @tom9522
54 Followers 20 Following PhD Student @ Software Architecture Group, HPI, Uni PotsdamRodrigo Bruno @__rodrigobruno
122 Followers 188 Following Assistant Professor at @istecnico and Researcher at @InescIDMichael Engel (@me_@s.. @_m_e________
321 Followers 0 FollowingArtem Pelenitsyn 🇺.. @ulysses4ever
842 Followers 330 Following Postdoc at @purdue_pl / PhD in CS from @neu_prl / @mmcs_sfedu alumni / Haskell enthusiast, Julia advocateShopify Engineering @ShopifyEng
47K Followers 644 Following Making commerce better for everyone. Follow us for technical discussions and updates on how engineers build @ Shopify. Need help? @ShopifySupportRaincodeLabs @RaincodeLabs
276 Followers 421 Following By covering a wide scope of techniques, platforms & programming languages, Raincode Labs delivers on even the most challenging compiler projects.Johan Fabry @johanfabry
373 Followers 65 Following Software engineering professor turned software craftsman. Mad scientist @RaincodeLabs. Personal twitter, insert usual employer disclaimer blah here.Simon Fowler @Simon_JF
1K Followers 2K Following Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @[email protected].Guille @GuillePolito
536 Followers 643 Following Researcher @ INRIA Lille, CRIStAL lab. Pharoer, Virtual Machines and CompilersTiark Rompf @tiarkrompf
2K Followers 540 Following Purdue University (We're hiring! grad students, post-docs, faculty)PurPL @purdue_pl
961 Followers 113 Following PurPL is the cross-departmental center for programming languages research at Purdue University.@[email protected].. @DelftPL
243 Followers 174 Following Programming languages research group at TU Delft. This account is no longer active, follow us at https://t.co/l5hJ0MfhxG instead.ENIAC20 @ENIACWorkshop
14 Followers 1 Following First International Workshop on ENgineering Intelligent Applications' CodeAntony Hosking @AntonyHosking
845 Followers 557 Following Professor and Director of ANU School of Computing @anucecs, computer scientist, PL researcher, author of GC Handbook: Art of Automatic Memory Management@[email protected].. @andywingo
3K Followers 929 Following andy wingo / niche content / always be consin' / tantamount to cordial / https://t.co/TZudDPKtPkToit @toitware
413 Followers 66 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
575 Followers 563 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
38 Followers 61 Following 6th International Workshop on Programming Technology for the Future WebSoftwareLanguagesLab @softlab_brussel
614 Followers 157 Following The Software Languages Lab is a research lab within the Department of Computer Science of the Vrije Universiteit Brussel (VUB).Eline Philips @eline_philips
135 Followers 111 FollowingFlorian Myter @fmyter
106 Followers 91 Following co-founder @ https://t.co/VmSVbfM8cn In order of importance: Father, Husband, Automotive Enthousiast, MetalheadWalter Cazzola @w_cazzola
232 Followers 204 Following Computer science and technology enthusiast. Professor by chance. Basically a geek. Also on Mastodon as @[email protected]Nicolás Cardozo @ncardoz
359 Followers 346 Following Person. Into adaptive systems, programming languages, and dynamic verification. Associate Professor @FlaGlab @DISCuniandes @Uniandes @[email protected]Jun Kato (@junkato@hc.. @junkato
628 Followers 553 Following Designer/programmer/researcher, programming the way of programming and storytelling. Senior Researcher at AIST, Technical Advisor at Arch Inc. 日本語: @arcatdmzRichard Jones 🇺�.. @profrejones
1K Followers 318 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 67 Following Official Twitter account for the Racket programming language. Please ask questions at https://t.co/V7rIWhB2rE or https://t.co/k1nOVqq2dIChristoph Kirsch @christophkirsch
301 Followers 104 Following Computer Scientist and Professor at the University of Salzburg, AustriaDavid 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 or https://t.co/Z0Cn1GTSq9Michael Hilton @michaelhilton
2K Followers 2K Following Associate Teaching Professor at @isrcmu - Research Interest: Continuous Integration, SE education - Loves God, Family and SoccerOleg Šelajev 🇪�.. @shelajev
7K Followers 2K Following Testcontainers at Docker. Developer, author, speaker. Java Champion https://t.co/rqUJAfWJrg views are my ownREBLS Workshop @ReblsW
59 Followers 116 Following Workshop on Reactive and Event-based Languages & SystemsVMIL Workshop at SPLA.. @VMIL2024
226 Followers 222 Following Virtual Machines and Language Implementations. Co-located with SPLASH'24.ICOOOLPS 2023 @ICOOOLPS
208 Followers 222 Following Workshop on Implementation, Compilation, Optimization of Object Oriented Languages, Programs and SystemsESUG @esugsmalltalk
1K Followers 321 FollowingGraalVM @graalvm
23K Followers 83 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
2K Followers 4K Following [email protected] | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.Boaz Rosenan @brosenan
97 Followers 123 Following Believer in declarative programming and free speachMoose @moosetechnology
762 Followers 104 Following Moose is a platform for software and data analysis.And now @__pocho__ is presenting his work on Live Objects All The Way Down at @programmingconf. Our full paper at programming-journal.org/2024/8/5/ And maybe a blog post "soon"...
On the way home after a week of loads of interesting work @programmingconf. And I was publicly outed as Reviewer 2. At the Programming Journal they work hard to make even Reviewer 2 write constructive reviews...
2nd day of @programmingconf at the University of Tokyo! Ready for the quantum programming workshop! #prog23 #qp23
"Wikipedia describes Smalltalk as an object-oriented programming *language* and spends a lot of time on its syntax. But language is only a small part of Smalltalk. What is it then? A programming system!" -- Joel Jakubovic presenting our work at @programmingconf
I'm really grateful to the organizers of @programmingconf who are doing the in-person event in Japan and, at the same time, set up a Discord server properly organized, support live remote presentations via Zoom, and generally enable some level of online participation.
I kind of missed the back of the ACM's January issue. Just noticed putting it up on the shelf. See you at @programmingconf!
<Programming> 2023 early reg closes Monday 13th! In case anyone else is caught out, as I have been.
Early registration for #prog23 ends February 13th, 2023. Register now at: 2023.programming-conference.org/attending/regi…
Let's try something different: A call for a co-organizer for our @MoreVMs workshop. If you'd like to be involved in organizing a language implementers workshop in March'23 in Tokyo, please reach out. Few more bits below:
@samth @asajeffrey @ProfMaxNew @lambdaNik @jeremysiek @programmingconf "Gradual Soundness: Lessons from Static Python" cs.brown.edu/~sk/Publicatio…
@asajeffrey @ProfMaxNew @lambdaNik @jeremysiek Another nice paper in this vein is by @ShriramKMurthi and folks at FB about Cider, their VM for Python, in @programmingconf.
Come and submit to PAINT, the new workshop on Programming Abstractions and Interactive Notations, Tools, and Environments, co-located with @splashcon ! CfP: 2022.splashcon.org/home/paint-202… Submission Deadline: Sep 01, 2022
‹Programming› 2022 Research Papers (with Racket) @programmingconf @racketlang
@disconcision @djmicrobeads @meekaale @amyjko Also @amb26ponder and @jonathoda conducted "Boxer Salon" last week during @programmingconf (I hope the videos will be available)
Goodbye Porto! Had great fun @programmingconf Nice to meet u all !
Thanks to everyone who joined us for a tutorial on Programming Systems at @programmingconf in Porto. Lots of interesting discussions on Friday! 👉Check out Joel's slides for reference: raw.githubusercontent.com/jdjakub/papers… as well as our work-in-progress paper: github.com/jdjakub/papers…
Including impressions from MoreVMs'22. (Second half roughly) Thanks everyone for joining!
Take a look at the second day of #prog22
Action shot of @smarr presenting @d_aumayr work on Practical Concurrency Model Agnostic Record & Replay @programmingconf this is joint work #metaconc FWO Lead project programming-journal.org/2021/5/14/
Enjoying my first research theatre piece @programmingconf by TOPL ugent group on WARDuino
Sam Van Den Vonder of the @softlab_brussel presenting his work on Topology-level Reactivity in Distributed Programs at the @programmingconf
Christophe De Troyer of the @SoftLab presenting his PhD work at @programmingconf