Simran Virk
Software Engineer at Baton- Claim this Profile
Click to upgrade to our gold package
for the full feature experience.
-
English Native or bilingual proficiency
-
Hindi Full professional proficiency
Topline Score
Bio
Steven Troxler
I worked with Simran in the Static Analysis group within Meta's product security org. Simran primarily worked on Mariana Trench (https://mariana-tren.ch/), a static analyzer for Android Java code written in C++; she was one of the principle contributors to that project and has a deep knowledge of that domain. Our team also maintained the Pyre type checker and Pysa static analysis tool (pyre-check.org), and Simran contributed to this Ocaml codebase as well. In addition, Simran was part of an oncall rotation that answered Python typing questions across Meta; in spite of not working primarily on Pyre she regularly handled tough questions and shipped bugfixes and small improvements (including many that touched the Ocaml backend as well as the Python frontend of Pyre). I enjoyed working with Simran, and hope I get to again.
Steven Troxler
I worked with Simran in the Static Analysis group within Meta's product security org. Simran primarily worked on Mariana Trench (https://mariana-tren.ch/), a static analyzer for Android Java code written in C++; she was one of the principle contributors to that project and has a deep knowledge of that domain. Our team also maintained the Pyre type checker and Pysa static analysis tool (pyre-check.org), and Simran contributed to this Ocaml codebase as well. In addition, Simran was part of an oncall rotation that answered Python typing questions across Meta; in spite of not working primarily on Pyre she regularly handled tough questions and shipped bugfixes and small improvements (including many that touched the Ocaml backend as well as the Python frontend of Pyre). I enjoyed working with Simran, and hope I get to again.
Steven Troxler
I worked with Simran in the Static Analysis group within Meta's product security org. Simran primarily worked on Mariana Trench (https://mariana-tren.ch/), a static analyzer for Android Java code written in C++; she was one of the principle contributors to that project and has a deep knowledge of that domain. Our team also maintained the Pyre type checker and Pysa static analysis tool (pyre-check.org), and Simran contributed to this Ocaml codebase as well. In addition, Simran was part of an oncall rotation that answered Python typing questions across Meta; in spite of not working primarily on Pyre she regularly handled tough questions and shipped bugfixes and small improvements (including many that touched the Ocaml backend as well as the Python frontend of Pyre). I enjoyed working with Simran, and hope I get to again.
Steven Troxler
I worked with Simran in the Static Analysis group within Meta's product security org. Simran primarily worked on Mariana Trench (https://mariana-tren.ch/), a static analyzer for Android Java code written in C++; she was one of the principle contributors to that project and has a deep knowledge of that domain. Our team also maintained the Pyre type checker and Pysa static analysis tool (pyre-check.org), and Simran contributed to this Ocaml codebase as well. In addition, Simran was part of an oncall rotation that answered Python typing questions across Meta; in spite of not working primarily on Pyre she regularly handled tough questions and shipped bugfixes and small improvements (including many that touched the Ocaml backend as well as the Python frontend of Pyre). I enjoyed working with Simran, and hope I get to again.
Experience
-
Baton
-
United States
-
Transportation, Logistics, Supply Chain and Storage
-
1 - 100 Employee
-
Software Engineer
-
Jun 2023 - Present
-
-
-
Meta
-
United States
-
Software Development
-
700 & Above Employee
-
Software Engineer
-
Aug 2020 - Nov 2022
Static Analysis for Security Worked on Mariana Trench (https://mariana-tren.ch/), an open source tool to detect security issues in Android and Java codebases. Static Analysis for Security Worked on Mariana Trench (https://mariana-tren.ch/), an open source tool to detect security issues in Android and Java codebases.
-
-
-
Carnegie Mellon University
-
United States
-
Higher Education
-
700 & Above Employee
-
Research Intern, Robotics Institute
-
Jun 2019 - Aug 2019
I worked with Dr Sycara in the Advanced Agent Robotics Technology Lab on multi-robot path planning algorithms and controls in dynamic and uncertain environments, specifically in the context of non-combatant evacuation. I improved the re-planning time of an existing risk aware path planning algorithm (by a factor of about 2-3 on the cases studied). I worked with Dr Sycara in the Advanced Agent Robotics Technology Lab on multi-robot path planning algorithms and controls in dynamic and uncertain environments, specifically in the context of non-combatant evacuation. I improved the re-planning time of an existing risk aware path planning algorithm (by a factor of about 2-3 on the cases studied).
-
-
-
Rice University
-
United States
-
Higher Education
-
700 & Above Employee
-
Undergraduate Student Researcher (Twitter Bots)
-
Aug 2018 - Dec 2018
I worked on searching for and analyzing areas of twitter bots exerting social influence in election related discussions (with a focus on the midterm elections in 2018). We collected tweets based on relevant hashtags and then marked the bots with a bot detector. I worked (using python) on visualizing the tweet-retweet graph of the collected tweets, analyzing the influence of bots based on their positions in the graph and coming up with ways to improve our predictions of candidate influence. I worked on searching for and analyzing areas of twitter bots exerting social influence in election related discussions (with a focus on the midterm elections in 2018). We collected tweets based on relevant hashtags and then marked the bots with a bot detector. I worked (using python) on visualizing the tweet-retweet graph of the collected tweets, analyzing the influence of bots based on their positions in the graph and coming up with ways to improve our predictions of candidate influence.
-
-
-
JPMorgan Chase & Co.
-
United States
-
Financial Services
-
700 & Above Employee
-
Software Engineering Intern
-
Jun 2018 - Aug 2018
I worked with my team to build predictive and diagnostic financial models based on available data. To this end, we also built an automated data querying library to speed up our workflow. I worked on input data processing and the testing as well as tuning of several machine learning paradigms to find one that worked best. I worked with my team to build predictive and diagnostic financial models based on available data. To this end, we also built an automated data querying library to speed up our workflow. I worked on input data processing and the testing as well as tuning of several machine learning paradigms to find one that worked best.
-
-
-
Rice University
-
United States
-
Higher Education
-
700 & Above Employee
-
Undergraduate Student Researcher (Flood Prediction)
-
Aug 2017 - Feb 2018
I helped develop a machine learning tool aimed at predicting floods. I gathered relevant geographical data using ArcGIS software and converted it into forms that were able to be fed to the models. I helped develop a machine learning tool aimed at predicting floods. I gathered relevant geographical data using ArcGIS software and converted it into forms that were able to be fed to the models.
-
-
Education
-
Rice University
Bachelor of Science - BS, Computer Science