SynthesisForTheMasses @SynthesisFor

Joined February 2020

Tweets

0
Followers

3
Following

73
Likes

0

No recent Tweets. New Tweets will appear here.

Computer Science Degr... @DegreeScience

15 Followers 235 Following Welcome to top computer science degree. We have built this website about computer science degree.

QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020,
alongside with many workshops

QONFEST2020 @qonfest2020

184 Followers 1K Following QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020, alongside with many workshops

The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by @konskallas and Jenna DiVincenzo.

PLDI @PLDI

5K Followers 974 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by @konskallas and Jenna DiVincenzo.

Maria Christakis @mchri5taki5

662 Followers 327 Following professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!

Ron Garcia @rg9119

2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia

Dad, Partner Research Manager, @RiSE_MSR, @MSFTResearch, @Microsoft. Programming Languages, Software Engineering, Systems. (He/Him)

Madan Musuvathi @madanMus

1K Followers 394 Following Dad, Partner Research Manager, @RiSE_MSR, @MSFTResearch, @Microsoft. Programming Languages, Software Engineering, Systems. (He/Him)

Dr. Claire Le Goues @clegoues

3K Followers 1K Following Prof@SCS@CMU. https://t.co/fcjhKkZzHd Posting intermittently and guiltily.

@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

Shriram Krishnamurthi... @ShriramKMurthi

21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

Dan Grossman @djg98115

2K Followers 381 Following Advocate of oh pun science

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.

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.

Milind Kulkarni @mkulkarni

737 Followers 349 Following

MaPLE Lab (Applied PL... @AppliedPl

82 Followers 104 Following Methods and Programming Languages Lab. Tweets about: research practice, culture, and findings; higher education; tech.

Finding nails, building hammers.
Prof at UW Allen School (CSE)
@ztatlock@discuss.systems

Zachary Tatlock @ztatlock

1K Followers 481 Following Finding nails, building hammers. Prof at UW Allen School (CSE) @[email protected]

assistant professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.

Xinyu Wang @xwangsd

1K Followers 546 Following assistant professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.

David Darais @daviddarais

986 Followers 824 Following Principal Scientist @ Galois, Inc.. Programming languages, software verification, computer security, data privacy.

Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.

Veridise @VeridiseInc

5K Followers 473 Following Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.

Anders Miltner (@amil... @AndersMiltner

481 Followers 449 Following He/Him. Assistant Professor at Simon Fraser University. Follows PL people. Posts Corgi Pictures.

Justin ("Goju") Gotts... @j_gottschlich

945 Followers 262 Following Founder, CEO & Chief Scientist @ Merly | Adjunct Lecturer @ Stanford, CS Dept. (Ex-Director/Principal Scientist @ Intel Labs)

Rob Rix‎ @rob_rix

4K Followers 850 Following colouring outside the lines increasingly, see at robrix at types dot pl instead

API observability product @getpostman. Founded @akitasoftware (acquired 2023). Programming, APIs, and developer experience. Former professor @CSDatCMU.

✨ Jean Yang ✨ @jeanqasaur

24K Followers 4K Following API observability product @getpostman. Founded @akitasoftware (acquired 2023). Programming, APIs, and developer experience. Former professor @CSDatCMU.

Valentin Wüstholz @vwuestholz

952 Followers 1K Following Principal Researcher at ConsenSys Diligence, previously at @CSatETH, @UTAustin, @MSFTResearch, and @Google

Alvin Cheung @alvinkcheung

2K Followers 309 Following Data management and programming systems; Associate professor @Berkeley_EECS, member of @ucbrise, SLICE Lab, and @UCBIDS

Partner Researcher, RiSE group, Microsoft Research, Redmond. Interests include programming languages, spreadsheets, responsible AI, generative AI, CRA-Industry.

Ben Zorn (he/him) htt... @benzorn

2K Followers 838 Following Partner Researcher, RiSE group, Microsoft Research, Redmond. Interests include programming languages, spreadsheets, responsible AI, generative AI, CRA-Industry.

Suresh Jagannathan @suresh12345

125 Followers 152 Following In a constant never-ending battle between overcoming and embracing existential ennui

Azadeh Farzan @AzadehFarzan

389 Followers 228 Following Computer Science Professor

UW PLSE @uwplse

1K Followers 179 Following We are the Programming Languages and Software Engineering group at the University of Washington (@uwcse)

Alastair Donaldson @afd_icl

3K Followers 430 Following Professor of Programming Languages at Imperial College London

Faculty at CMU @CarnegieMellon @SCSatCMU Changing the world one program at a time with program synthesis, verification and constraint solving!

Ruben Martins @rubengmartins

400 Followers 24 Following Faculty at CMU @CarnegieMellon @SCSatCMU Changing the world one program at a time with program synthesis, verification and constraint solving!

Sr. Staff Research Scientist @GoogleDeepMind • previously @Theteamatx, @MSFTResearch, @uwcse • program synthesis, GenAI for Code & SWE • he/him

🇺🇦 Alex Polozov @Skiminok

4K Followers 797 Following Sr. Staff Research Scientist @GoogleDeepMind • previously @Theteamatx, @MSFTResearch, @uwcse • program synthesis, GenAI for Code & SWE • he/him

Senior Lecturer (associate prof.) @ImperialCollege. UKRI Future Leader Fellow. Researcher in programming languages & formal verification. Director of @VeTSS_RI.

Azalea Raad @AzaleaRaad

1K Followers 273 Following Senior Lecturer (associate prof.) @ImperialCollege. UKRI Future Leader Fellow. Researcher in programming languages & formal verification. Director of @VeTSS_RI.

Peter O'Hearn @PeterOHearn12

1K Followers 117 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.

John Hughes @rjmh

3K Followers 64 Following Professor at Chalmers, long-time functional programmer, founder of Quviq AB.

Tiark Rompf @tiarkrompf

2K Followers 507 Following Purdue University (We're hiring! grad students, post-docs, faculty)

NortheasternU PRL @neu_prl

626 Followers 54 Following Programming Research Laboratory, WVH 308 & WVH 330, @KhouryCollege @Northeastern. (tweets by PRL students)

PurPL @purdue_pl

924 Followers 120 Following PurPL is the cross-departmental center for programming languages research at Purdue University.

PLUM Lab @plumlab

719 Followers 123 Following Programming Languages at the University of Maryland

Bill Pugh @wpugh

2K Followers 2K Following Professor, software developer, maker, mentor, fire eater. Pronouns: he, him, his.

mastodon: @mattmight@mathstodon.xyz; speaking strictly as a private citizen; retweets are not endorsements

@mattmight@mathstodon... @mattmight

14K Followers 390 Following mastodon: @[email protected]; speaking strictly as a private citizen; retweets are not endorsements

Numair Mansur @Numair_Mansur

486 Followers 1K Following Senior Applied scientist at @AWS | Interests: AI + Automated Reasoning | PhD in CS from @mpi_sws_

Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.

Ian Sweet @completelysound

441 Followers 344 Following Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.

Associate Professor in EECS at @MIT | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing

Michael Carbin @mcarbin

3K Followers 359 Following Associate Professor in EECS at @MIT | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing

Dave Levin @DistributedDave

2K Followers 298 Following Associate prof and CS honors chair @umdcs, Security researcher. Founder of https://t.co/k3MxVvXjsL

Leo Lampropoulos @LeoLambro

1K Followers 622 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification

Graham Hutton @haskellhutt

8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿

Stephanie Weirich @fancytypes

3K Followers 355 Following

Founder & CEO @Pi_Squared_Pi2, building Web3 infra beyond blockchain | Founder @rv_inc | Professor @cse_uiuc | Creator of K Framework | Previously @NASA.

Grigore Rosu | π² @RosuGrigore

19K Followers 670 Following Founder & CEO @Pi_Squared_Pi2, building Web3 infra beyond blockchain | Founder @rv_inc | Professor @cse_uiuc | Creator of K Framework | Previously @NASA.

Jan Vitek @j_v_66

1K Followers 202 Following IG: https://t.co/RTp5jBQZx3

Niki Vazou @nikivazou

3K Followers 464 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.

Prof at @umdcs and @umiacs. Co-director of @plumlab.

BlueSky: https://t.co/Bwck1H9fXK
Mastodon: @dvanhorn@types.pl

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]

Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)

Hila Peleg is not her... @HilaCodes

2K Followers 377 Following Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)