About
Please visit https://sorav.compiler.ai to know more about me
Activity
-
Thanks to Microsoft Research for recognising Abhishek Rose's work on compiler verification (see https://lnkd.in/gAxN5ZjD) through this PhD award.
Thanks to Microsoft Research for recognising Abhishek Rose's work on compiler verification (see https://lnkd.in/gAxN5ZjD) through this PhD award.
Shared by Sorav Bansal
-
I am thrilled to introduce the Microsoft Research India PhD Awardees for 2024: https://lnkd.in/gBajaKFB. These awardees, who were selected based on a…
I am thrilled to introduce the Microsoft Research India PhD Awardees for 2024: https://lnkd.in/gBajaKFB. These awardees, who were selected based on a…
Liked by Sorav Bansal
Experience
Education
More activity by Sorav
-
I am excited to announce that I am taking on a new leadership role in Microsoft Research focused on improving the productivity of large software…
I am excited to announce that I am taking on a new leadership role in Microsoft Research focused on improving the productivity of large software…
Liked by Sorav Bansal
-
Congratulations to CSE Research Scholar Supriya Bhide for receiving the TCS Research Scholarship 2024! CSE Spotlight: https://lnkd.in/dDyryXQF…
Congratulations to CSE Research Scholar Supriya Bhide for receiving the TCS Research Scholarship 2024! CSE Spotlight: https://lnkd.in/dDyryXQF…
Liked by Sorav Bansal
-
Currently attending the Streamline2 Success Meet-up by Pavan Verma (Founder of #orgzit) at Holiday Inn, Aerocity (Delhi). Learnt invaluable…
Currently attending the Streamline2 Success Meet-up by Pavan Verma (Founder of #orgzit) at Holiday Inn, Aerocity (Delhi). Learnt invaluable…
Liked by Sorav Bansal
-
Had a fascinating session with Masters and Phd students from Computer Science, AI, and Signal Processing at Indian Institute of Technology…
Had a fascinating session with Masters and Phd students from Computer Science, AI, and Signal Processing at Indian Institute of Technology…
Liked by Sorav Bansal
-
Our SMT solver Z3-alpha just won the SMT-COMP 2024 in several divisions and logics (e.g., QF_DATATYPES(UNSAT) and QF_AUFBV(UNSAT),...). The solver…
Our SMT solver Z3-alpha just won the SMT-COMP 2024 in several divisions and logics (e.g., QF_DATATYPES(UNSAT) and QF_AUFBV(UNSAT),...). The solver…
Liked by Sorav Bansal
-
My talk at PLDI 2024 on our new Linear programming solver that generates floating point solutions for low-dimensional linear programs with billions…
My talk at PLDI 2024 on our new Linear programming solver that generates floating point solutions for low-dimensional linear programs with billions…
Liked by Sorav Bansal
-
Recently, I met with Michael Edwards at the SPE GCS: Data Science Convention to discuss #Petrophysics and Data Science in the energy industry. While…
Recently, I met with Michael Edwards at the SPE GCS: Data Science Convention to discuss #Petrophysics and Data Science in the energy industry. While…
Liked by Sorav Bansal
-
Auto-parallelizing compilers that perform are finally here (for the AI computation domain), and compiled code from them is nearly 2.5 times as fast…
Auto-parallelizing compilers that perform are finally here (for the AI computation domain), and compiled code from them is nearly 2.5 times as fast…
Liked by Sorav Bansal
-
I was thrilled to speak at IIIT Delhi's Career Talk and was impressed by the talented and passionate students I met. These young engineers are…
I was thrilled to speak at IIIT Delhi's Career Talk and was impressed by the talented and passionate students I met. These young engineers are…
Liked by Sorav Bansal
-
Today we’re releasing Meta LLM Compiler, a family of models built on Meta Code Llama with additional code optimization and compiler capabilities. The…
Today we’re releasing Meta LLM Compiler, a family of models built on Meta Code Llama with additional code optimization and compiler capabilities. The…
Liked by Sorav Bansal
-
#TechConversations at Forbes India | Sriram Rajamani of Microsoft Research India Lab https://lnkd.in/gZaPEYrT
#TechConversations at Forbes India | Sriram Rajamani of Microsoft Research India Lab https://lnkd.in/gZaPEYrT
Liked by Sorav Bansal
Other similar profiles
Explore collaborative articles
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
Explore MoreOthers named Sorav Bansal in India
-
Sorav Bansal
Aviation at Air india
-
Sorav Bansal
--
-
Sorav Bansal
--
-
Sorav Bansal
Attended National Open School board NIOS Admission Form Class 10th 12th 2019-20Delhi
6 others named Sorav Bansal in India are on LinkedIn
See others named Sorav Bansal