Thank you @splashcon community for an amazing SPLASH 2024!
English
Bor-Yuh Evan Chang
194 posts
Bor-Yuh Evan Chang
@bechang
Associate Professor of Computer Science at CU-Boulder (@cuplv): program analysis, programming languages, secure and reliable software, verification.
Boulder, Colorado, USA Katılım Mayıs 2007
388 Takip Edilen602 Takipçiler
Bor-Yuh Evan Chang retweetledi
🚨 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/Regi…
English
Bor-Yuh Evan Chang retweetledi
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/splash-2…
Neha@neharungta
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/splash-2…
English
Bor-Yuh Evan Chang retweetledi
Fellow academics who travel to conferences with their children: what was your best experience with conference-provided childcare?
English
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/36…
English
So happy and honored to have been included among the ACM Distinguished Members!
Association for Computing Machinery@TheOfficialACM
🌟Thrilled to introduce the exceptional individuals who have been inducted as ACM Distinguished Members for 2023. Their expertise & commitment to excellence make them invaluable contributors to our shared journey. bit.ly/2PH26qf Join us in celebrating these inductees! 👏
Islington, London 🇬🇧 English
Honored to be selected as a 2023 ACM Distinguished member! Thanks to all my mentors, collaborators, students at Rutgers CS and elsewhere
Association for Computing Machinery@TheOfficialACM
🌟Thrilled to introduce the exceptional individuals who have been inducted as ACM Distinguished Members for 2023. Their expertise & commitment to excellence make them invaluable contributors to our shared journey. bit.ly/2PH26qf Join us in celebrating these inductees! 👏
English
I am honored to be among the new ACM Distinguished members, "for outstanding contributions in static and dynamic program analysis" 😀 acm.org/media-center/2…
English
Thank you, SPLASH/OOPSLA community for your submissions and careful, constructive reviewing!
English
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 (plv.colorado.edu), and the CS Department at CU Boulder!
English
Bor-Yuh Evan Chang retweetledi
It was really nice to be in Portugal last week for #SPLASH2023, but it is also nice to return to a wintry Boulder!
English
English
Thu Oct 26, 4pm, Room II 2023.splashcon.org/details/splash…
English
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.
English
Bor-Yuh Evan Chang retweetledi
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!
English
Bor-Yuh Evan Chang retweetledi
For our next talk, Daniel Schoepe is presenting Lifting On-Demand Analysis to Higher-Order Languages
English
Bor-Yuh Evan Chang retweetledi
📣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!
English
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.”
SPLASH Conference@splashcon
Bor-Yuh Evan Chang (@bechang) - one of the opening keynote speakers @symposiumSAS #SPLASH2023
English