PRL@PRG @prl_prg
Programming Languages Lab @ CTU in Prague prl-prg.github.io Prague, Czechia Joined January 2018-
Tweets95
-
Followers54
-
Following22
-
Likes11
R4R is a tool for creating a reproducible environment from a dynamic program trace, from our lab in Prague. From a R script/notebook, it generates a Docker image that contains everything to run the R code and reproduce the results.
Students: want to help make #POPL2020 happen? Nominate yourself for the Artifact Evaluation Committee! docs.google.com/forms/d/e/1FAI…
Five days left until the @ECOOPconf 2019 Doc Symposium deadline. PL folks, you can make it! Special thanks to @benhermann, @guidosalva, and @EelcoVisser for being in Academic Panel! 2019.ecoop.org/track/ecoop-20…
The first-round deadline for ECOOP DocSymposium is in two weeks. We are thrilled to learn about your PL research! April 17 is a great time if you, like me, need a UK visa no matter Brexit :) Or otherwise want to prepare for a trip to Lonon in advance. 2019.ecoop.org/track/ecoop-20…
Tweag Internship Programme 2019: Are you a student interested in Haskell, Nix and/or data science? We are offering paid 1–3 month internships with world-class experts in a vibrant technology firm — for more details, check out tweag.io/posts/2019-03-… #haskell #nix #datascience
If you are a PhD student working on programming languages, consider submitting to the @ECOOPconf Doctoral Symposium in London to present your awesome research and get feedback on the thesis proposal! The first-round deadline is April 19th. #ecoop2019 2019.ecoop.org/track/ecoop-20…
You’re working on dynamic languages, e.g., implementing them, understanding them better? Consider submitting to the Dynamic Language Symposium. Check out our CFP and program committee: conf.researchr.org/home/dls-2019 Plenty of time till June to prepare your submissions! #dls19
The PLISS 2019 expression of interest is now open pliss2019.github.io/registration.h… -- this is aimed at BSc, MSc, and very early stage PhD students interested in PL implementation, so please help spread the word. Prices are reasonable and the speakers are amazing!
The Curry On conference will be held in London together with ECOOP. Consider submitting a talk. curry-on.org/2019/
New blog post by @mhyee: On-Stack Replacement prl.ccs.neu.edu/blog/2019/01/2…
New blog post by Ben Greenman: Java and Migratory Typing prl.ccs.neu.edu/blog/2018/12/0…
SPLASH 2019 is online and the 1st Combined Call for Contributions is out ✨🎊🎉! We invite high quality submissions for OOPSLA and all co-located events. Important dates @ 2019.splashcon.org/dates
We know a lot of you have been waiting for this -- the @curry_on_conf call for talks is out! 2019.ecoop.org/track/curry-on
Are you a student of Computer Science? 👩🎓👨🎓 Apply to become ETAPS Student Volunteer and get free registration for the ETAPS conference and all workshops! Applications due *8th of February 2019* More at conf.researchr.org/track/etaps-20…
Tomas Kalibera (of our lab) wrote a blogpost on a tricky mechanism used by developers of extensions for R language, and why it should be avoided… at all costs! developer.r-project.org/Blog/public/20…
Interested in a PhD in programming languages and formal methods? Apply to @PurdueCS by December 20! I am looking for motivated, creative PhD students. More info: cs.purdue.edu/homes/roopsha/… Also check out @purdue_pl - easily one of the best PL groups in the US!
I have a student in Russia finishing his undergraduate studies in June, 2019. He is the strongest student I ever had (for 15 yrs), looking for grad position in Europe/US to work with Coq. He has hearing problems (with some unfortunate consequences). Anyone interested? Please, RT
I am looking for PhD students and interns to work with me at Liquid #Haskell and more, @IMDEA_Software, #Madrid. nikivazou.github.io/hiring.html
Yleermarx @Yleermarx20626
23 Followers 1K Following
Sebastián Krynski @TarkusOnTweets
44 Followers 152 Following
Stefanie Muroya lei @SMuroyaLei
14 Followers 65 Following
Open Mechanics Group ... @Open_Mechanics
1K Followers 1K Following We are a heterarchical group of researchers who fancy curiosity-driven research connecting applied mechanics, materials science, mathematics, and informatics.
PierreDonatBouillud @DBPierre
48 Followers 405 Following Computer science researcher/assistant professor at CVUT (Prague) @pierredb.bsky.social @[email protected]
MPLR @MPLR_Conf
341 Followers 156 Following International Conference on Managed Programming Languages & Runtimes (MPLR'24). Official hashtag: #MPLR24
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.
phil george @philemo85173026
40 Followers 1K Following Easy going , calm and ability to listen to you....
Ben Kovitz @bkovitz
158 Followers 226 Following Not the plural of CoViD. Computer Science professor @ Cal Poly Humboldt. Research interests: reasoning both natural and artificial, evolvability, analogy.
Benjamin Chung @ckfinite
178 Followers 222 Following Computer science PhD student at Northeastern University. I work on types in Julia, with rocket GNC, and a bunch besides. Also @[email protected]
Luke Geeson @LukeGeeson
236 Followers 264 Following Current: engineer @nvidia. Prev: CS Phd @ucl, compilers @Arm, @UniOfOxford, @UniofNottingham, @oxfordhackathon @HackSocNotts, and @HackNotts. Views are my own.
Tobias Grosser @Tobias_Grosser
2K Followers 4K Following Associate Professor. Compilers, Constraint Programming, Performance Programming, Hardware Design. https://t.co/Oq28Vv4UP8
Harsharanga Patil @newspeciesIndia
68 Followers 947 Following Strong believer of Bohm’s Wholeness and Implicate order. Rheomode ==? Functional Programming. Learning 🎹 🎼
hilesh aswani @hileshaswani
66 Followers 867 Following python and js to survive, rust to live for | functional programming enthusiast
Yamiknight @yamikiller2811
173 Followers 5K Following
Filip Krikava @fikovnik
120 Followers 75 Following Researcher at @neu_prl, from Czech Republic, currently exiling in the Eastern timezone.
Darío Garigliotti @DGarigliotti
220 Followers 2K Following Cómico austrohúngaro exiliado. Al otro, a Garigliotti, es a quien le ocurren las cosas.
Mitsunari Sanada @mitsunari_s
3 Followers 504 Following
Nguyen Linh Chi @Ayaderaghul
39 Followers 255 Following due to historical incidents: 1. please don't con me 2. please dont direct raging hate toward me,
John K ☕🇬🇷 @jkrits
62 Followers 2K Following Professional web developer by day, amateur city photographer by night, fearless rock climber on weekends, librocubicularist by habit. 🇬🇷
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Tomas Petricek (find ... @tomaspetricek
9K Followers 931 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
Borja Lorente @BLorenteEs
173 Followers 213 Following he/him, #programmer, I make tools to cure papercuts. Build Tools Engineer, all opinions are my own. I also have a blog: https://t.co/YXb1E3RJ9u
Mathieu Acher @acherm
2K Followers 5K Following Professor @INSA_Rennes Researcher @DiverSE_Inria Junior member #IUF @InstUnivFr #SciencesDuLogiciel, Software #Variability, Artificial Intelligence and #Chess
Maurício Aniche @mauricioaniche
12K Followers 4K Following Staff Engineer @ Uber, ex-Adyen, Former Assist Prof in SE @serg_delft, Author of https://t.co/WUAKj72qHb, 2021 CS Teacher of the Year
CatTyped @CatTyped
66 Followers 277 Following Inexperienced student of code〜be nice to me, I'm new here ⚬⚬⚬ https://t.co/XyTv4tY2aP 🐱🌈
Allan Jorge @noneisone
296 Followers 3K Following
Prabha @kmprabha
175 Followers 4K Following
VMIL Workshop at SPLA... @VMIL2025
222 Followers 241 Following Virtual Machines and Language Implementations. Co-located with SPLASH'25.
Mikhail Barash @mikhail_barash
509 Followers 2K Following Programming languages, IDEs, language workbenches. @tc39 delegate. Ph.D. in parsing. Views are mine. https://t.co/c2hUFoRHMx
Anna Pelenitsyna @pelenitsina_an
181 Followers 1K Following Врач-психотерапевт. Existential psychotherapist
bsky.app/profile/zee.... @zeeshanlakhani
2K Followers 4K Following eng @oxidecomputer | @papers_we_love/pwlconf co-founder/org. | @SCSatCMU PhD in PLT trial & erroring. Find me here instead: 🦋 https://t.co/hzRtv3yUNJ
Loris Dal Lago @_sid_aa_
27 Followers 378 Following
умер @romantovsky
40 Followers 1K Following
Stephen De Gabrielle ... @spdegabrielle
515 Followers 1K Following spdegabrielle not here - look elsewhere
Juan Bono @JuanBono
588 Followers 4K Following
Soares Chen @soareschen
2K Followers 2K Following Find me on #BlueSky at https://t.co/UWKMDbv9aJ ∘ Haskell ∘ Rust ∘ @MaybeVoid ∘ Programming Language Theory
Kimball Germane @krgermane
34 Followers 239 Following
Andrew Cobb @cobbal
51 Followers 44 Following I can also be found on mastodon at https://t.co/EcnVIL7fCs
keep calm and git hoo... @zeRusski
253 Followers 538 Following Fullmeta Programmist. Smug Lisp Weenie. Launched https://t.co/u0SygqnVGf. Former @yandex. Fall'13 @recursecenter. Clojure @neo4j. For contract work https://t.co/a4aqeHWO3u
Aviral Goel @TheAviralGoel
359 Followers 978 Following Programming Languages and Compilers Loves Dysfunctional Programming
Artem Pelenitsyn 🇺... @ulysses4ever
832 Followers 326 Following Postdoc at @purdue_pl / PhD in CS from @neu_prl / @mmcs_sfedu alumni / Haskell enthusiast, Julia advocate
Society of Research S... @ResearchSoftEng
7K Followers 605 Following A professional society for Research Software Engineering. Shaped by our members, for the benefit of everyone.
Florian Sihler @an0nym0ni
1 Followers 0 Following
Aviral Goel @TheAviralGoel
359 Followers 978 Following Programming Languages and Compilers Loves Dysfunctional Programming
PierreDonatBouillud @DBPierre
48 Followers 405 Following Computer science researcher/assistant professor at CVUT (Prague) @pierredb.bsky.social @[email protected]
Stefanie Muroya lei @SMuroyaLei
14 Followers 65 Following
Sebastián Krynski @TarkusOnTweets
44 Followers 152 Following
Artem Pelenitsyn 🇺... @ulysses4ever
832 Followers 326 Following Postdoc at @purdue_pl / PhD in CS from @neu_prl / @mmcs_sfedu alumni / Haskell enthusiast, Julia advocate
Mikhail Barash @mikhail_barash
509 Followers 2K Following Programming languages, IDEs, language workbenches. @tc39 delegate. Ph.D. in parsing. Views are mine. https://t.co/c2hUFoRHMx
ICSE @ICSEconf
12K Followers 1K Following The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
ICST @icstconference
2K Followers 766 Following The 17th IEEE Conference on Software Testing, Validation and Verification (Toronto, Canada). Use #ICST2024
ISSTA Conference @issta_conf
2K Followers 17 Following The 34th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Curry On Conf @curry_on_conf
2K Followers 11 Following A new and unusual conference focused on programming languages & emerging challenges in industry. Coming to London July 15-16th, 2019!
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
/* 0x0 */ but also gr... @kondziu
134 Followers 124 Following Likes: @_electrocutie, Linux, languages, capybaras, giant grape, when things work. Otaku in training. Join mastodon (@[email protected]). https://t.co/h4IxIYLYdk
POPL 2026 @poplconf
3K Followers 280 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
NortheasternU PRL @neu_prl
630 Followers 54 Following Programming Research Laboratory, WVH 308 & WVH 330, @KhouryCollege @Northeastern. (tweets by PRL students)
SPLASH Conference @splashcon
3K Followers 287 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
PLDI @PLDI
5K Followers 974 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas.Trends for United States
You might like
