fp_launchpad

20 posts

fp_launchpad banner
fp_launchpad

fp_launchpad

@fp_launchpad

Research and education for crafting efficient, reliable and trustworthy software. Located in IIT Madras, Chennai.

Chennai, India Katılım Mart 2026
16 Takip Edilen97 Takipçiler
fp_launchpad
fp_launchpad@fp_launchpad·
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/
English
0
0
0
141
fp_launchpad
fp_launchpad@fp_launchpad·
We have updated our website recently. Check us out at fplaunchpad.org! Here is a quick walkthrough:
English
1
0
1
324
fp_launchpad retweetledi
KC Sivaramakrishnan
KC Sivaramakrishnan@kc_srk·
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!
KC Sivaramakrishnan@kc_srk

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.

English
1
5
41
1.9K
fp_launchpad retweetledi
KC Sivaramakrishnan
KC Sivaramakrishnan@kc_srk·
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/app…
English
5
25
73
8.5K

Keşfet

@lambdaNik @elonmusk @BarackObama @taylorswift13 @cristiano @BillGates @NASA @nikifrancismediavine