Bor-Yuh Evan Chang

Associate Professor of Computer Science at CU-Boulder (@cuplv): program analysis, programming languages, secure and reliable software, verification.

[PLDI @PLDI]

The Proceedings of the ACM on Programming Languages (PACMPL) issue for #PLDI2026 is out!
🔗https://t.co/CCqaSJ4QeE

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!

[PLDI @PLDI]

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!
🔗https://t.co/S5LH8fVHdG

[Bor-Yuh Evan Chang @bechang]

Thank you @splashcon community for an amazing SPLASH 2024!

[SPLASH Conference @splashcon]

🚨 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!
https://t.co/FW9yntowjb

[SPLASH Conference @splashcon]

We're excited to have @neharungta as a keynote speaker and can't wait to see you in Pasadena!

More keynote details here: https://t.co/FEzfLziSp7

[Ilya Sergey @ilyasergey]

Fellow academics who travel to conferences with their children: what was your best experience with conference-provided childcare?

[Bor-Yuh Evan Chang @bechang]

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). https://t.co/PjgfJUTX9G

[Bor-Yuh Evan Chang @bechang]

@rgiacobazzi Congratulations!

[Bor-Yuh Evan Chang @bechang]

@santoshgnag Congratulations!

[Bor-Yuh Evan Chang @bechang]

@amoellercsaudk Congratulations!

[Bor-Yuh Evan Chang @bechang]

Thank you, SPLASH/OOPSLA community for your submissions and careful, constructive reviewing!

[Bor-Yuh Evan Chang @bechang]

Come join @cuplv, the Programming Languages and Verification Group at the University of Colorado Boulder! PhD apps due Dec 15. @GowthamK @sriram0339 @astrivedi @zamani1362

[Colorado PLV @cuplv]

Several PhD positions in CUPLV, the Programming Languages and Verification Group (https://t.co/NKz2TlE4AN), and the CS Department at CU Boulder!

[Colorado PLV @cuplv]

CUPLV at @splashcon Portugal 😎

[Bor-Yuh Evan Chang @bechang]

It was really nice to be in Portugal last week for #SPLASH2023, but it is also nice to return to a wintry Boulder!

[Bor-Yuh Evan Chang @bechang]

@cuplv student @meiershawn presenting this work at #splash 2023 on Thursday.

[Bor-Yuh Evan Chang @bechang]

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 @bechang]

Thu Oct 26, 4pm, Room II https://t.co/3OYV1SwKv1

[Loris D'Antoni @lorisdanto]

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!

[Static Analysis Symposium @symposiumSAS]

For our next talk, Daniel Schoepe is presenting Lifting On-Demand Analysis to Higher-Order Languages