Research and education for crafting efficient, reliable and trustworthy software. Located in IIT Madras, Chennai.
Joined March 2026
- Tweets 20
- Following 16
- Followers 104
- Likes 2
Photos and videos
Apr 10
We have updated our website recently. Check us out at fplaunchpad.org! Here is a quick walkthrough:
1
1
384
Apr 10
11. Keep up to date: new talks, open positions, and events. Follow us here, find us on LinkedIn at
linkedin.com/company/fp-laun…, or join our newsletter by emailing contact@fplaunchpad.org with the subject "Subscribe to Newsletter".
fplaunchpad.org/news/
1
333
Apr 10
12. Have a question or want to get in touch? Find us in the Subramonian Shankar Block (SSB) on the IIT Madras campus. Reach us at contact@fplaunchpad.org: whether it's about research, partnerships, or just to say hello.
fplaunchpad.org/contact/
184
fp_launchpad retweeted
Continuing the prelude to the @fp_launchpad kickoff, RS Nikhil will give a talk on property-based testing of pipelined CPU hardware.
fplaunchpad.org/2026/04/09/r…
The talk is open to all.
2
6
66
6,691
fp_launchpad retweeted
Nik Swamy @lambdaNik is visiting @fp_launchpad on Tuesday, April 7th and is giving a talk on "Agentic Proof-oriented Programming".
fplaunchpad.org/2026/04/03/n…
3
12
62
8,654
fp_launchpad retweeted
Nik argues that it is a great time to be a PL researcher.
Nik Swamy @lambdaNik is visiting @fp_launchpad on Tuesday, April 7th and is giving a talk on "Agentic Proof-oriented Programming".
fplaunchpad.org/2026/04/03/n…
1
7
93
16,012
fp_launchpad retweeted
Mar 11
If you also want to have fun hacking, join FP Launchpad: fplaunchpad.org/2026/03/06/a…
1
6
431
fp_launchpad retweeted
Mar 11
Shout-out to Sai, who hacked across the stack -- writing OCaml for MirageOS unikernels, hacking on the OCaml and Clang compilers, hacking linkers, hacking firmware to get bare-metal setup, and hacking Bluespec to extend the Shakti RISC-V processor with security extensions!
Mar 11
1/ Our paper on end-to-end compartmentalisation for mixed safe/unsafe language systems got accepted at AsiaCCS 2026. FIDES enforces function-level isolation across OCaml and C with just 2 custom RISC-V instructions. No MMU or OS required.
1
5
41
1,877
fp_launchpad retweeted
Applications are open for the FP Launchpad Post-Baccalaureate Fellowship at IIT Madras, a fully funded 2-year fellowship in systems and functional programming.
Build real systems, publish research, contribute to open source.
fplaunchpad.org/2026/03/06/a…
5
25
76
9,983