Tiark Rompf
@tiarkrompfPurdue University (We're hiring! grad students, post-docs, faculty)
Similar User
@roopshasamanta
@PLDI
@IsilDillig
@ilyasergey
@jeremysiek
@poplconf
@GhostofBendy
@HerrDreyer
@icfp_conference
@benzorn
@rg9119
@splashcon
@RanjitJhala
@awsTO
@krismicinski
I'm looking for PhD students and post-docs to join my group at @PurdueCS! Specifically, for two exciting projects: - Reachability Types: think Rust but for higher-level languages github.com/tiarkrompf/rea… - Rhyme: a new expressive query language github.com/rhyme-lang
Great to see former @purdue_pl students continuing to carry the torch of continuations in AI!
Btw I am at #NeurIPS. We'll have a poster on Choice-based learning in Jax using algebraic effects and loss continuations at the MLforSys workshop on Saturday with @dancherp, @xnningxie, and Gordon Plotkin. Ping me if you would like to chat about anything, including DSPy ;)!
Congratulations to Sophia Drossopoulou (@drossopoulou) who has been awarded the Senior Dahl-Nygaard Prize for 2023. Sophia is an amazing researcher and mentor. Reading her papers on type system design made me start my PhD in this area. So well deserved! 2023.ecoop.org/track/ecoop-20…
Congratulations to *Dr.* @GuannanWei on successfully defending his dissertation! Happy to say that the defense was standing room only :)
Congratulations @GuannanWei on your successful thesis defense! A truly impressive body of work and an excellent presentation!
Thanks everyone for joining my defense! ❤️Special thanks to my advisor @tiarkrompf for the support, and @GhostofBendy, Suresh Jagannathan, Xiangyu Zhang for serving in my committee!
Build a quantum circuit simulator using delimited continuations in Scala (github.com/Kraks/playgrou…), following Choudhury, Agapiev and Sabry's Scheme Pearl paper on Quantum Continuations (andykeep.com/SchemeWorkshop…)
So proud to receive the 2022 ACM SIGPLAN Programming Languages Software Award for the CompCert compiler at the POPL 2023 conference @poplconf @cdf1530 @UnivRennes1 @irisa_lab @cnrs @INS2I_CNRS @lmf_lab @LabosNomades @Saar_Uni @Inria @GdrGPL
Super proud of the team!
Glad to share that our @ICSEconf '23 submission on “Compiling Parallel Symbolic Execution with Continuations” (w/ Songlin, Ruiqi, Haotian, @ShangyinT, @etaconversion, @tiarkrompf) has been accepted. @purdue_pl @PurdueCS
Glad to share that our @ICSEconf '23 submission on “Compiling Parallel Symbolic Execution with Continuations” (w/ Songlin, Ruiqi, Haotian, @ShangyinT, @etaconversion, @tiarkrompf) has been accepted. @purdue_pl @PurdueCS
PurPL is making a SPLASH in Auckland next week! Congrats to all the authors @Kirshanthan @charitha22 @rcdickerson @mkulkarni @GhostofBendy @suresh12345 #SPLASH2022 #SPLASH22
Congratulations to my post doc @RainyBao on her faculty position at @AUG_University - all the best for the new gig, Yuyan!
Happy to share I'll be joining @AUG_University @AUG_Cyber as an Assistant Professor this fall. I appreciate everyone who's been part of my journey, in particular @gary_leavens @tiarkrompf and @mkulkarni
Congrats, @GuannanWei! Richly deserved
Congratulations to Guannan Wei, the recipient of the 2022 Maurice H. Halstead Memorial Award at #PurdueCS. 🔗bit.ly/2022-cs-awards #ComputerScience #DataScience #Purdue #PurdueUniversity #Boilers #BoilerUP #TheNextGiantLeap 1/
What if we just don't pop the stack? We get more expressive second-class values & variable-sized on-stack data! Paper to appear at ECOOP'22 2022.ecoop.org/details/ecoop-… Comes with a prototype compiler and mechanized soundness proof. By @0xA95 @etaconversion @GuannanWei @tiarkrompf
Well, first, everyone should be in PL or compilers😁. It's a great education in lots of things that matter in practice. In my case I was looking for a year off to learn something new and bike to work vs fly to work (UCSB <-> Stanford).
Ever wondered what compilers have to do with basketball? Check out this analysis from my awesome CS 352 students presented in class today:
Unfortunately Purdue’s season came to a close in a Sweet 16 upset on Friday. Me and some students made a Compiler’s Approach on why we lost, based on @tiarkrompf CS352 course. View for some humor to cheer yourself up docs.google.com/presentation/d…
Congrats Shangyin! 👏👏👏 #BoilerUp We wish you the very best at @BerkleyEECS Remembering when you earned honorable mention for @CRAtweets Undergrad Researcher Award purdue.link/cra_ug_research
Very excited to announce that I’ll be joining @Berkeley_EECS as a PhD student this Fall working on Programming Systems. I feel so grateful to everyone who helped me along the way and can’t wait to start this new chapter of my life!
All the best, Shangyin! @Berkeley_EECS is a great choice for you
Very excited to announce that I’ll be joining @Berkeley_EECS as a PhD student this Fall working on Programming Systems. I feel so grateful to everyone who helped me along the way and can’t wait to start this new chapter of my life!
This description of a recent zero-click iMessage exploit is absolutely blowing. It’s hard not to have deep respect for the amount of creativity put into a hack like this. Read until the end, the lead is burried. googleprojectzero.blogspot.com/2021/12/a-deep…
United States Trends
- 1. $AROK 4.961 posts
- 2. Wayne 122 B posts
- 3. $MOOCAT 5.824 posts
- 4. Ohio State 19,3 B posts
- 5. Indiana 28,7 B posts
- 6. Gus Johnson N/A
- 7. Hoosiers 6.129 posts
- 8. $MXNBC 1.110 posts
- 9. #iufb 2.983 posts
- 10. Ryan Day 2.524 posts
- 11. Buckeyes 4.833 posts
- 12. Neil 31,7 B posts
- 13. Igbinosun N/A
- 14. Surgeon General 95 B posts
- 15. Red Cross 13,7 B posts
- 16. Arsenal 151 B posts
- 17. Mike Epps N/A
- 18. Nwaneri 27,5 B posts
- 19. Saka 79,6 B posts
- 20. #Caturday 7.960 posts
Who to follow
-
Roopsha Samanta
@roopshasamanta -
PLDI
@PLDI -
Isil Dillig
@IsilDillig -
Ilya Sergey
@ilyasergey -
Jeremy Siek
@jeremysiek -
POPL 2025
@poplconf -
Ben Delaware
@GhostofBendy -
Derek Dreyer
@HerrDreyer -
ICFP Conference
@icfp_conference -
Ben Zorn (he/him) @[email protected]
@benzorn -
Ron Garcia
@rg9119 -
SPLASH Conference
@splashcon -
Ranjit Jhala
@RanjitJhala -
Aws Albarghouthi 🍉 أوس
@awsTO -
Kristopher Micinski
@krismicinski
Something went wrong.
Something went wrong.