Vaibhav Sharma

PhD graduate from the University of Minnesota working on improving and applying program analysis towards security and software engineering applications

[Ankush Desai @ankushpd]

One of the key challenges that we mention is that basic ideas like deterministic simulation, property based testing, and global invariants are not known to entry level developers. It would be great to include these concepts in undergraduate curriculum as a prerequisite when studying or building distributed systems.

[Yannic Noller (@yannicnoller.bsky.social) @yannicnoller]

I am hiring PhD students for my group at RUB. If you have strong implementation skills and are eager to work on problems in automated software testing and program repair, I would be happy to chat at @issta_conf in Vienna or simply email me. RT appreciated!
https://t.co/M8iarvmbRk

[Ankush Das @Das8Ankush]

Super excited to be part of the organizing team of OPLSS 2024 at Boston University! I still remember getting inspired from attending it almost 10 years ago!! Please RT and encourage students to register. Registration deadline: March 30. Details: https://t.co/DnC4BQXOVw

[Neha @neharungta]

Here is our scientific paper on Cedar, which has been accepted for publication at OOPSLA 2024 - https://t.co/hU0ZaiXazq

[Vaibhav Sharma @vbsharma]

@Das8Ankush Congratulations, Ankush!

[Brigid Johnson @bjohnso5y]

Love when my CEO mentions access controls! He knows what's up!

[Vaibhav Sharma @vbsharma]

Learn about how customers of AWS IoT use 1-click automated reasoning to check their state machines for correctness #awsiot #automatedreasoning #scale #amazonscience #modelchecking #cav #cav2023 https://t.co/k15IWlbZQt

[Ankush Desai @ankushpd]

We are looking for Applied Scientist Interns in Database Systems Lab @ AWS. If you want to work on formal methods: model checking or proofs, systematic testing, fuzzing, fault injection testing applied to distributed systems. Please get in touch (DM me).

[Kishor Jothimurugan @KeysShore]

I’m on the job market this year! My work aims to improve ML tools and techniques using ideas from Formal Methods. In particular, I have worked on Specification-Guided RL and Compositional Learning and Verification. More about my work on my website: https://t.co/4KQ3m3s2SY

[Rajeev Alur @RajeevAlur]

If you are hiring Trustworthy AI, do consider @KeysShore who works at the intersection of RL and Formal methods:

[Neha @neharungta]

Come to a fun Women in CS event at 10:00 AM MST time! @BYUCS @lexidelorey #womenintech

[Vaibhav Sharma @vbsharma]

@wouldbscientist Nice! This looks really colorful! I've got the same except instead of asafoetida and goda masala, I have white urad daal and garam masala :-)

[Vaibhav Sharma @vbsharma]

@feliam Good luck with your next adventure, Felipe! :-)

[JPF @Java_Pathfinder]

This year, JPF will have a workshop @ASE_conf. More info at https://t.co/r5nJSeqoFQ. The deadline is Friday, July 29.

[ASE 2024 @ASE_conf]

Please consider submitting a paper to one of our 9 workshops at ASE 2022!
More details at: https://t.co/Q6vSiMdgER
@b_vasilescu @taoyue

[Paul Schwarzenberger @paulschwarzen]

After working with an organisation for a year, setting up AWS SSO, and spending lots of time getting DevOps engineers to stop using their IAM identities, I’ve now implemented my favourite Service Control Policy:

[Mike Hicks @michael_w_hicks]

I'm really enjoying my time at @awscloud these past four months. I would recommend AWS to others with PL/formal methods interests, too. Happy to chat if you are curious (via text, or will be at @PLDI). Useful video: https://t.co/rPNT9bXDmX

[Thorsten Holz @thorstenholz]

Test of Time Awards at @IEEESSP 2022 are "Unleashing Mayhem on Binary Code", "Click Trajectories: End-to-End Analysis of the Spam Value Chain", and "SCION: Scalability, Control, and Isolation On Next-Generation Networks" - Congratulations all! #SP22

[Neha @neharungta]

Fuzzing and differential testing of our proof tools help us look under the rocks and gain assurance in the correctness of their results. Read about how we are testing our verifiers. #automatedreasoning @AWSIdentity https://t.co/nkqWP562T6

[PLUM Lab @plumlab]

Kesha Hietala will defend her PhD thesis, A Verified Software Toolchain for Quantum Programming, this coming Monday, May 16. We can't wait! https://t.co/X4BaG3bczi