Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.
Odenton, MD
Joined February 2016
- Tweets2.3K
- Following337
- Followers424
- Likes1.4K
Ian Sweet retweeted
Check out our ✨ fantastic ✨ list of accepted papers (pldi25.sigplan.org/track/pld…)! You still have time to book your tickets to Seoul and watch the PLDI talks live!
Ian Sweet retweeted
We are hosting the MIT Programming Languages Review on April 25th in person here at MIT! The PLR is a student-run workshop that aims to highlight the best papers from the past year that we believe will have a significant impact on shaping the future direction of PL research.
Ian Sweet retweeted
My tierlist for the PoE2 ascendancies.
First pic: MINIMUM tier expected for an ascendancy (pessimistic evaluation, given that we don't know a lot)
2nd pic: likelyhood for a tier to be better than tiered.
However: that's a risk/chance.
Do you agree? What's your S tiers?
Ian Sweet retweeted
A fun page on some of the kinds of performance engineering work we do at Jane Street.
janestreet.com/performance-e…
Ian Sweet retweeted
I'm happy to announce that my student Alex Bohosian just released Choret, our implementation of choreographies in Racket! Please take a look, and feel free to ask any questions/provide any feedback here: github.com/Foundations-of-De…
In light of a recent category theory blog post going around, I thought I’d share an alternative that I prefer which covers a lot of the same ground.
bartoszmilewski.com/2017/02/…
If you’re looking to this person for your Twitter content on programming languages and functional programming, look elsewhere. I’ll follow-up in this thread with some folks who I recommend.
@GabriellaG439 , @kmett , @d_christiansen , @BartoszMilewski , @josecalderon , @haskellhutt , @tonofcrates , @webyrd , @conal , @lexi_lambda , @graydon_pub , @avsm , @jeremysiek , @edwinbrady , @smdiehl just to name some.
Ian Sweet retweeted
I'm defending my PhD thesis on "Provably Correct, Secure, and Leakage-Free Systems" on Monday 7/15.
One key result: we verified an ECDSA signing HSM (2.3 kLOC of code and 14 kLOC of Verilog) against a succinct 50 LOC spec.
Learn more at the public defense (in-person or Zoom)!
Ian Sweet retweeted
We are excited to host the 1st International Workshop on Choreographic Programming (CP) on Monday, Jun 24. The workshop will feature a keynote talk by @famontesi on "Choreographic Programming: its essence, beauty, and necessity". Full program: pldi24.sigplan.org/home/cp-2…
Listen, I love and appreciate USPS.
That being said, they are the undisputed and possibly undefeated final boss of ADHD.
Ian Sweet retweeted
Our server sleds don't have a BIOS/UEFI, it's a radical decision but it's part of a first-principles approach to security along that with hardware root of trust and trust quorum ensures that the entire rack-level computer is securely attested to: youtube.com/watch?v=fEy0VKSF…
Ian Sweet retweeted
Once you understand ZFS file system, you are spoiled forever and the dynamic range of what constitutes great design expands permanently. A new benchmark is set.
I've heard similar things about FreeBSD, need to find time to mess around with it.
Font is TX-24 Houston Mono™
Ian Sweet retweeted
That wonderful feeling when you see a paper about a topic you've thought about on and off (in a somewhat different setting, in this case) for a long time but been too lazy to get off your ass to work on. Really nice work:
perso.ens-lyon.fr/thais.baud…
Ian Sweet retweeted
We are shocked and saddened to share news of the sudden passing of our esteemed colleague, great researcher and caring adviser Rance Cleaveland.
Our thoughts are with his family, friends and loved ones during this profoundly sad time. go.umd.edu/Cleaveland
Ian Sweet retweeted
The main CCS (@acm_ccs) deadline is on April 29th (updated!) and there is also a Formal Methods and Programming Languages Track to which you can consider submitting: sigsac.org/ccs/CCS2024/call-…
Ian Sweet retweeted
According to Bloomberg, HashiCorp is shopping itself. I think that their notorious relicensing last year is more reflective of an ailing business rather than its cause, but it is nonetheless worth revisiting my #P99CONF talk calling out this (mis)behavior youtube.com/watch?v=um5bC20N…
Ian Sweet retweeted
Excellent use of Italian gestures 🤌 (exhibit A), masterful PhD defence 🗣️ (exhibit B), fantastic atmosphere 😊 (exhibit C). Congratulations, Dr. Lugovic!! 🥳
#choreographicprogramming @VILLUMscience @imadaSDU
