Associate Professor of Computer Science at CU-Boulder (@cuplv): program analysis, programming languages, secure and reliable software, verification.
Boulder, Colorado, USA
Joined May 2007
- Tweets196
- Following386
- Followers597
- Likes285
Bor-Yuh Evan Chang retweeted
The Proceedings of the ACM on Programming Languages (PACMPL) issue for #PLDI2026 is out!
🔗dl.acm.org/toc/pacmpl/2026/1…
With less than a week until the conference kicks off in Boulder, CO on June 15, now's the perfect time to plan your reading list and program schedule!
Bor-Yuh Evan Chang retweeted
As you begin your travels to #PLDI2026, don't forget to check out the travel information on the website for directions from the airport to the Limelight Boulder.
We also have tips for exploring Boulder from our local organizers. Pack your hiking boots!
🔗pldi26.sigplan.org/
Thank you @splashcon community for an amazing SPLASH 2024!
This Post is from an account that no longer exists. Learn more
Bor-Yuh Evan Chang retweeted
🚨 Today is the final day for early registration for #SPLASH2024! 🏃♂️ Don’t miss out on discounted rates. Join us in sunny Southern California for an amazing program filled with groundbreaking papers, insightful talks, and networking!
2024.splashcon.org/attending…
Bor-Yuh Evan Chang retweeted
We're excited to have @neharungta as a keynote speaker and can't wait to see you in Pasadena!
More keynote details here: 2024.splashcon.org/track/spl…
In a #SPLASH keynote, I talk about our work on formally verifying the authorization engine in AWS, which handles trillions of daily requests. Witness formal methods at cloud scale in Pasadena, CA. Join us: 2024.splashcon.org/track/spl…
Bor-Yuh Evan Chang retweeted
Fellow academics who travel to conferences with their children: what was your best experience with conference-provided childcare?
Looking forward to seeing colleagues at @PLDI next week! I'll be giving the talk on Friday in the TOPLAS track on "Interactive Abstract Interpretation with Demanded Summarization" (part of @benno_stein 's PhD work and with @rakingleaves). dl.acm.org/doi/10.1145/36484…
Thank you, SPLASH/OOPSLA community for your submissions and careful, constructive reviewing!
This Post is from an account that no longer exists. Learn more
Come join @cuplv, the Programming Languages and Verification Group at the University of Colorado Boulder! PhD apps due Dec 15. @GowthamK @sriram0339 @astrivedi @zamani1362
Several PhD positions in CUPLV, the Programming Languages and Verification Group (plv.colorado.edu), and the CS Department at CU Boulder!
It was really nice to be in Portugal last week for #SPLASH2023, but it is also nice to return to a wintry Boulder!
1/2 At OOPSLA? Come hear @cuplv student @meiershawn speak on "Historia: Refuting Callback Reachability with Message-History Logics," 4pm, Room II. In an event-driven app, some bugs can only be fixed by changing what callbacks are enabled at different times.
Bor-Yuh Evan Chang retweeted
Btw, i was told by a few parents I talked to (many were women) that I should use my position of power to do something about @sigplan not offering childcare at conferences. So, here I am!
Bor-Yuh Evan Chang retweeted
For our next talk, Daniel Schoepe is presenting Lifting On-Demand Analysis to Higher-Order Languages
Bor-Yuh Evan Chang retweeted
📣Two CUPLV papers at OOPSLA this year!
1. @MeierShawn and co-authors Sergio Mover, @GowthamK, and @bechang demonstrate how to do scalable reachability analysis in presence of callbacks. The tool Historia has analyzed 2M lines of android app source code and found real bugs!
I’m honored to have been invited by the PC to share some work of @cuplv student @MeierShawn and connect it with past work of @b1ackd0g. “There is no ‘program’ analysis.”
I’m honored to have been invited by the PC to share some work of @cuplv student @MeierShawn and connect it with past work of @b1ackd0g. “There is no ‘program’ analysis.”
