Robert Zhang
@0xrobertzhang
Followers
261
Following
702
Media
3
Statuses
201
CS PhD student @UTCompSci | CS undergrad & Masson Fellow @JohnsHopkins | Formerly @Reactjs @MetaOpenSource
Austin, TX
Joined April 2020
✈️ Very excited to give my OOPSLA @splashcon talk on our Pure Demand Operational Semantics – join me at 10:40 am PT on Wednesday Oct. 23, in person or online! And come chat with me about anything Wednesday through Friday!. 🔗
🎉A belated promo of our recently accepted OOPSLA '24 paper “A Pure Demand Operational Semantics with Applications to Program Analysis,” where we propose a novel, minimal-state operational semantics for higher-order functional programs solely driven by the call stack. A 🧵↴.
1
2
14
0
1
0
RT @PLDI: You can read the complete citation (which is very big to paste here) at the SIGPLAN website: .
0
1
0
RT @PLDI: An excerpt from the award citation: Her work is distinguished by extraordinary technical depth, breadth, and originality. She has….
0
1
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 @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 @IsilDillig: @vardi nails it in this article: Big Tech owes much of its success to decades of public investment….
0
1
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
44
0
RT @IsilDillig: 3/3 If you’ve built a company, a career, or a product on top of that system, now is the time to speak up -- before the dam….
0
3
0
RT @IsilDillig: 2/3 Now, with Congress moving to slash NSF funding, that very foundation is at risk. CISE, the directorate that funds com….
0
3
0
RT @IsilDillig: 1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments….
0
38
0
RT @IsilDillig: It's been a real honor and privilege to be your PhD advisor @ShankaraPailoo2 and Ben Mariano! I am truly so proud of everyt….
0
1
0
RT @IsilDillig: The FY26 budget slashes NSF by 55%, which directly threatens basic research in the United States. Please call your reps NOW….
congress.gov
Profiles of U.S. Representatives and Senators that include their legislative activity.
0
6
0
RT @IsilDillig: For folks interested in C-to-Rust translation, we put together a benchmark suite you can evaluate on!.
0
13
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 @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
11
0
RT @IsilDillig: Special recognition goes to the amazing @ShankaraPailoo2 for tirelessly improving the tool over the last two years to get i….
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
5
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