Ton Chanh Le (@letonchanh) profile picture

Ton Chanh Le

@letonchanh

A researcher in program analysis

Joined December 2010
  • Tweets17
  • Following247
  • Followers30
1Media
Photo by Ton Chanh Le (@letonchanh)
Ton Chanh Le retweeted
vana (@vana) profile picture
vana
@vana8 May 2025
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 🧵👇
16
22
15
208
79,497
This is bullish.
vana (@vana) profile picturevana
@vana27 Feb 2025
Replying to @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
Image from vana (@vana)
1
34
Ton Chanh Le retweeted
vana (@vana) profile picture
vana
@vana28 Feb 2025
Anna showing the growth in data contributions to @UNWRAPPED_DATA the new Spotify DataDAO on Vana 🎵 🚀
Image from vana (@vana)
14
8
2
100
7,165
It's official. Thank @NSF for funding our work on dynamic temporal analysis for safety and liveness properties nsf.gov/awardsearch/showAwar…
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!
5
Ton Chanh Le retweeted
Rohan Padhye (@moarbugs) profile picture
Rohan Padhye@moarbugs7 Aug 2019
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. rohanpadhye.github.io/Artifa…
3
23
3
77
My first post at the new SIGPLAN blog: Gradual Typing from Theory to Practice blog.sigplan.org/2019/07/12/…
Gradual Typing from Theory to Practice

Gradual Typing from Theory to Practice

From its beginning 15 years ago, gradual typing is now part of everyday development practice for massive code bases at companies from Facebook to Microsoft to Stripe to Dropbox, all of which have d…

blog.sigplan.org
1
15
1
54
New achievement: Two papers accepted at top tier ACM conferences in the same year @PLDI @splashcon.
1
Load more