Nikhil Swamy retweeted
🚨 Thrilled to announce our recently accepted paper at @ICSEconf, publishing benchmarks to push the boundaries of AI-driven Proof Oriented Programming.
🔗 huggingface.co/datasets/micr…
🔗 huggingface.co/datasets/micr…
For more details: fstar-lang.org/popai
#PoPAI #ICSE2025
Nikhil Swamy retweeted
This edition of @MSFTResearch Research Focus features our research on synthesizing high quality program specifications from informal intent using LLMs, to appear at @FSEconf . Work done as part of microsoft.com/en-us/research… Project. @cellocorgi @fakhourysm @saikatch107 @RiSE_MSR
In this edition: Can LLMs transform natural language into formal method postconditions; Semantically aligned question + code generation for automated insight generation; Explaining CLIP performance disparities on blind/low vision data; plus recent news. msft.it/6013YuMLU
Nikhil Swamy retweeted
Folks, give this new tool from RiSE a spin: github.com/microsoft/aici. Prompts are WASM programs and gives you a flexible/programmable way to control the output of an LLM. Semantics matter :)
Nikhil Swamy retweeted
The new @icfp_conference 2023 mix tape just dropped: youtube.com/playlist?list=PL…
Nikhil Swamy retweeted
Next F* PoP Up Seminar is on Nov 7. Sheera Shamsu will talk about her OCaml-style garbage collector proven correct in F* and extracted to C.
Learn about both F* and OCaml GC internals in the same talk! Should be awesome : ) #fstarlang #ocaml
fstar-lang.org/popup/seminar…
Nikhil Swamy retweeted
Early stage researcher interested in the future of end-user programming with data? MSR Cambridge is a great gig. Excel now has Python formulas. You can hack on Excel Labs, built here, to research new LLM-powered user interfaces. Consider a postdoc role: aka.ms/CalcIntelPostdoc
Nikhil Swamy retweeted
Microsoft Research India is hiring for full-time positions in Bengaluru! Please reach out if you are working in #AI4Code.
microsoft.com/en-us/research…
Nikhil Swamy retweeted
A fantastic keynote talk by Andreas Rossberg on #Wasm (WebAssembly). I fantasize about making a processor in hardware for directly executing Wasm and formally verifying properties of the processor with respect to the Wasm formal specification. I don't care if it would have no practical application (security? firmware?) but I do think it would be cool. RTL Implemented in Haskell of course using Lava.
Nikhil Swamy retweeted
The proceedings of ICFP 2023 - PACM PL, Vol. 7, Issue ICFP has now been published in the ACM Digital Library: dl.acm.org/toc/pacmpl/2023/7…
Nikhil Swamy retweeted
A hands-on tutorial on porting Lwt-based applications to OCaml 5 and Eio at @icfp_conference in Seattle this September. Not to be missed!
icfp23.sigplan.org/details/i…
Nikhil Swamy retweeted
ICFP'23 paper list is up: icfp23.sigplan.org/track/icf… Many interesting sounding titles!
Nikhil Swamy retweeted
Not sure if Twitter is still a thing, but hey, I blogged about verifying MLS, the new secure group messaging standard jonathan.protzenko.fr/2023/0…
Nikhil Swamy retweeted
Sign up to be a volunteer and help us make ICFP 2023 a unique experience for all attendants!
Application closes June 30th: icfp23.sigplan.org/track/icf…
Nikhil Swamy retweeted
We are happy to announce the release of DeviceScript, TypeScript for programming tiny IoT devices. hackster.io/506861/devicescr…
Nikhil Swamy retweeted
Last call for papers, demos, and performances for #WorkshopFARM2023 - deadline is June 1! #WorkshopFARM2023 will once again be co-located with ICFP, and happen on Sep 8 in Seattle! functional-art.org/2023/cfp.…
Nikhil Swamy retweeted
Don't forget to submit to FUNARCH 2023 - the first ACM SIGPLAN Workshop on Functional Software Architecture! The workshop is on Sep 8, co-located with ICFP 2023 in Seattle, the deadline is June 1. functional-architecture.org/…
Nikhil Swamy retweeted
TyDe 2023 is happening in September as a co-located event of @icfp_conference. Submit your well-typed paper by June 1!
icfp23.sigplan.org/home/tyde…
Nikhil Swamy retweeted
[CFP] Just over a month to the HOPE'23 deadline! If you have something exciting in the works related to higher-order programming with effects then please prepare an abstract and submit it as a talk proposal!
HOPE'23 is colocated with @icfp_conference
icfp23.sigplan.org/home/hope…
Nikhil Swamy retweeted
ICFP Programming Contest 2023 will be held between 7th to 9th of July, 2023. Contest chair is Aymeric Fromherz, and I will be acting as the co-chair. Follow @icfpcontest2023 and icfpcontest2023.github.io for announcements.
Nikhil Swamy retweeted
The first workshop on "Functional Software Architecture - FP in the Large" will be co-located with ICFP in Seattle. Please RT, and submit your best papers, experience reports, and pearls on large-scale functional programming! Deadline 1st June 2023. tinyurl.com/FUNARCH-23
