fp_launchpad

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

[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 [email protected]: whether it's about research, partnerships, or just to say hello.
https://t.co/53wLBKOeRU

[fp_launchpad @fp_launchpad]

We have updated our website recently. Check us out at https://t.co/RyHxNUe4CO! Here is a quick walkthrough:

[fp_launchpad @fp_launchpad]

11. Keep up to date: new talks, open positions, and events. Follow us here, find us on LinkedIn at
https://t.co/kT8Rx9R3qM, or join our newsletter by emailing [email protected] with the subject "Subscribe to Newsletter".

https://t.co/i9pljuhJMc

[KC Sivaramakrishnan @kc_srk]

Continuing the prelude to the @fp_launchpad kickoff, RS Nikhil will give a talk on property-based testing of pipelined CPU hardware.

https://t.co/e5xBjZEzj9

The talk is open to all.

[KC Sivaramakrishnan @kc_srk]

Nik Swamy @lambdaNik is visiting @fp_launchpad on Tuesday, April 7th and is giving a talk on "Agentic Proof-oriented Programming".

https://t.co/9D9WI3JdYn

[KC Sivaramakrishnan @kc_srk]

Nik argues that it is a great time to be a PL researcher.

[KC Sivaramakrishnan @kc_srk]

The deck https://t.co/zTwznUXQpV

[KC Sivaramakrishnan @kc_srk]

If you also want to have fun hacking, join FP Launchpad: https://t.co/oZOknz3xQC

[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]

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.

https://t.co/oZOknz3xQC