Tiark Rompf
@tiarkrompf
Followers
2K
Following
8K
Statuses
2K
Purdue University (We're hiring! grad students, post-docs, faculty)
West Lafayette, IN
Joined January 2013
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 - Rhyme: a new expressive query language
2
24
99
Happy 2025 everyone! It's been an exciting year for our team, and to celebrate, we're releasing new code, examples, docs, and a slick new website for our query language Rhyme. Check it out:
0
7
35
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 ;)!
0
2
11
RT @ilyasergey: Congratulations to Sophia Drossopoulou (@drossopoulou) who has been awarded the Senior Dahl-Nygaard Prize for 2023. Sophia…
0
15
0
RT @purdue_pl: Congratulations to *Dr.* @GuannanWei on successfully defending his dissertation! Happy to say that the defense was standi…
0
3
0
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!
0
1
23
RT @GuannanWei: Build a quantum circuit simulator using delimited continuations in Scala (, following Choudhury, Ag…
0
2
0
@kc_srk And at least in the case of Scala, this ended up being entirely transparent (just how types work in the compiler). Call sites could just check the type of the function to see if a continuation is needed, and didn’t need to be aware if the call was external or not.
1
0
1
@laurencetratt Likewise, and it's been a while indeed! Hope we'll get a chance to talk irl again sometime soon
0
0
1