Sushant Dinesh

Co-founder & CEO @ Aretta AI: the verification layer for AI agentic code | Prev: Postdoc/PhD @ EECS UC Berkeley

[Sushant Dinesh @_sushant94]

1/ A data race lived in SQLite's write-ahead log for 16 years, through 100% MC/DC coverage and a test corpus 590x the size of the library. It survived because the race is rare in time, and testing samples time.

[Sushant Dinesh @_sushant94]

@jorandirkgreef @sachin_singh092 @penberg @tursodatabase Oh, and it also complements the protocol-aware DST efforts you all are pushing on. Great post btw!

[Sushant Dinesh @_sushant94]

@jorandirkgreef @sachin_singh092 @penberg Totally agree. That's why you do formal proofs over the implementation/code rather than just the models. This is exactly what we are working on at Aretta with @penberg (@tursodatabase) and a few others. Happy to talk more if this interests you!

[Sushant Dinesh @_sushant94]

Forming our next cohort now. If you build in a domain where correctness is critical, one sentence of intent is enough to start: https://t.co/adXV81Cds9

Aristo, the SDK this runs through, is open source: https://t.co/ZRJU0XPVgU

[Sushant Dinesh @_sushant94]

1/ A data race lived in SQLite's write-ahead log for 16 years, through 100% MC/DC coverage and a test corpus 590x the size of the library. It survived because the race is rare in time, and testing samples time.

[Sushant Dinesh @_sushant94]

5/ The property we checked is not new. It is SQLite's own WAL spec, published all along. The bug was checkable the day it was written, in 2010. Aristo did not exist in 2010. Alas.

[Sandeep Dasgupta @sdasgup3]

I am so thrilled to share that my recent work on "Scalable Validation of Binary Lifters" got conditionally accepted in PLDI'20. This is build on top of our x86-64 K-semantics (from @Pldi19 ). @RosuGrigore @vadve @alastair_d_reid @taoxiease

[Sushant Dinesh @_sushant94]

@stevecheckoway @Maijin212 @akochkov radeco has not been updated recently. Try using radeco-lib directly.

[Boris Ryutin @dukebarman]

Celebrating the 10th birthday @radareorg

[radare @radareorg]

Announcing the R2CON. The first public and international congress about radare2. CFP is open, submit your talks! https://t.co/pVU7iui2vY

[radare @radareorg]

This is how you can install and run a python asm plugin for r2 with IPython autocompletion and r2pipe integration https://t.co/G78606Xu0p

[radare @radareorg]

New blog post: Using Rasm2! https://t.co/fptS2H7C1Y

[radare @radareorg]

Google allocated 3 slots for us! Congratulations to all the students! The selected tasks are:

* webui
* decompiler
* type/arg/call analysis

[radare @radareorg]

As promised: 0.10.1 is here! (Aka Solid Chair Society) https://t.co/0F3vu1pFrt

[radare @radareorg]

After 3 years we finally got into the GSoC! https://t.co/o2P7YVzbHN #google #GSoC2016

[radare @radareorg]

This is a great moment to remind you the tasks we proposed for the gsoc. Grab your keyboards and choose your task! https://t.co/TPiL8Z8c3p

[Boston Key Party @BkPctf]

registration for boston key party is now open! https://t.co/y1qHhrmaDn

[ECTF'16 @nitkectf]

#ectf is up and running! GAME ON