Yao Li
@lastland0
Followers
1K
Following
6K
Statuses
2K
He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]
Portland, OR
Joined September 2015
The power of laziness is great, but formal reasoning about its costs is notoriously elusive. In our ICFP 2024 paper "Story of Your Lazy Function's Life", we propose a solution based on a bidirectional demand semantics. Find out more in our preprint:
4
11
45
RT @Aaroth: A guess: The uncertainty in science funding in the US will -already- have a huge affect on PhD admissions for engineering schoo…
0
19
0
This is really really really bad.
I find it really sad that @ICSEconf is charging an extra fee for attendees needing a visa invitation letter! These folks are usually from countries where the financial burden of conferences is already sky high. Why can't the costs be folded into registration like everything else?
0
0
4
RT @poplconf: Planning your POPL trip? You can now read papers you're interested in from the PACMPL (Vol. 9, No. POPL) proceeding! https:/…
0
6
0
RT @PLDI: Are you interested in programming 💻 languages 🗣️research? Do you like reading cool short student papers? Then you could become…
0
10
0
RT @PLDI: Happy new year 🎉 The Student Research Competition Call is up (. If you are a junior researcher working on…
0
13
0
RT @ThePhDPlace: Happy New Year! May your new year be filled with groundbreaking ideas, plenty of rest, and lots of acceptance emails.
0
71
0
RT @m2saxon: If you feel the need you make the "I'm not stereotyping" disclaimer, maybe you should reconsider what you're saying She could…
0
18
0
RT @TaliaRinger: Wildly inappropriate that the speaker felt it necessary to specify that the student is Chinese, should go without saying
0
10
0
RT @RaghavMalik15: Personal update: I'm on the faculty job market this year! My research lies at the intersection of PL and security; speci…
0
18
0
@alpha_convert Isn’t this essentially the same argument Bob Harper has with natural numbers in Haskell?
1
0
1
RT @DassenLaurens: Must-see. @elonmusk zit nu bijna dagelijks aan tafel bij @realDonaldTrump, een plek die hij gekocht heeft door dit pla…
0
55
0