LinkedIn Archive

I am pleased to share my work, "GlueTest: Testing Code Translation via Language Interoperability," which recently appeared in the proceedings of the International Conference on Software Maintenance and Evolution (ICSME): ieeexplore.ieee.org/document/10794998. Against the backdrop of increasing interest in using LLMs for automated code translation between programming languages, our work proposes a technique based on language interoperability for reliably validating translated code using original, untranslated tests. Our approach additionally provides continuous maintainability and testability during the translation process and allows the use of tests from clients of the libraries being translated to further validate the translated code. I am deeply grateful to my collaborators, particularly Salman, and our mentors, Prof. Darko Marinov (UIUC) and Prof. Saikat Dutta (Cornell). Our code is publicly available: github.com/seal-research/gluetest.

I would love to hear any suggestions or discuss this in more detail. I will shortly write another post to share our follow-up on this approach where we integrate GlueTest with an automated code-translation pipeline.

Thanks to the Kotak IISc AI-ML Centre for supporting student activities like the iGEM competition. This experience as IISc's inaugural software team was enriching for several undergraduate students from different disciplines.

None of this would have been possible without the support of our mentor, Dr. Debnath Pal and the Associate Dean of the Undergraduate Program, Dr. Srikanth Iyer.

I had the opportunity to present a poster on 'Adapting Techniques from Software Testing to Benchmark and Utilize Large Language Models for Code' at the 17th Innovations in Software Engineering Conference (ISEC 2024). My poster presented two different lines of work that I have pursued with Professor Viraj Kumar — one being GuardRails (mrigank.in/GuardRails), our open-sourced tool for automatically generating suggestions for clarifying ambiguous purpose statements (previously presented at COMPUTE'23); and the other being PropertyEval (mrigank.in/PropertyEval), our benchmark for LLM code generation that uses property-based testing for synthesizing thorough test cases (ongoing work). As always, I look forward to both contributions and feedback. Note that all of our work is open-sourced!

I would once again thank the Kotak IISc AI-ML Centre for supporting our experiments involving OpenAI's APIs, particularly for the automation of test generation in PropertyEval.

This week, I had the privilege of presenting my work with Professor Viraj Kumar at the 6th Annual COMPUTE Conference by ACM India at the University of Hyderabad. Our tool, GuardRails uses a novel heuristic to utilize LLMs for automatically generating suggestions for clarifying ambiguous purpose statements. GuardRails is currently available as a VSCode Extension (marketplace.visualstudio.com/items?itemName=MrigankPawagi.guardrails) and works alongside GitHub Copilot. All of our code is open-sourced and I look forward to both contributions and feedback: github.com/mrigankpawagi/GuardRails

We have also released our dataset of problems with known ambiguities to encourage further research in this direction. We have shown that on our dataset, GuardRails performs better than Copilot Chat at finding inputs from ambiguous input classes.

I thank not only COMPUTE, for providing a travel scholarship, but also the Kotak IISc AI-ML Centre for supporting our experiments with LLMs and encouraging further research in the area.

I am grateful to the Indian Institute of Science (IISc) for supporting our team for iGEM. I had an amazing time working with several motivated teammates and learning lots of new things.

Thanks to KERNEL for featuring our team and our work!

Databased's launch last weekend was a blast! We organized a series of insightful events for the future members of our club to provide a flavour of our vision and ambitions.

This 2-days long series included interactions with people in academia and industry, talks on the intersection of CS with other sciences (including a talk about iGEM Dry Lab that I delivered in collaboration with iGEM IISc Bengaluru) and summer work presentations (including a presentation on optimization in transportation, relating to my work with CiSTUP). We ended with a "Bug-a-thon" where students competed with each other to find bugs in code and their enthusiasm was quite motivating.

Of course, this wouldn't have been even remotely possible without the wonderful people that make up Databased. We look forward to much bigger things in the future, so stay tuned!

If you're a club, startup, organisation, or individual interested in exploring what we can do together, feel free to reach out to us.

Last Saturday, iGEM IISc Bengaluru organized a Science Camp for school students to provide them with exposure to the world of science and in particular to synthetic biology—an area that is hardly ever explored in school.

As part of the camp, I had the opportunity to deliver a talk on "Computational Thinking in Biology" with my colleague Yukta Subramanian, where we talked about the problem-solving process that we follow to answer some of the questions related to our iGEM project. As the Dry Lab coordinator of our team, I also delved into some specifics of what kind of computational work we do to show the interdisciplinary nature of biology that is rarely discussed in school curricula.

Last week, on the 5th of July, I had the privilege to be a part of the counseling program for the B. Tech. (Mathematics & Computing) Program at Indian Institute of Science (IISc) — this time not as a prospective student, but as a volunteer!

I had a great time interacting with students and parents, and in some ways reliving my own days as a fresh school graduate. I am also grateful to the Dean of the B. Tech. program, Professor Srikanth, for allowing me and Shishir r.k to present our newly founded computer science club, Databased in the program. We talked about the possibilities that IISc students have access to and shared our plans for the coming months.

Thanks to the efforts of all volunteers, the program which also included a campus tour and Q&A sessions, could be conducted rather smoothly. I look forward to an amazing class of students in the incoming batch at IISc.

Link to the slides

A few weeks back, I had the opportunity to participate in the Paradox Festival, a one of its kind celebration of logic and math, organized at the Indian Institute of Science (IISc) by Databased and IISc ACM-W Student Chapter under the guidance of Professor Pandurangan. Besides being a part of the organizing committee, I presented "Just One More" paradox with Sahil Chaudhary—we discussed the paradoxical nature of gambling and how seemingly unfavorable investments can be made favorable.

Link to the video

I am glad to share that I have been selected as a Reliance Foundation Undergraduate Scholar. I am grateful to Reliance Foundation for this opportunity.

It was a fantastic experience delivering a workshop on "Turning an idea into a product" with ZILLSKILL. I am grateful for this opportunity and look forward to more workshops for students on the platform!

How important is failure in an entrepreneur's journey?

Personally, I learned a lot of things the hard way - particularly through failure. Take for example TattleGEN - a crowd-sourced news verification platform for fighting fake news. I created TattleGEN in 2019, and in the beginning, everything was perfect. I created the product, began onboarding users, and even talked a non-profit and some journalists into partnering with TattleGEN.

However, within a couple of months, I realized that things weren't going very well. I added more features and began more aggressive outreach - but traffic on the platform was stagnant. Even the non-profit stopped responding, and I was sure that they had backed off.

I continued to struggle, but finally decided to drop the project and move on. However, I wasn't moving on empty-handed. I had learned something very important about entrepreneurship: the value of good research. When I look back, I realize that my market research for TattleGEN was poor. The solution was new, but not competitive. Demand was uncertain, and I focused too much on technology. The business plan was ambitious, but probably not realistic. Finally, I was too dependent on organic traffic, and on a few unconfirmed partnerships.

This was one of those experiences that keep reminding me to analyze previous mistakes and make better decisions in the future. (TattleGEN continues to exist, but I am not actively engaged anymore.)

Did you ever have such an experience? I would love to hear from you in the comments.

Finally, I am glad (and rather excited) to share my project, EvSched with everybody in my network!

EvSched is an evolutionary algorithm to help people make better schedules in their day-to-day life. The central purpose behind EvSched is to make it possible for people to create schedules that truly suit them, and their own productivity patterns. As a student, I understand how important time can be, and I hope to make things easier for everyone who loves to work.

EvSched is an ongoing project, and I hope to make it better and more comprehensive in the future. I would love to receive your feedback and suggestions.

More about EvSched: mrigank.in/EvSched

This was Day #3 of the Awesome #AIThon Workshop by the Awesome #AI4Youth Team from Intel Corporation in collaboration with Central Board of Secondary Education.

The day concluded with the Presentation of Project ideas using AI - and all the suggestions and support from the Mentors were incredibly encouraging.

Over the past 3 days, we received a thoroughly exhaustive training on all aspects of AI - right from theoritical concepts explained with exciting games, to hands-on coding activities.

Are you AI-Ready? Well, we are!

TattleGEN - the Crowdsourced News Validation Forum | Usage Guide
youtube.com/watch?v=Ezb1YZk9Ssk

TattleGEN is the first Crowd sourced News Validation Forum - that makes the task of news verification accessible and easy for everyone.

Posting tattles (news) takes seconds - and that's all we need to do before sharing any suspicious news with our friends!

Join TattleGEN today, and become a part of the mission.

Okay Google, Talk to Tattle GEN!

I am glad to announce (sorry for some delay) that my First ever Action for #GoogleAssistant has been accepted and successfully published.

You can access my action with "Talk to Tattle GEN" (mind the space) and use it to quickly view #Tattles and News from TattleGEN - the #Crowdsourced #News #Validation #Forum - right in your Google Assistant!

The Action is quite simple so far - and I only plan to add more and more features to it. I look forward to Suggestions from all of you!

I would also like to Thank Google for the encouragement it provided by making me a part of the Google Assistant Developer Community Program!

So what are you waiting for? Join TattleGEN today and become a part of the #mission against #misinformation.

Here's the Action
assistant.google.com/services/a/uid/0000006dd6e310ae

More about TattleGEN
tattlegen.com/about.html

Hi everyone,
I am glad to announce the launch of SocialME's new product - TattleGEN! TattleGEN has been created in response to the ongoing FakeNews Crisis - which has caused havoc multiple times, merely by spreading misinformation.

TattleGEN is a Crowdsourced News Validation Forum to Fight Fake News, involving the entire community to help people identify fake news and believe in only the truth — preventing propagation of misinformation, a serious threat to the world today.

Join the mission today, and SignUp at TattleGEN.com

Here's the Product Hunt Post: producthunt.com/products/tattlegen

LocalBrackets is now on Product Hunt!

LocalBrackets is a community driven platform that offers people the opportunity to socialise with those who share their interests. It makes it easy for users to create, find & join brackets, and collaborate with ease, and helps communities foster & develop.

I had love to listen to your suggestions/reviews!

LocalBrackets started off from LocalLink, which I launched last year. Apart from the many functional changes that it brings, the best part of the development was that I could finally get to build a complete Progressive Web App (PWA). As an icing on the cake, I even built a light Trusted Web Activity (TWA) for the same, which works on Android.

producthunt.com/products/localbrackets

Thanks a lot CoderDojo for the awesome gifts! The #Gratitude Competition was a great opportunity and it was an honour for WebME to win it.

WebME won the CoderDojo #Gratitude Competition - for its Innovative way of thanking the internet by making it a better place for all!

Thanks a lot CoderDojo for the opportunity!
x.com/CoderDojo/status/1085595331595849729

Just last month, HackerEarth conducted #HackBenchers2. I have always wanted to work on a practical database, and being interested in Astronomy apart from being a Full Stack Developer, this seemed a great opportunity to me. Participants were given a large dataset about exoplanets for analysis.

My project, Exop, is a simple PWA, that applies an intelligent algorithm on the dataset to give us an idea of which exoplanet out of the dataset is most likely to be habitable, and also includes various data visualisations to provide a concise and accurate overview of various aspects of the planets in the database.

It was a great experience in itself, and delightfully, I (along with my partner, Vanshaj) won in the Beginner Explorer Category. Getting into the Hall of Fame has been a real honour for me - I really enjoyed the experience.

My Project, Exop, can be reached mrigank.pawagi.com/Exop

PS Exop is Open Sourced (github.com/mrigankpawagi/Exop) and I would really love to see others' contributing to it in any way!

Qualified for State Level Exhibition and Project Competition (Uttar Pradesh), at DLEPC, Delhi Public World School, under INSPIRE Awards - MANAK by Department of Science and Technology. The event had 134 projects 6 Districts including Gautam Buddh Nagar, Ghaziabad, Meerut, among others, where roughly 10% of the participants were selected.

My project was basically about 'A Smarter Cooler' - a air cooler that is economical and effective at the same time - and saves water, electricity, is eco-friendly and prevents mosquito breeding.

Today I am finally #introducing #LocalLink - an #application that allows people to find other people who share their interests and #collaborate with them. LocalLink allows them to search for groups in their city and/or #locality, join them, and #communicate with them with ease. LocalLink is partially #community - driven, and has several safety features as well.

I have always been a very unsocial person, with actually no friends in the #Neighborhood. What I wish to do through LocalLink is to help people like me find appropriate groups, in order to socialise and learn new things (or polish existing skills). For people who are new to a locality, this can be an excellent tool to know other people in the area and start talking with them. Moreover, this app encourages #productive work and is exceptionally good for introverts who find it difficult to speak out to people. The main aim of LocalLink is to bring people and communities together and help them know each other better while learning new things!

So what are you waiting for? Get LocalLink today and start socialising! 😁😁

producthunt.com/products/locallink

Thank You so much Digital Empowerment Foundation for organising #mbillionth2018! It was really a mesmerising experience - networking with all the great innovations, being a part of the awesome panel on 'Is Mobile Humane?' with Ankit Vengurlekar, Harsh Songra, Poonam & Nilay Kulkarni; and talking to experienced professionals from big entities including Facebook, Bill & Melinda Gates Foundation, GoNews24x7, YourStory Media and many others!

Being the youngest person there, I never felt excluded - and even ended up winning with my App, WebME - The CyberSecurity Game, in the media and entertainment category! But the best thing out of all, was the generosity and supporting attitude of Sir Osama Manzar and the entire DEF team who at the end offered help in case I needed any sort of mentoring or funding!

WebME - The CyberSecurity Game, got a space among the Shortlisted Innovations in mBillionth Awards South Asia 2018, by Digital Empowerment Foundation, in the Media & Entertainment category!
Read more at mbillionth.in/media-entertainment-news-journalism
Download WebME today, from webmethegame.blogspot.com