formal verification, languages, and OCaml enthusiast @TUDelft, former @NUSComputing
Joined March 2014
- Tweets62
- Following177
- Followers128
- Likes279
Andreea Costea retweeted
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/posit…
Andreea Costea retweeted
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?
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)
Andreea Costea retweeted
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)
Andreea Costea retweeted
📢 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
Andreea Costea retweeted
me: I need an integer
rust: actually, what you really need is a
& mut Box<Arc<RefCell<u64>>>
Andreea Costea retweeted
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 🧵
Andreea Costea retweeted
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/is…
Andreea Costea retweeted
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…
Andreea Costea retweeted
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/sec…
Andreea Costea retweeted
🥳🎉🍾IT IS OUT! 🍾🎉🥳discuss.ocaml.org/t/ocaml-5-…
Andreea Costea retweeted
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
Andreea Costea retweeted
Early but comprehensive work on supporting OCaml effect handlers in the js_of_ocaml compiler: github.com/ocsigen/js_of_oca…
"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
Andreea Costea retweeted
#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)
