Andreea Costea

I am hiring PhD students for my group at RUB. If you have strong implementation skills and are eager to work on problems in automated software testing and program repair, I would be happy to chat at @issta_conf in Vienna or simply email me. RT appreciated! yannicnoller.github.io/positions/

Excited about hacking on OCaml? We’re planning to run a 5 day long OCaml hack retreat in Pondicherry along the lines of retreat.mirage.io. We’ll have limited seats (< 15). Would you be interested in joining such an event?

Team @NUSComputing at @splashcon!

Kiran @Gopiandcoshow sharing his enthusiasm on doing PL research with the @nushackers audience 🎉 (slides made with @racketlang among the many perks of being a PL aficionado)

I am happy to announce that our work "Adventure of a Lifetime: Extract Method Refactoring for Rust" (co-authored with @SewenThy, @andre_costea and @Gopiandcoshow) will appear at OOPSLA'23! This work was a welcome opportunity to put on my @jetbrains IDE developed hat. (1/n)

What an awesome souvenir from #ICFP2023 🫶 Thank you @reifyreflect

📢 Calling all student researchers! Join #SPLASH2023 ACM Student Research Competition. Showcase your CS research, get expert feedback, sharpen your research skills. Prizes up to $500 & a chance at the ACM SRC Grand Finals 🏆 Deadline: July 14th Details: tinyurl.com/3enhjtaw

Blackbird in beta version github.blog/2023-02-06-the…

Apple is the only Big Tech that hasn’t done any layoffs. The secret is very simple - they were hiring responsibly. 5 fascinating charts to explain this 🧵

Despite the cold weather, we’re in the middle of a red hot AI summer. Read my thoughts — and a roundup of this year’s biggest AI news — in The Batch! deeplearning.ai/the-batch/issu…

Conquering your fears doesn’t mean getting rid of them once and for all. It means deciding to face them as often as you need to so nothing gets in the way of living the life you want. Learn more in #tipoftheweek by @sethgillihan from @TheCharacterLab. characterlab.org/tips-of-the-we…

This article makes a point that a lot of people don't understand. Those who still advocate widespread routine masking, and those who reject that, are talking past each other. The debate is not about science but about different values/philosophies of life. medpagetoday.com/opinion/second…

🥳🎉🍾IT IS OUT! 🍾🎉🥳discuss.ocaml.org/t/ocaml-5-0-0-…

Twelve members of @nus_plse and @yalenus are attending @splashcon in Auckland this week. Feel free to catch us and say hi! @GeorgePirlea @Gopiandcoshow @RiggerManuel @andre_costea @fariusdoo

Early but comprehensive work on supporting OCaml effect handlers in the js_of_ocaml compiler: github.com/ocsigen/js_of_…

"Rust use is growing in the Android platform, but that’s not the end of the story. To meet the goals of improving security, stability, and quality Android-wide, we need to be able to use Rust anywhere in the codebase that native code is required." #brightfuture #opportunity

#esecfse22 Happpy to present our work “FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers” in @FSEconf, and very fortunately to have nice questioner @c_cadar and session chair @andre_costea (both pic along with my supervisor @Lingxiao)

@AlexP_DownUnder Agreed :)