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.
The list of talks for the Formal Methods for Incorrectness workshop (co-located with POPL in Jan) is now available! We have a really great program spanning logics, program analysis, types, security/hyper-properties, and more. Hope to see you there!
popl24.sigplan.org/home/inco…
1
514
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
I'm excited to be organizing a workshop on incorrectness reasoning with @AzaleaRaad at POPL this year. If you work on incorrectness, consider submitting a talk!
popl24.sigplan.org/home/inco…
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
I'm pleased to announce that our paper "Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning" (with @HerrDreyer and @alexandra8silva) has been accepted to OOPSLA!
Preprint: cs.cornell.edu/~noamz/files/…
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.
I'm going to take this one step further and say that the entire way we think about software is wrong. Everything should be more standardized and systems should be composed from "building blocks" rather than doing everything in a custom, vertically integrated way
Hot take — general purpose programming languages are archaic. I hope in 20 years every field has a domain specific language only for tasks of their field and nothing more.
1
3
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
Want to come to the BIGGEST logic conference that only happens every 4 years? FLoC is giving travel assistance to student volunteers! Apply and tell your friends floc2022.org/volunteer
I'm participating in the POPL Student Research Competition! Check out my video and come find me at the virtual poster session if you want too learn more!
youtu.be/Jzx3-h-c3jE
@lucaspena_1 and @TGarsys... The young 1/16. Never though it would be useful
#TQBFFs #FOCS #noalgorithm