ProWeb 2022 @ProWebWorkshop
6th International Workshop on Programming Technology for the Future Web 2022.programming-conference.org/home/proweb-20… Virtual Conference Joined November 2018-
Tweets73
-
Followers35
-
Following61
-
Likes71
The deadlines for the #prog22 workshops are approaching fast! Check out @ProWebWorkshop 2022: 2022.programming-conference.org/home/proweb-20…
Only one more week until the ProWeb'22 deadline! 📅Submission deadline: 1 Feb 2022 🔗2022.programming-conference.org/home/proweb-20… Doing Programming Languages / Software Engineering research relating to the web? Consider submitting! 🧑💻
The CfP of #ProWeb2022 is out! ProWeb will be colocated with @programmingconf 📅Submission deadline: 1 Feb 2022 🔗2022.programming-conference.org/home/proweb-20… Doing interesting PL / SE research? Consider submitting! Full papers, demos, and presentation abstracts all very welcome!
Last but not least, Aäron Munsters is presenting "Oron: Towards a Dynamic Analysis Instrumentation Platform for AssemblyScript" (work w/ @luis_pup @jimbauwens @elisagboix) #ProWeb2021
Angel Luis Scull Pupo is presenting "Tamper-proof security mechanism against liar objects in JavaScript applications" (work w/ @eljenso @elisagboix) #ProWeb2021
@ProWebWorkshop is about to start! Tune in and follow the event! #ProWeb2021 #prog21 @programmingconf 2021.programming-conference.org/home/proweb-20…
Looking forward to giving a Keynote at the ProWeb workshop. "Why Programming Languages for Distributed Systems are Inevitable"! #prog21 #PL4DS @ProWebWorkshop @programmingconf 2021.programming-conference.org/home/proweb-20…
We sent out notifications for the ProWeb workshop (co-located w/ @programmingconf)! Congratulations to the authors of the accepted papers, we are going to have a great workshop! The program will follow. Early registration by 19 Mar 2021 #ProWeb2021
Registration is open for ‹Programming› 2021! #prog21 ➡️ eventbrite.com/e/programming-…
Well done on submitting your papers! Now it is our turn #proweb2021 reviewing time begins! Fingers crossed! 🤞@programmingconf
"This year ‹Programming› will be virtual and we will include a specific track for starting conversations ... to promote social gathering and lively discussions amongst participants." @programmingconf Deadline Feb 17 2021.programming-conference.org/track/programm…
We've extended the ProWeb21 (colocated w/ @programmingconf) by one week! ⏰ New deadline: 8th February (AoE) 🔗 2021.programming-conference.org/home/proweb-20… Doing Programming Languages / Software Engineering research relating to the web? Consider submitting! 🧑💻
Just under 3 weeks until the @ProWebWorkshop deadline! Doing interesting web / PL stuff? Consider submitting! Both papers and talk proposals welcome. 2021.programming-conference.org/home/proweb-20…
ProWeb21 will be co-located @programmingconf, held virtually this year! Our CfP is out! 2021.programming-conference.org/home/proweb-20… Doing interesting PL / SE research? Consider submitting! Full papers, demos, and presentation abstracts all very welcome!
We are back! 👋 The 5th edition of @ProWebWorkshop (co-organized by @tsigalko18 and @Simon_JF) will be co-located with @programmingconf 🧑💻👩💻 Exciting times 🎉🔥 Stay tuned for the upcoming CfP 🤘
"Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts", work with @jff, @thodurieux and Pedro Cruz, will be presented Thu 9 Jul 2020 08:45UTC - 08:55UTC @ICSEconf. 2020.icse-conferences.org/details/icse-2…
-6⃣ days to #DeepTest2020! Thanks to all who have registered, you are so many! Here's a video message from our co-organizer @tsigalko18 Come join us on July 1st, 6:45 (UTC) Info: deeptestconf.github.io
IMPORTANT UPDATE Due to #COVID19, we decided today to not hold the conference on March 23–26, in Porto, Portugal. All publications will happen as initially planned. We are currently in the process of replanning #prog20. More info to follow shortly! ➡️ 2020.programming-conference.org/attending/COVI…
* KEYNOTE SPEAKERS REVEALED * We are thrilled to announce that this year's program will feature not one, but two fantastic keynotes, by Saba Alimadadi @saba_a (SFU) and Guido Salvaneschi @guidosalva (TU Darmstadt)! Stay tuned for the further details #proweb20 @programmingconf 🇵🇹
Submit your <@programmingconf> 2020 poster, second round of submissions closes in Feb 28th! 2020.programming-conference.org/track/programm…

Sandy Vanderbleek @haskellandchill
699 Followers 4K Following Software engineer turned med student, ICOM 2029
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.
Quentin Stiévenart @acieroid
138 Followers 541 Following
TOracle Workshop @TOracle2021
103 Followers 184 Following The 1st International Workshop on Test Oracles co-located with ESEC/FSE 2021.
Vsk1019 @vsk1019
548 Followers 3K Following I'm a Logo,Graphic &Brand Identity designer with 3 years of experience.I've done tons of designs https://t.co/726NBMtI3O & https://t.co/yUtkT56fYB
Ezequiel Birman @ezebirman
376 Followers 5K Following Not here. Not here the darkness, in this twittering world https://t.co/0QHK2e4bHP
Gökhan Kul @Gokhan_Kul
411 Followers 1K Following Assistant Professor @ UMass Dartmouth Cybersecurity, Cybercrime, Database security
Fitsum Kifetew ፍፁ... @fitsumkifetew
109 Followers 278 Following Researcher @FBK_research @DI_FBK Opinions my own
Celeste @cahollenbeck
1K Followers 914 Following Nontraditional computer science PhD candidate at @EdinburghUni 🏴. Former technical & creative writer.
Marcus Denker @marcusdenker
1K Followers 711 Following I am a researcher @inria_Lille Co-founder @2denker, core-developer @pharoproject
Shaukat Ali @shukat_ali
2K Followers 2K Following Chief Research Scientist, Research Professor, and Head of Department at Simula Research Laboratory.
Vincenzo Riccio @p1ndsvin
1K Followers 1K Following Assistant Professor @uniud 🇮🇹 Previously, postdoc @usisoftware 🇨🇭 Born and raised in Napoli 💙 Software testing for AI 🛠️🤖🛠️
DeepTest Workshop @DeepTestConf
278 Followers 323 Following Workshop on Testing for Deep Learning and Deep Learning for Testing co-located with @ICSEconf.
Mauricio Verano Merin... @MauricioVerano
311 Followers 1K Following Assistant Professor @VUamsterdam
PLDI @PLDI
5K Followers 974 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2025. Tweets by @konskallas and @lastland0
Guido Salvaneschi @guidosalva
752 Followers 433 Following Associate Professor and Director, University of St.Gallen. Previously Technical University of Darmstadt. Programming languages and Software Engineering.
Filipe Correia @filipecorreia
466 Followers 604 Following Software Engineer, Agilist, Assistant Professor at U.Porto
Stephen Estrada @StevieCEstrada
67 Followers 225 Following
Jan Christiansen @plancalculus
106 Followers 196 Following Haskell since 2003, fan of declarative programming, professor for programming languages at Flensburg University of Applied Sciences, still a lot to learn.
‹Programming› 202... @programmingconf
1K Followers 143 Following This account is currently inactive. Please follow us on our other socal media accounts.Gordana Rakic @dwarf_gocko
180 Followers 301 Following
Sam Lindley @reifyreflect
639 Followers 281 Following
Coen De Roover @CoenDeRoover
2K Followers 2K Following Professor @ Software Languages Lab - Vrije Universiteit Brussel. Program, repository & ecosystem analysis, concolic testing, software quality, tools.
eleinadani @eleinadani
176 Followers 417 Following CS Assistant Professor at VU Amsterdam. Ex- @graalvm team member.
Saba Alimadadi @saba_a
536 Followers 365 Following asst. professor @sfu | software, saffron, and such
Salim Salim @sudosalim
118 Followers 194 Following
Andrea Stocco @tsigalko18
1K Followers 801 Following Software Engineering research @TU_Muenchen + @fortiss 🇩🇪 | prev. @usisoftware 🇨🇭| @UBC 🇨🇦 | PhD @InfUNIGE 🇮🇹 | exchange @TallinnTech @unitartu 🇪🇪
Daniel Hillerström @dhillerstrom
598 Followers 653 Following Effectful programmer. Compiler hacker. Researcher in computer science.
Simon Fowler @Simon_JF
1K Followers 1K Following Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @[email protected].
Angel Luis Scull Pup @luis_pup
41 Followers 82 Following
Jim Bauwens @jimbauwens
117 Followers 96 Following Pre-doc Computer Science at the Software Languages Lab, VUB
Quentin Stiévenart @acieroid
138 Followers 541 Following
Elisa Gonzalez Boix @elisagboix
423 Followers 136 Following prof@Vrije Universiteit Brussel - concurrent and distributed systems, programming abstractions, debuggers & language-based security.
Jens Nicolay @eljenso
87 Followers 46 Following PhD student, reseacher, interested in programming language design and implementation, static analysis, abstract interpretation
Bob R @tzbob
17 Followers 50 Following
TOracle Workshop @TOracle2021
103 Followers 184 Following The 1st International Workshop on Test Oracles co-located with ESEC/FSE 2021.
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).
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.
Jonathan Brachthäuse... @__protected
820 Followers 385 Following Researcher in computer science, all things effects, author of the Effekt language (https://t.co/HrYL6Fvffa), JunProf. at Uni Tübingen. https://t.co/lvCLTiKbL1
SPLASH Conference @splashcon
3K Followers 287 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
Rohan Padhye @moarbugs
2K Followers 536 Following Assistant Professor at @S3DatCMU @SCSatCMU. PhD from @Berkeley_EECS. Connessiur of hot sauce.
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Shaukat Ali @shukat_ali
2K Followers 2K Following Chief Research Scientist, Research Professor, and Head of Department at Simula Research Laboratory.
Marcus Denker @marcusdenker
1K Followers 711 Following I am a researcher @inria_Lille Co-founder @2denker, core-developer @pharoproject
Fitsum Kifetew ፍፁ... @fitsumkifetew
109 Followers 278 Following Researcher @FBK_research @DI_FBK Opinions my own
Vadim Zaytsev @grammarware
3K Followers 4K Following language engineer, ex-chief science officer, research maniac, professor, programmer, hacker, automation enthusiast, wiki addict, grammar nazi, blues fan![Research leader at CWI; co-inventor of Rascal meta-programming language. Full professor Software Analysis at TUE. Co-founder at https://t.co/g6PFEhgaMK [He/him]](https://pbs.twimg.com/profile_images/809124854922362880/eCDYek9G.jpg)
Jurgen Vinju @jurgenvinju
2K Followers 1K Following Research leader at CWI; co-inventor of Rascal meta-programming language. Full professor Software Analysis at TUE. Co-founder at https://t.co/g6PFEhgaMK [He/him]
Celeste @cahollenbeck
1K Followers 914 Following Nontraditional computer science PhD candidate at @EdinburghUni 🏴. Former technical & creative writer.
ECOOP’24 Conference @ECOOPconf
1K Followers 110 Following European Conference on Object-Oriented Programming Practical and theoretical investigations of programming languages, systems and environments #ECOOP24
Sarah Nadi @sarahnadi
2K Followers 985 Following Associate Prof., CS, @NYUAbuDhabi. I work on code reuse, APIs, & collab. SW dev., mining SW repos. On leave from UofA, CRC in Software Reuse.
Alexander Serebrenik @aserebrenik
7K Followers 5K Following Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]
DeepTest Workshop @DeepTestConf
278 Followers 323 Following Workshop on Testing for Deep Learning and Deep Learning for Testing co-located with @ICSEconf.
Eelco Visser @EelcoVisser
2K Followers 532 Following Professor of #ComputerScience at @tudelft working on Software Language Design and Engineering, building @Spoofax #LanguageWorkbench, photographer
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
USI Faculty of Inform... @USI_INF
1K Followers 786 Following News and events from the Faculty of Informatics, @USI_university 🇨🇭 Tweets from Team Decanato & @prevo01 @usi-inf.bsky.social
Juan Fumero @snatverk
844 Followers 459 Following Oracle employee - Java Platform Group. Opinions my own.
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.
Guido Salvaneschi @guidosalva
752 Followers 433 Following Associate Professor and Director, University of St.Gallen. Previously Technical University of Darmstadt. Programming languages and Software Engineering.
Software Institute @usisoftware
805 Followers 275 Following The center of excellence committed to teaching, research, and development of software at @USI_INF // @USI_university 🇨🇭
rui•maranhao @rmaranhao
1K Followers 597 Following Research SE @Meta, Full Professor @feup_porto 🇵🇹, Entrepreneur, @Google/@RowsHQ/@PARCinc alumnus; husband, father of 3👶.
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Filipe Correia @filipecorreia
466 Followers 604 Following Software Engineer, Agilist, Assistant Professor at U.Porto
Guille @GuillePolito
518 Followers 616 Following Researcher @ INRIA Lille, CRIStAL lab. Pharoer, Virtual Machines and Compilers
Eduardo Souza @udesou
63 Followers 98 Following Brazilian, Computer Scientist, currently working on the Mu MicroVM project (https://t.co/DPVTfga0qy).
Sven Keidel @svenkeidel
17 Followers 34 Following
Vincenzo Riccio @p1ndsvin
1K Followers 1K Following Assistant Professor @uniud 🇮🇹 Previously, postdoc @usisoftware 🇨🇭 Born and raised in Napoli 💙 Software testing for AI 🛠️🤖🛠️Gordana Rakic @dwarf_gocko
180 Followers 301 Following
Gökhan Kul @Gokhan_Kul
411 Followers 1K Following Assistant Professor @ UMass Dartmouth Cybersecurity, Cybercrime, Database security
Salim Salim @sudosalim
118 Followers 194 Following
Stefan Marr @smarr
2K Followers 470 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Saba Alimadadi @saba_a
536 Followers 365 Following asst. professor @sfu | software, saffron, and such