Manu Sridharan @rakingleaves
Professor @UCR_CSE doing research in programming languages and software engineering. https://t.co/8YGA4y2NaS or https://t.co/Z0Cn1GTSq9 manu.sridharan.net Riverside, CA Joined February 2009-
Tweets3K
-
Followers2K
-
Following1K
-
Likes12K
I'm excited to announce a new SPLASH workshop: JENSFEST 2024! in which we celebrate the career of the one and only Jens Palsberg. To honor him, we are looking for paper submissions and extended abstracts for papers that have high "Jensness". Consider submitting!
1/ For several years we've been building Forge, a pedagogically-focused tool to teach formal methods. Here's our first write-up! As the name suggests it's a tribute to Alloy, but we're innovating on several fronts: blog.brownplt.org/2024/04/21/for… ↵
Statistics from @ICSE2024. Authors submitting, *each*, 33, 27, 24, ... papers. Interactive dashboard: app.powerbi.com/view?r=eyJrIjo…
Great post by @LazaroClapp describing the motivation and work behind the NullAway Annotator (led by my PhD student Nima Karimipour) and its impact. This work was also presented in our FSE'23 paper: manu.sridharan.net/files/FSE23Pra…
Great post by @LazaroClapp describing the motivation and work behind the NullAway Annotator (led by my PhD student Nima Karimipour) and its impact. This work was also presented in our FSE'23 paper: manu.sridharan.net/files/FSE23Pra…
One month left to submit a paper to Onward!. "Onward! is more radical, more visionary and more open than other conferences to ideas that are well-argued but not yet proven." 2024.splashcon.org/track/splash-2…
Very excited to see initial use of NullAway in the Spring Framework! github.com/spring-project…
The ACM is taking a leadership role in transitioning CS publishing to Open Access. Unfortunately the @IEEEorg is dragging its feet. Do you know people who are IEEE leaders or IEEE fellows, who care about this and might be willing to push the org? Can you put me in touch?
And we'll be back @splashcon this year. Hope to see you all in Pasadena!
Very excited that HATRA will be running again at SPLASH 2024 in Pasadena, California!
I now have my own domain name! klee-se.org
Congratulations to Prof. Eamonn Keogh! news.ucr.edu/articles/2024/…
The EGRAPHS Community is full steam ahead! Check out the upcoming events/talks: - 3/21: Lightning talks from the community - 4/5: Deadline to submit to EGRAPHS Workshop @PLDI! Only 2-6pgs! - 5/16: Andy Reynolds on equality reasoning in CVC5 All links at egraphs.org!
Java developers, there's hope for null safety! Our blog series kicks off with a look at NullAway and pluggable type systems, promising an end to NullPointerExceptions. Curious? Read the first installment here: gitar.co/blog/taming-nu…
OOPSLA 2024 Round 2 submission deadline is just one month away on 5 April 2024 - please re-tweet as the submission site is open now: 2024.splashcon.org/track/splash-2…
As a PC member, did you ever get a mail from an author pointing you to their “interesting” submission so you can bid on it and review it? At ICSE, such behavior will now result in the paper being rejected without review: icse2025.hotcrp.com
Please consider submitting a paper to ISMM 2024! It's a great conference with many innovations in memory management; particularly great ideas in GC have been published there. Also, the community is welcoming and fun. It's co-located with PLDI as always. conf.researchr.org/home/ismm-2024
💯 A well-maintained codebase does not obviate the need for a "frozen in time" artifact to reproduce the exact results in a paper. Ideally we'd have both, but an artifact is better than nothing, and quite possibly better than a bitrotted git repo
💯 A well-maintained codebase does not obviate the need for a "frozen in time" artifact to reproduce the exact results in a paper. Ideally we'd have both, but an artifact is better than nothing, and quite possibly better than a bitrotted git repo
Graduate students submitting artifacts for evaluation, there is one simple trick to getting the badge: Try following your own instructions to the letter!! It's really that easy!!!!! (and do it in a Docker container)
Just accepted! dl.acm.org/doi/10.1145/36…
This paper has been baking for quite a while. Super excited to share that it has been accepted at TOPLAS. @benno_stein already had some success implementing these techniques inside FB Infer. Also thankful for the detailed and insightful comments we got from TOPLAS reviewers
This paper has been baking for quite a while. Super excited to share that it has been accepted at TOPLAS. @benno_stein already had some success implementing these techniques inside FB Infer. Also thankful for the detailed and insightful comments we got from TOPLAS reviewers
Loris D'Antoni @lorisdanto
6K Followers 730 Following Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketSatnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Brendan Dolan-Gavitt @moyix
25K Followers 6K Following Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn "an orc smiling into the camera" — CLIPAndrew Myers @AndrewCMyers
4K Followers 283 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבושMike Hicks @michael_w_hicks
5K Followers 494 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new locationIlya Sergey @ilyasergey
5K Followers 965 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.Kristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.Alex Potanin @AlexP_DownUnder
797 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!KC Sivaramakrishnan @kc_srk
4K Followers 3K Following CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.Nate Foster (@natefos.. @natefoster
5K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[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.Marcel Böhme👨�.. @mboehme_
5K Followers 976 Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynBBen L. Titzer @TitzerBL
2K Followers 358 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!Steve Blackburn (@ste.. @stevemblackburn
2K Followers 976 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVXRon Garcia @rg9119
2K Followers 457 Following Transmogrifies coffee into LaTeX at University of British ColumbiaRommel Quintanilla @rommelqc
138 Followers 2K FollowingKartik Chandra (also .. @_k_a_c_h_
524 Followers 206 Following I am a PhD student @MIT @CSAIL studying cognition 🧠 and graphics 🫖. This is an academic account. I do care about other things, but I won't Tweet about them.ananta @ananta_bastola
265 Followers 200 Following Freelance Software Engineer | Researcher at @DriveLabDaniel (Lobão) Figue.. @lobaorn
368 Followers 2K Following Backend Engineer @ Trustly | Modern Java ☕ Spring Framework 🍃 | AWS Certified ☁️ Scrum Certified 🎯Joander Vieira @joandervieira
104 Followers 1K FollowingHuaien ZHANG @AustinZhang_CS
263 Followers 321 Following CS Ph.D. Student @HongKongPolyU | Program analysis & System reliability | M.S. @FudanUnivMichael Coblenz @mcoblenz
1K Followers 701 Following Assistant Prof. of CS at @ucsd_cse. Creating safer, more usable programming languages. Formerly at @Apple, @SCSatCMU, & @umdcs. Mastodon: @[email protected].Aman Jha @johnabruzzi190
203 Followers 276 FollowingLars S. Turulja @SLTurulja
482 Followers 359 Following Science & Tech Historian - Hospitality Industry Professional - Trilingual - Gens Turul 🦅 - ☮️⚛️ - Peace - Progress - Love & Hope - Till ValhallaPeter Yong Zhong @Lambda_freak
141 Followers 42 Following CS PhD @ CMU || Northwestern ‘22 || 🇦🇺✈️🇺🇸Geshaez @geshaez89229
26 Followers 2K FollowingKimmy @McCoone68052
33 Followers 317 Following I like traveling. I want to meet friends from all over the world.Literteas @literteas7873
94 Followers 2K FollowingPey__ton @Peyton689588
5 Followers 287 FollowingNesitesla @nesitesla82708
1 Followers 312 Followingomados @omados_
0 Followers 65 Following جوانی که CS & Logic را سر لوحه خود قرار داده و غنیمتی از کتابها می گیرد در اینجا به اشتراک می گذارد :))Telling_It_Like_It_Is @TruthBomb1978
8 Followers 421 FollowingMcSourre @MSourre45213
6 Followers 372 FollowingJulien Vanegue @jvanegue
6K Followers 944 Following CTO Office / Head of Infrastructure & Security Research @Bloomberg. Interested in software, systems, and network verification for finance tech.Shyshoa @Shyshoa113291
162 Followers 3K FollowingAli-Reza Adl-Tabataba.. @aadltaba
78 Followers 41 Following Dad, Computer Scientist & Entrepreneur. Passionate about developer tools. Previously head of Developer Platform at Uber. Ex Google, Facebook, and Intel.Alex Bit @alex__bit
704 Followers 2K Following devtool founder, building @codemod to automate undifferentiated coding for all. previously @meta.Soudought @soudought41633
78 Followers 1K FollowingChiu @Chiu06894920
1 Followers 90 FollowingHarshit Garg @harshitgarg22
45 Followers 327 Following Incoming CS PhD @Northeastern | Currently Research Fellow @Microsoft | Systems / PL / AIShone @Shone2030455
2 Followers 1K FollowingShuyang Liu @Afra55602039
38 Followers 208 Following CS student @ Huazhong University of Science and Technology Incoming PhD Student @IllinoisCSPhani Vadrevu @pvadrevu
229 Followers 464 Following Asst. Professor @LSU Research interests in Web & Network security.Mohammad Hossein Khos.. @Mh_khoshechin
223 Followers 872 Following Ph.D. @ MPI-SWS Interested in Formal Methods / Distributed Systems / Concurrency Theory / @[email protected]Nikita Koval @nkoval_
538 Followers 141 Following Developing and testing concurrent algorithms at JetBrains. Teaching concurrency.Ryan Cai @ryancaicse
38 Followers 83 Following A researcher interested in applying program analysis and verification techniques to ensure software reliability and security.Kamel Mohamed @Kamel_Mohamed0
6 Followers 594 FollowingIlyas Haile @ilyashaile
581 Followers 3K Following Full-stack Developer with a passion for Saas 💻. Self-taught and always learning. Nighttime indie hacker 🌙. Let's build something great!sch001 @sch0016
18 Followers 87 Following Phd candidate, interested in program language, and its application to software engineering and security.Aditya Subramanian @adiSuper94
17 Followers 216 FollowingJimmy Koppel @jimmykoppel
2K Followers 219 Following Turning good engineers into great at https://t.co/b5295anmRU . Reverse engineer. Blogs about software design at https://t.co/RYL1GZ92df. Ph. D. in programming languages from @MIT.j12 @thefabdev
188 Followers 590 Following SC Gladiator | Computer Scientist & Software Engineering Researcher | PhD @lsuDeepraj Pandey @DeeprajPandey
293 Followers 2K Following Building @AshokaUniv's Makerspace. Building https://t.co/PiLLtUT1LA. Exploring. Opinions are my own and not the views of any professional structures I'm involved in.frang @frang_u99393
111 Followers 2K FollowingLoris D'Antoni @lorisdanto
6K Followers 730 Following Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketSatnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Andrew Myers @AndrewCMyers
4K Followers 283 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.Mike Hicks @michael_w_hicks
5K Followers 494 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new locationIlya Sergey @ilyasergey
5K Followers 965 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.Kristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.Alex Potanin @AlexP_DownUnder
797 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!KC Sivaramakrishnan @kc_srk
4K Followers 3K Following CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.Nate Foster (@natefos.. @natefoster
5K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]Andreas Zeller @AndreasZeller
9K Followers 225 Following Software researcher at @CISPA. Testing, debugging, analyzing, and protecting software for a better world. Find me on Mastodon as @[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.Marcel Böhme👨�.. @mboehme_
5K Followers 976 Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynBBen L. Titzer @TitzerBL
2K Followers 358 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!Steve Blackburn (@ste.. @stevemblackburn
2K Followers 976 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVXRon Garcia @rg9119
2K Followers 457 Following Transmogrifies coffee into LaTeX at University of British ColumbiaKartik Chandra (also .. @_k_a_c_h_
524 Followers 206 Following I am a PhD student @MIT @CSAIL studying cognition 🧠 and graphics 🫖. This is an academic account. I do care about other things, but I won't Tweet about them.Mike Sacks @MikeSacksEsq
23K Followers 2K Following Politics & Law. Communicator. Lapsed Lawyer. Serial self-retweeter. Retired competitive air guitarist.Sébastien Deleuze @sdeleuze
7K Followers 429 Following @SpringFramework at @Broadcom, #WebAssembly since 2016, Kotlin @GoogleDevExpert, ex @MixitConf staff.Reshabh K Sharma @ReshabhSharma01
251 Followers 465 Following Everything is a compiler! PhD student @uwcse Opinions are my own!Michael Coblenz @mcoblenz
1K Followers 701 Following Assistant Prof. of CS at @ucsd_cse. Creating safer, more usable programming languages. Formerly at @Apple, @SCSatCMU, & @umdcs. Mastodon: @[email protected].Will Crichton @tonofcrates
7K Followers 164 Following Cognitive engineer, incoming assistant professor @BrownUniversity.SIGPLAN-M @SigplanM
1K Followers 446 Following We form long-term cross-institutional mentoring connections in the programming languages community.Ali-Reza Adl-Tabataba.. @aadltaba
78 Followers 41 Following Dad, Computer Scientist & Entrepreneur. Passionate about developer tools. Previously head of Developer Platform at Uber. Ex Google, Facebook, and Intel.alcides @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.Jimmy Koppel @jimmykoppel
2K Followers 219 Following Turning good engineers into great at https://t.co/b5295anmRU . Reverse engineer. Blogs about software design at https://t.co/RYL1GZ92df. Ph. D. in programming languages from @MIT.Teresa Watanabe @TeresaWatanabe
8K Followers 1K Following I cover higher education for the @latimes. Previously on K-12 ed/immigration/religion/Japan/Asia biz. [email protected]SR 57/60 Confluence C.. @5760Project
127 Followers 16 FollowingDr. Daniel Swain @Weather_West
103K Followers 3K Following Climate scientist-communicator focused on extreme events like floods, droughts, & wildfires on a warming planet.Emin Gün Sirer🔺 @el33th4xor
299K Followers 2K Following Founder and CEO @avalabs, Ex-prof @Cornell, Ex-co-director @initc3org.Maya Bodnick @MayaBodnick
1K Followers 744 Following Harvard '26, Nueva '22, columnist @thecrimson, Slow Boring researcherHannah de Keijzer @HannahdeK
352 Followers 1K Following Book coach, editor, dancer, lover of 💐. Write compelling nonfiction without grinding yourself to a pulp. 📚 HOW TO ENJOY BEING EDITED is out now!Programming Language .. @pl_imp_papers
147 Followers 131 Following Interested in programming language implementation techniques. Tag or DM me with blog posts, papers, etc Cover image ©Robert Nystrom https://t.co/YHh2RdV1gADavid Simon @AoDespair
324K Followers 652 Following Author, journalist, and TV writer/producer. Angriest Man in Television is faint praise indeed.Nicolai Parlog 🇺�.. @nipafx
19K Followers 391 Following #Java enthusiast with a passion for learning and sharing, DevRel at Oracle but views are my own // 🐘 @[email protected] // ☁️ @nipafx.bsky.socialGanesh Srinivasan @gan3sh
247 Followers 185 Following GP at @Venrock - Helping Founders, ex CPO @confluent, ex VP Eng @uber, ex @LinkedInAndrew Gallant @burntsushi5
8K Followers 97 Following I love to code. I rarely check DMs. My email address is on my web site.Metamodernism @metamodernismyt
487 Followers 196 Following I make videos about buildings and infrastructure https://t.co/pl5Z5F9TuSPasadena Magazine @PasadenaMag
9K Followers 782 Following Featuring the highest quality journalism and photography, Pasadena Magazine chronicles life in Southern California’s most fascinating community.Bogdan "Bo" Alexandru.. @CacheMisses
104 Followers 383 Following PhD student in Systems @ U of Chicago. Working on software reliability & efficiency. Opinions, my own. Retweets are not endorsements.Umang Mathur @mathur_umang
974 Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore Hiring students and postdocsLingming Zhang @LingmingZhang
1K Followers 308 Following Associate Professor @plfmse @IllinoisCS. Enjoy breaking, fixing, and synthesizing software. SE | PL | FM | LLM4CodeLeah Culver @leahculver
85K Followers 2K Following Beta tester, software engineer, and angel investor. ✨ Co-author of OAuth and oEmbed specs. Formerly: iOS at @Twitter, tech co-founder @breaker and @pownceLawrence H. Summers @LHSummers
326K Followers 706 Following Charles W. Eliot University Professor and President Emeritus at Harvard. Secretary of the Treasury for President Clinton and Director of NEC for President ObamaMIT Club of SoCal @mitcsc
305 Followers 26 Following MIT Club of Southern California (MITCSC) unites alumni and friends of #MIT in the #SoCal region. Follow us for exciting news and events!Carter Kozak @carter_kozak
134 Followers 140 Following I write code and do other things too! https://t.co/6JV6XUCveN @[email protected]Jelani Nelson @minilek
22K Followers 184 Following Professor @Berkeley_EECS. Research Scientist (part-time) @GoogleAI. Founder @addiscoder. 🇻🇮🇺🇸🇪🇹William H. Grover @wgrover
1K Followers 978 Following Gone to https://t.co/UU9znRej7D and https://t.co/DNSg1MasLESarah E. Chasins @sarahchasins
1K Followers 340 Following Assistant Professor at UC Berkeley @Berkeley_EECS. PL+HCI. Into making programming easier for social scientists and domain experts.Engineering at Meta @fb_engineering
281K Followers 201 Following Engineering at Meta is a technical news resource for engineers interested in how we solve large-scale technical challenges at Meta.Maria Christakis @mchri5taki5
579 Followers 349 Following professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!Shruti Rajagopalan @srajagopalan
22K Followers 2K Following Economist @Mercatus Center @GeorgeMasonU. Fellow @nyulaw. Emergent Ventures India. Host @ideasofindia Podcast. Constitutional Economics & Public Choice. Dogs.numble @numble
4K Followers 280 Following I read LA Metro documents for fun. Please don't follow if your account is set to private.Sorav Bansal @bsorav
872 Followers 221 Following Superoptimizer, equivalence checker, and related stuff (https://t.co/3NgPVgIh8W). He/him.Krishna Nandivada @nvkrishna77
37 Followers 38 FollowingJanuary 6th Committee @January6thCmte
735K Followers 9 Following Select Committee to Investigate the January 6th Attack on the United States Capitol | Representative @BennieGThompson, ChairmanShraddha Barke @shraddha_96
598 Followers 962 Following PL PhD candidate @ucsd_cse | program synthesis, AI4Code, large language models, Human-AI Interaction | Prev - @Theteamatx @MSFTResearch, @BITSPilaniGoa. she/herSydney Gibson 🚛 �.. @sydgibs
3K Followers 340 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.Samin Arefin @SaminArefin
58 Followers 882 Followingit’s wild that coastal cities have spent years debating if YIMBY policies will lower rents, and Austin just… did it they streamlined permitting, upzoned most of the city, and eliminated parking mandates. Tons of housing is going up and rents are plummeting. YIMBY policies work
Explaining sarcasm or any humor, for that matter, is a mission to hell itself. I shall never volunteer.
In particular, I'm a firm believer in Java. Past, present, and future. I believe it will remain -- no, not just "relevant", but **important** -- for a very long time. And don't take that belief for granted; it has to be re-earned again and again! And it has been, every 6 months.
Chilling post-Google was nice, but I'm elated to tell y'all that I've accepted a position in the @java Platform Group at Oracle! In the libraries team I'll be working with people like @stuartmarks @viktorklang @PaulSandoz @biboudis @jddarcy @PMinborg and the list goes on...
Utrecht is such a lovely town. In my fantasy life I would spend a year hacking Haskell here with @gckeller, @TacticalGrace and @wouterswierstra.
I'm excited to announce a new SPLASH workshop: JENSFEST 2024! in which we celebrate the career of the one and only Jens Palsberg. To honor him, we are looking for paper submissions and extended abstracts for papers that have high "Jensness". Consider submitting!
It must be a lot of fun now that you are starting to see adaption. We are learning Move...
@SteveMillerOC I just learned of this policy from your tweet. But correct me if I'm wrong: this 'point system' policy is for current students who want to xfer into a selective major (like computer science). It doesn't seem to apply for HS seniors applying directly into CS. Note that some ... 1/
Some traditional Dutch food for @RanjitJhala and me in Utrecht.
1/ For several years we've been building Forge, a pedagogically-focused tool to teach formal methods. Here's our first write-up! As the name suggests it's a tribute to Alloy, but we're innovating on several fronts: blog.brownplt.org/2024/04/21/for… ↵
@serializd Every show should be started from season 1, but if you want to start from when it starts getting great, I would suggest season 4. From 4 onwards, every season has an overarching plot while maintaining the sitcom structure.
@ICSEconf I'm writing 33 papers for ICSE2025. V busy
The greatest unlock for tech innovation will not be from AI. It will be when Lina Khan resigns from the FTC and companies can get acquired again. No sane person is going to sign up for a 10 year death march and play IPO roulette with their lives. Everything she has done has…
I am very proud of my ASCII art skills. I should have done this ages ago. This is the output of the "control" monitor in Wizard, which profiles all branches and loops in a Wasm program.
Unleashing the Power of End-User Programmable AI with Leibniz Automind & Universalis I have had many investors ask me what I am building in my new venture. When I answer that, based on the vision of Leibniz many centuries ago Leibniz's program of a universal science (scientia…
OOPSLA 2024: 9, 6, 5 (4x), 4 (6x), then 3 or less - across two rounds.
@guidosalva @ICSE2024 It's likely that some of these authors are violating ACM's authorship policy: acm.org/publications/p… @ICSEconf should require author contribution statements to address this problem.
Statistics from @ICSE2024. Authors submitting, *each*, 33, 27, 24, ... papers. Interactive dashboard: app.powerbi.com/view?r=eyJrIjo…