Recovering tech worker turned PhD student @CornellCIS. PL, Logic, Formal Verification
Joined April 2014
- Tweets131
- Following91
- Followers189
- Likes681
Noam Zilberstein retweeted
The Call for Presentations of TPSA26 colocated with @poplconf is open
popl26.sigplan.org/home/tpsa…
Come and present your work, even in progress, whether you are an academic or in industry!
Noam Zilberstein retweeted
On my way to POPL! Excited to meet many people I haven’t seen in some time and to hear @NZComplete’s talk on Demonic Outcome logic, joint work with me, D Kozen, and J Tassarotti! Noam will be on the academic market next year, come listen to some of the cool stuff he’s been doing!
Noam Zilberstein retweeted
Consider submitting to the *first* POPL workshop on the theory and practice of static analysis: popl25.sigplan.org/home/tpsa… h/t @NZComplete @AzaleaRaad This should be a lot of fun.
Noam Zilberstein retweeted
Institutions are making 10x returns in crypto. How?
They have elite tooling. Now, you do too.
Presenting RAINMAKER. DeFi, Supercharged.
✅ never pay ANY gas
✅ 3-4x more yield
✅ pro-grade MPC security
✅ on the go, MOBILE
✅ auto-airdrop farming
Exclusive rewards w/code RAIN
Noam Zilberstein retweeted
That was quite the fun day in London at the incorrectness logic workshop in @ucl . Thanks @NZComplete @alexandra8silva for organizing this! Jules is assuring post-workshop activities very vigorously at the local pub. cc: @AzaleaRaad @HerrDreyer @carolin2_718281 @benno_stein
Noam Zilberstein retweeted
I am very excited about working on developing new program logics to reason about correctness and incorrectness with @NZComplete, supported by a gift from @AmazonScience! #AmazonResearchAwards
Two faculty members, Fred Schneider, the Samuel B. Eckert Professor of Computer Science, and Alexandra Silva, professor of computer science (@cs_cornell), have received Amazon Research Awards (ARA) (@AmazonScience).
Read more: bit.ly/3LschKb
Noam Zilberstein retweeted
19. One of the greatest failures of globalization is how tahini is not universally recognized as the pinnacle of gastronomy. If you’re checking a bag on your way back, consider leaving space for some to take home.
Noam Zilberstein retweeted
Wouldn't you know it, @FLoC2022 is coming up pretty soon. Do you want to volunteer? The student volunteer program provides a stipend to help with some of the travel costs and registration.
Apply here: floc2022.org/volunteer
Noam Zilberstein retweeted
@GabrielG439 Thrift's Haskell bindings have been revamped! github.com/apache/thrift/tre… – at Menlo Park, CA
Noam Zilberstein retweeted
Oh Python, how I've missed your constant barrage of indentation errors. @NZComplete @j_dawson1994
