Nadia Polikarpova

Associate prof @ucsd_cse. Building tools for program verification and synthesis.

[Nadia Polikarpova @polikarn]

@bimalrajgyawali @KonsKallas Really excited to welcome you to UCSD!

[Nadia Polikarpova @polikarn]

We are recruiting participants for a user study on AI coding assistants . The study will be remote and take ~60 minutes. Participants will be compensated with a $30 amazon gift card. Please fill out the interest form if you'd like to participate! https://t.co/0DYLYL5UI3

[Nadia Polikarpova @polikarn]

@LambdaLinguist @ucsd_cse true! there's nothing from 2022, but that wasn't a music video, so it doesn't count :) thanks a ton, love the selection!

[Nadia Polikarpova @polikarn]

@LambdaLinguist @ucsd_cse BTW, you gotta send me that "thank you" slide from your defense talk, I'll replace my whole homepage with it😊

[Nadia Polikarpova @polikarn]

@LambdaLinguist @ucsd_cse Aww, thank you! I think I was mainly just distracting you from doing the user-centric work you always wanted to do and were so good at!😆

[Nadia Polikarpova @polikarn]

I voted

[Nadia Polikarpova @polikarn]

Give Alexey Navalny's body to his mother

[Yulia Navalnaya @yulia_navalnaya]

Обращение мамы Алексея

[Nadia Polikarpova @polikarn]

The year was 2024. Microsoft Excel, equipped with a fancy AI assistant for generating formulas from natural language, still could not open two workbooks with the same name at the same time.

[Nadia Polikarpova @polikarn]

Там же адреса штабов (они есть и во многих странах за пределами России). В первый раз в истории есть шанс успешно провести честный сбор подписей на федеральном уровне, это само по себе будет очень круто, вне зависимости от того, что на это скажет ЦИК. Давайте поднажмем, друзья!

[Nadia Polikarpova @polikarn]

Осталось всего три дня, чтобы поставить подпись в поддержку Бориса Надеждина, *единственного анти-военного кандидата* на предстоящих президенских выборах. Вот здесь https://t.co/Y3E2Oid1EE можно посмотреть, в каких регионах пока не собрали необходимые 2500 подписей.

[Nadia Polikarpova @polikarn]

@codydroux well, almost :)

[Nadia Polikarpova @polikarn]

Went for a little run this morning

[Nadia Polikarpova @polikarn]

And here's my favorite part of the race 😊

[Nadia Polikarpova @polikarn]

@lorisdanto @ucsd_cse Finally I can tell the whole world how psyched we are about this!!!! Looking forward to building the program synthesis powerhouse that this department is meant to be😃Welcome Loris!!!

[Nadia Polikarpova @polikarn]

@lorisdanto srsly dude, you should move here

[Nadia Polikarpova @polikarn]

@lorisdanto meanwhile in San Diego: just got the first batch of cherry tomatoes from my rooftop garden 😃

[Ben Zorn (he/him) https://aka.ms/zorn @benzorn]

PhD students interested in an exciting summer #internship opportunity at @MSFTResearch working on scripting #ArtificialIntelligence with an incredible team please apply to this position: https://t.co/rA6W0lHj7M
#ProgrammingLanguages #LargeLanguageModels #MachineLearning

[Ben Zorn (he/him) https://aka.ms/zorn @benzorn]

PhD students interested in an exciting summer #internship opportunity at @MSFTResearch working on task automation for data-centric tasks using #ArtificialIntelligence with an incredible team please apply to this position: https://t.co/4IyPi5OFxz
#Spreadsheets

[Nadia Polikarpova @polikarn]

@georgemporter @UCSDJacobs @skateprofessor @niemasd @adalbertgerald thanks! proud to be in this excellent company :)

[SIGPLAN-M @SigplanM]

We are always looking for new mentors to help guide aspiring and current programming languages researchers. Please sign up if you'd like to help: https://t.co/ip4h09HoWY