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?
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…
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)
Andreea Costea retweeted
Be part of the team making #SPLASH2022 happen 🙌
🗓️ Don't miss today's deadline for early student volunteer application.
📢 Student Volunteers Call
SPLASH shapes up nicely thanks to the tireless effort of @AlexP_DownUnder and of its 380 committee members!
More help needed! Join us in organising #SPLASH2022, or support your mentees to be part of the SV Team 🙌
Details: 2022.splashcon.org/track/spl…
Andreea Costea retweeted
Don't miss the new post from @Gopiandcoshow on @racketlang's Rhombus!
gopiandcode.uk/logs/log-rack…
Andreea Costea retweeted
Gaming is already great at building community, connection, and collaboration. Read my latest in @FortuneMagazine on why gaming could be a game changer for improving mental health: buff.ly/3PeLIrY
Andreea Costea retweeted
Look at it, just look at it 🥹
We have a new logo! Thanks to @Gopiandcoshow for the amazing work! Kudos to @ilyasergey and @AbhikRoychoudh1 for the initial few prototypes that eventually evolved into the cool-and-cute face of @nus_plse 🦁
Andreea Costea retweeted
Rust is now a first-class server-side language at Meta. Supporting a programming language at Meta is a long and careful process, and including Rust is a testament to the qualities of the language. I am proud of our team that made this possible.
engineering.fb.com/2022/07/2…
