Shankara Pailoor
@ShankaraPailoo2
Followers
86
Following
41
Media
0
Statuses
53
UT Phd + Head of ZK Tooling at @VeridiseInc
Joined July 2022
RT @FormallyJon: LLZK is live! This is all thanks to our amazing LLZK team @ShankaraPailoo2, @iangneal, Tim and Daniel. Also thanks to @eth….
0
2
0
RT @RiscZero: As we continue to extend the formal verification coverage on our circuits, we have identified and fixed another bug. This bug….
0
12
0
Generate videos in just a few seconds. Try Grok Imagine, free for a limited time.
499
861
4K
RT @swarat: Thrilled about this achievement by the Gemini Deep Think team! Over the last two years, we have seen extraordinary progress in….
0
2
0
RT @VeridiseInc: Missed @KFerles’s @EthCC talk, “zkVM determinism that lasts: From audits to continuous verification”? Watch the full prese….
0
2
0
RT @gregd_nlp: Revoking visas to Chinese PhD students is economically shortsighted and inhumane. Most Chinese PhD students stay in the U.S….
0
43
0
RT @lorisdanto: Isil has been one of my very top role models in academia since I was a PhD student. When reading this I thought "Wait, I as….
0
1
0
RT @swarat: Just learned that @IsilDillig won the #SIGPLAN Robin Milner Junior researcher award this year! 🎈 🍾 The award goes to one outsta….
0
11
0
RT @PLDI: Last but not least, the SIGPLAN Robin Milner Young Researcher Award was also announced at PLDI. This year, the award went to Işıl….
0
9
0
RT @VeridiseInc: We recently collaborated with @SuccinctLabs to verify the determinism of SP1 circuits using Picus—Veridise’s formal verifi….
0
4
0
RT @AnirudhKhatry: 🚀Introducing CRUST-Bench, a dataset for C-to-Rust transpilation for full codebases 🛠️.A dataset of 100 real-world C repo….
0
19
0
RT @VeridiseInc: Join us for an insightful fireside chat with Jacob Weightman, Compiler Engineer at @RiscZero and @boundless_xyz. We'll exp….
0
5
0
RT @RajeevAlur: Congratulations to Swarat Chaudhuri (PhD, @PennCIS 2007) for this wonderful honor from Guggenheim Foundation .
gf.org
Since 1925, the Guggenheim Foundation has given Fellowships to exceptional artists, writers, scholars, and scientists, empowering them to pursue meaningful work under the freest possible conditions.
0
6
0
RT @divytweet: Presented our work on programming service mesh policies at low overheads at @ASPLOSConf!. We propose two novel abstractions….
0
2
0
RT @IsilDillig: Thank you for your kind words for our team @BruestleJeremy! It’s been a pleasure to work with the @RiscZero team.
0
1
0
RT @IsilDillig: Super excited about this verification work that we've been doing with @RiscZero! They've using our tool to prove the determ….
0
4
0
RT @RiscZero: RISC Zero is building the first formally verified RISC-V zkVM. Using @VeridiseInc's Picus tool, we're mathematically provin….
0
37
0
RT @knassery: For the better part of a year we’ve been partnering with @VeridiseInc on auditing and tooling and it’s been eye opening. Par….
0
4
0
RT @VeridiseInc: We're excited to announce that we've been awarded a grant from the @ethereumfndn to build an open-source Intermediate Repr….
0
5
0
RT @zkproof: 🔥🔥🔥 Get ready for #ZKProof 2025!. Speaker: @schaliasosvons from @imperialcollege . Join us in Sofia March 23-25 to discuss the….
0
2
0
RT @IsilDillig: For formal methods folks looking for a new position: @VeridiseInc is hiring a formal methods researcher to work on verifica….
veridise.com
Blockchain security company Veridise is hiring a Formal Methods Researcher for ZK. Find out why Risc Zero, Succinct, Linea, and more look to Veridise on security.
0
10
0