PLUM Lab @plumlab
Programming Languages at the University of Maryland ter.ps/plum College Park, Maryland Joined January 2014-
Tweets236
-
Followers694
-
Following122
-
Likes157
PLUM Lab retweeted
An internship at MSR, including RiSE, is a great opportunity to work on exciting research projects and mingle with other fantastic students. jobs.careers.microsoft.com/global/en/job/…
1
20
75
10K
63
View Details
PLUM Lab retweeted
We're excited to welcome Milijana Surbatovich to @CollegeParkMC2 this semester! Her research aims to enhance the reliability of low-power intermittent computing systems, ensuring their accuracy and security for emerging technologies. Learn more: go.umd.edu/1rqs
PLUM Lab retweeted
I'm deeply saddened to hear this. I had the opportunity to talk with him when I was seeking a position in his research group. He was extremely kind and friendly towards me. I'll always remember him💔
We are shocked and saddened to share news of the sudden death of our colleague Rance Cleaveland cmns.umd.edu/news-events/ne…
PLUM Lab retweeted
Rance was phenomenally friendly and an excellent person with whom to share in conversation. I will miss him dearly.
We are shocked and saddened to share news of the sudden death of our colleague Rance Cleaveland cmns.umd.edu/news-events/ne…
We are shocked and saddened to share news of the sudden death of our colleague Rance Cleaveland cmns.umd.edu/news-events/ne…
PLUM Lab retweeted
Today we released a report calling on the technical community to adopt memory safe programming languages. We have the ability & responsibility to reduce the cyber attack surface & prevent entire classes of security bugs from entering the digital ecosystem whitehouse.gov/oncd/briefing-…
PLUM Lab retweeted
The UMD security group is hiring a postdoc. Want to work in applied cryptography and zk proofs with me or @gkaptchuk? Or usable security, ai security, network security, pq crypto, or programing languages + security. Come to UMD and live in Washington, DC. obj.umiacs.umd.edu/cybersecurity/…
PLUM Lab retweeted
The Maryland Cybersecurity Center—a unique multidisciplinary research and education powerhouse outside of Washington, D.C.—is seeking applicants for its competitive postdoctoral fellowship program. Applications are due March 28. Learn more: cyber.umd.edu/joinus
PLUM Lab retweeted
Did you know @umdcs is doing a national search for its next Chair? Reach out if you're interested in leading a great department. ejobs.umd.edu/postings/115855
PLUM Lab retweeted
I'm hiring PhD students! Primarily looking for folks who have background in systems, open to anyone with expertise in my areas (systems, PL, DB, logic). weaselhat.com/2023/10/25/im-…
PLUM Lab retweeted
My department is on the hunt for two tenure-track teaching faculty (Assistant Professors of Teaching). Come be my colleague, in a department that cares deeply about teaching, learning, and the scholarship of both!
We are shocked and saddened to share news of the sudden death of our colleague Rance Cleaveland cmns.umd.edu/news-events/ne…
PLUM Lab retweeted
Thanks ACM-REP'23 for a great event! So good to talk about replicability, benchmarks, and experimental methods with folks outside my regular PL neighborhood! acm-rep.github.io/2023/
PLUM Lab retweeted
PLUM Lab retweeted
Very grateful to have been a part of @ngsankha's celebration today. I'm super excited for his next chapter, but I'm gonna miss this guy!
PLUM Lab retweeted
Congrats to @mmazurek_ for receiving the @IEEESSP Test of Time Award for a paper she co-authored while earning her Ph.D. @CarnegieMellon. Read more: umiacs.umd.edu/about-us/news/…
PLUM Lab retweeted
Researchers affiliated with @CollegeParkMC2 are presenting nine papers @IEEESSP, including one that received a distinguished paper award. Read more: umiacs.umd.edu/about-us/news/…
PLUM Lab retweeted
Congrats to @ngsankha on completing his PHD, and who also walked today, with @lambda_calculus . @plumlab party!
PLUM Lab retweeted
Proud and pleased to have advised Kesha Hietala and @completelysound to their PhDs. Congratulations, and awesome work!
PLUM Lab retweeted
extremely committed to the bit. #bikeUMD
PLUM Lab retweeted
How we built cedar (GitHub.com/cedar-policy) using automated reasoning and differential testing: amazon.science/blog/how-we-bu…
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Loris D'Antoni @lorisdanto
9K Followers 776 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Kristopher Micinski -... @krismicinski
7K Followers 4K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Ilya Sergey @ilyasergey
8K Followers 978 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Council. Co-dev of https://t.co/ilgx6i6eL1 He/him.
José Manuel Calderó... @josecalderon
2K Followers 863 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Brendan Dolan-Gavitt @moyix
33K Followers 7K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
✨ Jean Yang ✨ @jeanqasaur
23K Followers 4K Following Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
Ron Garcia @rg9119
2K Followers 424 Following Transmogrifies coffee into LaTeX at University of British Columbia
Nikhil Swamy @lambdaNik
786 Followers 203 Following
Sam Westrick @shwestrick
1K Followers 598 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Wilfred Hughes @_wilfredh
4K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV
Edward Z. Yang @ezyang
17K Followers 2K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Chiung-Yi Tseng @ctseng_
2 Followers 279 Following
Tought @ToughtoKLBk
34 Followers 4K Following
bluemussels @bluemussels8
0 Followers 287 Following
Akshar Patel @AksharPatel2020
17 Followers 43 Following
Tessa Divvela @tessthewizard
7 Followers 125 Following tessa | she/they | trans | just a girl who loves cybersecurity and mtg :)
Srikanth @vshbit
4 Followers 298 Following
Yudai Urabe (占部) @yudai_urabe
110 Followers 332 Following M1 in CS @ University of Tsukuba, Technical Assistant @ NINJAL / Programming Languages /emoji, Othello,📖,🎱,🎤,🚶/ they/them
claire @claireoutside
0 Followers 289 Following
@ireadsicp @ireadsicp
1 Followers 17 Following
Aya🇵🇸🇵🇸 @AaaaA_09877
819 Followers 5K Following My name is Aya,from Palestine,Gaza.I’m trying to live in peace,security,and stability with my family 🇵🇸🇵🇸
Ivan Mladenov @imladenovwtf
3 Followers 5 Following
Caspar @ghost_rights
30 Followers 147 Following CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
Tsung-Ju Chiang @tsungjuc
75 Followers 196 Following Studying programming languages. Mastodon: @[email protected]
omar Dahb @mrlsyd6385361
4 Followers 303 Following
Yi Cai @y1cai
9 Followers 34 Following
RMO Digital @RMODigital
99 Followers 8K Following
Rakib @MRHMisu
163 Followers 2K Following PhD Candidate @UCIrvine | ex-Intern @GoogleDeepMind , @MSFTResearch | Commonwealth Scholar @commschols
Michael Coblenz @mcoblenz
1K Followers 643 Following Asst. Prof. of CS at @ucsd_cse. Creating safer, more usable programming languages. Formerly at @Apple, @SCSatCMU, & @umdcs. Moved to bsky: @mcoblenz.bsky.social
Jansen @jan53n
33 Followers 643 Following
Bion @flesheatingemu
492 Followers 7K Following Futurist philosophy, molec neuro/immuno, pathophys, software eng, AI enjoyer Made an Apache/MIT `tree` util with tokens, lines, and module components
Sundara Vishnu @sundara_vishnu
23 Followers 297 Following @UMich '25 | pl, distributed systems, & math | 🏃♂️🧗♂️🚴♂️|
FLAGlab @FlaGlab
154 Followers 314 Following Computer science research lab @DISCUniandes working on programming languages, AI, cryptography, bioinformatics and algorithms. https://t.co/jtK6wYwNPY
Atiqur Rahman @AtiqurRahm69993
230 Followers 3K Following
Laerke Henriksen @HenriksenLaerke
108 Followers 3K Following Principal Investor and Private Equity Junior Associate @BCG
Graceful Glimmer @GlimmerGra70148
37 Followers 1K Following
INAM KHAN @inamullahnaseeh
162 Followers 4K Following 🚀 BSCS grad 🎓 | Passionate about AI, Machine Learning, and Data Science 💻 | Eagerly seeking internships to dive into the world of cutting-edge tech!
RD @rdayan
38 Followers 2K Following
Ethan Baker @__EthanBaker__
2 Followers 17 Following CS Junior @ UMD | Interests are PLs, Program Synthesis, XAI, Data Science, Linguistics, Electronic Music | “I � unicode!”
Yiyuan Cao @yiiiyuannn
12 Followers 231 Following PhD student in programming languages at Peking University.
Osuala Peter Chigbogu @OsualaPeterson
3 Followers 129 Following
moon @cnoedred
14 Followers 625 Following
Alan @AlanWan74454922
20 Followers 2K Following
etaletp @etaletp
0 Followers 14 Following
Grigoris Moulkiotis @gmoulk1
22 Followers 724 Following
@psilospore - Syed Ja... @psilospore
82 Followers 779 Following PhD Student at the University of Vermont and Software Engineer. I like Functional Programming. I mosly write Haskell these days.
Parnian @Parnian_Kamran
17 Followers 256 Following
Shriram Krishnamurthi... @ShriramKMurthi
24K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Kristopher Micinski -... @krismicinski
7K Followers 4K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Ilya Sergey @ilyasergey
8K Followers 978 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Council. Co-dev of https://t.co/ilgx6i6eL1 He/him.
José Manuel Calderó... @josecalderon
2K Followers 863 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
✨ Jean Yang ✨ @jeanqasaur
23K Followers 4K Following Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
Ron Garcia @rg9119
2K Followers 424 Following Transmogrifies coffee into LaTeX at University of British Columbia
Yaron (Ron) Minsky @yminsky
22K Followers 369 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Nikhil Swamy @lambdaNik
786 Followers 203 Following
Edward Z. Yang @ezyang
17K Followers 2K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Nintendo .DS_Store @sliminality
11K Followers 184 Following I want to talk to you about the affect and aesthetics of computing.
Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]
Alexandra Silva @alexandra8silva
2K Followers 871 Following Computer scientist, loves traveling and food tasting!
Ben Greenman @ben_greenman
117 Followers 205 Following
Yizheng Chen @surrealyz
2K Followers 471 Following Assistant Professor @CollegeParkMC2 | Alumnus @Berkeley_EECS @ColumbiaCompSci @gatech_scs
Anders Miltner (@amil... @AndersMiltner
469 Followers 444 Following He/Him. Assistant Professor at Simon Fraser University. Follows PL people. Posts Corgi Pictures.
The Rocq Prover @CoqLang
2K Followers 54 Following This account is no longer used. Follow us on Mastodon at @[email protected] (https://t.co/YQ7JNBex1u) instead.
EthanCecchetti@infose... @EthanCecchetti
636 Followers 286 Following Post-doc, Security+PL Researcher, and Bitcoin Unenthusiast at @CollegeParkMC2/@plumlab | PhD @CornellCIS | Future Asst Prof @WisconsinCS | https://t.co/TQl7BTefLT
Justine Frank @justineeefrank
300 Followers 225 Following Real PL person. Like translating symbols into different symbols (semantics may or may not be preserved). PhD student at @plumlab. Previously at @ubc_spl
Leo Lampropoulos @LeoLambro
1K Followers 615 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
Sangeeta Chowdhary @schowdhary02
702 Followers 705 Following Researcher @AMD. Ph.D. @Rutgers. Compilers and Runtimes for accelerators.
Isil Dillig @IsilDillig
4K Followers 843 Following CS Professor at UT Austin + President of @VeridiseInc.
Dominic Orchard @dorchard
2K Followers 676 Following Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
Software Practices La... @ubc_spl
628 Followers 218 Following We study programming languages, verification, and software engineering in the Department of Computer Science at the University of British Columbia @ubc
Pierce Darragh | pdar... @pl_pierce
793 Followers 1K Following he/him. PhD student @umdcs, interested in programming language design. I have cute cats and bad opinions about food.
Zachary Tatlock @ztatlock
1K Followers 475 Following Finding nails, building hammers. Prof at UW Allen School (CSE) @[email protected]
Somesh Jha @jhasomesh
5K Followers 855 Following Professor of Computer Science and a music lover. Interested in formal methods, security, and Trustworthy ML. Oh yes, and classical music and jazz.
Paul Gazzillo @paul_gazzillo
143 Followers 128 Following Assistant Professor of Computer Science @UCF
madPL @madpl1
82 Followers 5 Following University of Wisconsin Madison Programming Languages https://t.co/QPYn9ViO3B
Yanze @liyzunique
171 Followers 271 Following PhD student at @ubc_spl, interested in anything related to PL
Werner M. Dietl @wmdietl
291 Followers 692 Following
Colorado PLV @cuplv
142 Followers 19 Following Programming Languages and Verification at the University of Colorado Boulder
PLASMA @ UMassCS @plasma_umass
163 Followers 94 Following PLASMA: Programming Languages and Systems at Massachusetts.
SIGPLAN-M @SigplanM
1K Followers 398 Following We form long-term cross-institutional mentoring connections in the programming languages community.
Pavel Panchekha @pavpanchekha
1K Followers 108 Following Web browsers, numerics, PL, and formal methods at the University of Utah
Niki Vazou @nikivazou
3K Followers 462 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.
UW PLSE @uwplse
1K Followers 175 Following We are the Programming Languages and Software Engineering group at the University of Washington (@uwcse)
Jeff Foster @jfoster_cs_umd
59 Followers 8 Following
FARM Workshop @WorkshopFARM
297 Followers 68 Following Workshop on Functional Art, Music, Modeling and Design (FARM) @[email protected]
. @mrb_bk
4K Followers 1 Following
Kraang Subprime Mortg... @overfull_hitbox
348 Followers 152 Following Software Engineer in Android Security and Privacy, analyzing apps for shady behavior. This account's at the hotel bar, not the technical session he/him
Jacques Garrigue @garriguejej
527 Followers 106 Following
Marine Carpuat @MarineCarpuat
2K Followers 428 Following Associate Professor, Computer Science, University of Maryland. I go by she/her.
Amol Deshpande @amolumd
540 Followers 561 Following Professor, CS@University of Maryland. Opinions my own.
Thomas Gilray @tomgilray
466 Followers 1K Following CS prof @ WSU, HARP lab. Formerly: Basili Fellow @ UMD; prof @ UAB. I build programming languages & static analyses. Free your mind and your ass will follow.
CBCB at UMD @UMDCBCB
259 Followers 72 Following The @UofMaryland Center for Bioinformatics and Computational Biology is dedicated to research on questions arising from the genome revolution.
Dave Levin @DistributedDave
2K Followers 298 Following Associate prof and CS honors chair @umdcs, Security researcher. Founder of https://t.co/k3MxVvXjsL
Kyle Headley @kylenheadley
119 Followers 94 Following PhD Student working in programming languages. I didn't challenge you, I challenged my own thoughts about your topic. I challenge myself a lot. It spills over.
Ian Sweet @completelysound
427 Followers 338 Following Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.
POP at CMU @pop_cmu
544 Followers 80 Following Principles of Programming Group at Carnegie Mellon University.
Hal Daumé III @haldaume3
26K Followers 331 Following https://t.co/jIZyWtJ8gS Human-centered AI, NLP & ML. Director @trails_ai. Prof @umdCS, member of @CLIPumd @HCIL_umd, former @MSFTresearch. Fun: 🧗🧑🍳🧘⛷️🏕️.
Trends for United States
You might like
PLDI
@PLDI
5K Followers
Peter O'Hearn
@PeterOHearn12
2K Followers
Isil Dillig
@IsilDillig
4K Followers
POPL 2027
@poplconf
3K Followers
Derek Dreyer
@HerrDreyer
3K Followers
Arjun Guha
@ArjunGuha
2K Followers
Zachary Tatlock
@ztatlock
1K Followers
Ranjit Jhala
@RanjitJhala
3K Followers
vollmerm
@ma_vollmer
673 Followers