Ton Chanh Le

A researcher in program analysis

[vana @vana]

Introducing Vana Academy: a 9-week program to build the frontiers of the new AI data economy and launch a successful data capital business.

If you're interested in the market potential of user-owned data, this is your launchpad. Apply Now 🧵👇

[Ton Chanh Le @letonchanh]

This is bullish.

[vana @vana]

⏰ 11:30am
Data as a New Asset Class
❇️ @PrimordialAA Co-Founder & CEO, @LayerZero_Core
❇️ @caseykcaruso Managing Partner, @topology_vc
❇️ @divine_economy Co-Founder, @jokerace_io
🎙️Moderator @ldf_gm @LayerZero_Fndn

[vana @vana]

Anna showing the growth in data contributions to @UNWRAPPED_DATA the new Spotify DataDAO on Vana 🎵 🚀

[Ton Chanh Le @letonchanh]

@JoeBiden Liar! This year we need to pay more for summer programs.

[Ton Chanh Le @letonchanh]

@JoeBiden Liar!!!

[Ton Chanh Le @letonchanh]

@USCIS My I-140 and I-485 are getting dust at Nebraska Service Center since 03/2021 while I see many later cases got approval. Please processing cases fairly.

[Ton Chanh Le @letonchanh]

@USCIS 449 days and more waiting for your jurisdiction. It is the main source of my mental stress and anxiety. #MakeNSCWork

[Ton Chanh Le @letonchanh]

@USCIS @POTUS @USCISDirector Please speed up the processing time of I-140 NIW at Nebraska Service Center. Its pace is too slow.

[Ton Chanh Le @letonchanh]

@USCIS @USCISDirector Please listen to us, I-140 NIW applicants. I have been waiting for the jurisdiction from Nebraska Service Center for 14 months. I am tired of checking the status day by day in hopeless.

[Ton Chanh Le @letonchanh]

It's official. Thank @NSF for funding our work on dynamic temporal analysis for safety and liveness properties https://t.co/Fl2yojyQRj

[Ton Chanh Le @letonchanh]

@_thannd I hope that I can meet you in Chicago.

[Ton Chanh Le @letonchanh]

After 5 years, I am working on the termination problem again. I am happy to share that our work on dynamic analysis for termination and non-termination proofs is conditionally accepted at OOPSLA. Yeah!

[Ton Chanh Le @letonchanh]

@JCParking The No Parking sign opposite 49 Waverly St is covered but I and many other people still got tickets when parking there. Pls fix.

[Rohan Padhye @moarbugs]

I wrote an article on preparing good artifacts for evaluation in PL/SE/Systems conferences. It draws upon my experiences with artifact evaluation at PLDI, ISSTA, and OOPSLA.
https://t.co/JGyv77p9l5

[Sam Tobin-Hochstadt @samth]

My first post at the new SIGPLAN blog: Gradual Typing from Theory to Practice
https://t.co/phwTMLWhXr

[Ton Chanh Le @letonchanh]

New achievement: Two papers accepted at top tier ACM conferences in the same year @PLDI @splashcon.