Associate prof @ucsd_cse. Building tools for program verification and synthesis.
San Diego, CA
Joined January 2015
- Tweets1.2K
- Following286
- Followers3.5K
- Likes3.4K
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! forms.gle/niXQHv7F2YU96Eg2A
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.
Осталось всего три дня, чтобы поставить подпись в поддержку Бориса Надеждина, *единственного анти-военного кандидата* на предстоящих президенских выборах. Вот здесь nadezhdin2024.ru/addresses можно посмотреть, в каких регионах пока не собрали необходимые 2500 подписей.
Nadia Polikarpova retweeted
PhD students interested in an exciting summer #internship opportunity at @MSFTResearch working on scripting #ArtificialIntelligence with an incredible team please apply to this position: linkedin.com/posts/ben-zorn-…
#ProgrammingLanguages #LargeLanguageModels #MachineLearning
Nadia Polikarpova retweeted
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: linkedin.com/posts/ben-zorn-…
#Spreadsheets
Nadia Polikarpova retweeted
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: docs.google.com/forms/d/e/1F…
Nadia Polikarpova retweeted
Heading to Boston for @poplconf ? We're excited to see you there! We are especially excited for our first in-person event: SIGPLAN-M breakfast! If you're an active mentor or mentee and you're coming to POPL, please RSVP to join us for breakfast on Friday, January 20th 😄
Nadia Polikarpova retweeted
I'm hiring PhD students and postdocs in Vienna! If you are interested in program analysis and bug finding, please apply!
PhD: jobs.tuwien.ac.at/Job/198529
Postdoc: jobs.tuwien.ac.at/Job/198528
Deadline: 26.01.23
Nadia Polikarpova retweeted
Looking for Ph.D. students at the intersection of Formal Methods and Artificial Intelligence. Research includes cutting-edge problems on Formal Methods in Reinforcement Learning and classical problems in verification and synthesis. Apply to @gatech_scs by December 15 and DM me!
Nadia Polikarpova retweeted
A GHC plugin that turns types into Haskell code?
Automatically generating property-based tests?
Both easy-peasy, thanks to ECTAs, a new kind of constraint solver we invented.
Come hear me and @tritlo talk about our recent work with @polikarn and @ZhengGuo069.
In our new episode @jimmykoppel and @tritlo chat with @wouterswierstra and @nikivazou, enjoy!
haskell.foundation/podcast/1…
Nadia Polikarpova retweeted
We are looking for more volunteers! We'd love to have you on board to help us run SIGPLAN-M. Please reach out to @TaliaRinger and @polikarn by email if interested!
I realized that the "WholeFoods 365" crackers make a much better hiking lunch than other crackers I found at other stores, because they are sturdier and don't break inside my backpack...
and now I finally know why this store is called Whole Foods!
Haskell'22 talk videos are now available on YouTube! youtube.com/playlist?list=PL…
I would recommend David Christiansen's inspiring keynote to anyone doing research in and around Haskell. It's full of cool ideas for future research! youtube.com/watch?v=2PGUt_dc…