Vaibhav Sharma
@vbsharmaPhD graduate from the University of Minnesota working on improving and applying program analysis towards security and software engineering applications
Similar User
@mchri5taki5
@BinsecTool
@c_cadar
@joannacss
@h_poncedeleon
@lanziandrea
@Numair_Mansur
@vwuestholz
@iamehoque
@yannicnoller
@saifnoorprottoy
@saeid_tizpaz
@MAlhanahnah
@Tomasz_Kuchta
@dvmarcilio
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! yannicnoller.github.io/positions/
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: cs.uoregon.edu/research/summe…
Here is our scientific paper on Cedar, which has been accepted for publication at OOPSLA 2024 - arxiv.org/abs/2403.04651
Love when my CEO mentions access controls! He knows what's up!
Amazon Bedrock will change what's possible for businesses, big and small. Amazon Bedrock, avail today, allows companies to take foundational models from @AnthropicAI, @StabilityAI, @cohere, @AI21Labs, Amazon, and soon @Meta's Llama 2, customize those models with their own data,…
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 amazon.science/publications/a…
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).
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: keyshor.github.io
If you are hiring Trustworthy AI, do consider @KeysShore who works at the intersection of RL and Formal methods:
If you are hiring Trustworthy AI, do consider @KeysShore who works at the intersection of RL and Formal methods:
Come to a fun Women in CS event at 10:00 AM MST time! @BYUCS @lexidelorey #womenintech
This year, JPF will have a workshop @ASE_conf More info at github.com/javapathfinder…. The deadline is Friday, July 29.
Please consider submitting a paper to one of our 9 workshops at ASE 2022! More details at: conf.researchr.org/track/ase-2022… @b_vasilescu @taoyue
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:
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: youtube.com/watch?v=g-DH_b…
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
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 amazon.science/publications/t…
Kesha Hietala will defend her PhD thesis, A Verified Software Toolchain for Quantum Programming, this coming Monday, May 16. We can't wait! talks.cs.umd.edu/talks/3194
Yet another reason to turn on IAM Access Analyzer for AWS Organizations and Accounts.
🆕: AWS Lambda Function URLs that are shared with external identities are reported as findings in IAM Access Analyzer, helping you verify that the external access meets your intent 👇
Curious about automated reasoning - The next episode of the Curiosity series where we dive into Automated Reasoning and Formal Verification with @byroncook allthingsdistributed.com/2022/03/curiou… - #aws #allthingsdistributed
New Internet of Things post by Vaibhav Sharma: Find runtime errors in AWS IoT Events detector models using type checking aws.amazon.com/blogs/iot/find…
Start working on your FMCAD 2022 papers! Call for papers is out fmcad.org/FMCAD22/
United States Trends
- 1. Happy Thanksgiving Eve 2.354 posts
- 2. #MigglesArmy 1.278 posts
- 3. #sociprovider N/A
- 4. Dodgers 57,2 B posts
- 5. Good Wednesday 24,7 B posts
- 6. #WednesdayMotivation 4.149 posts
- 7. Custom 71,7 B posts
- 8. Wrecking 13,4 B posts
- 9. #FayeYokoGQMOTY 247 B posts
- 10. #27Nov 2.947 posts
- 11. Sharon Stone 22,2 B posts
- 12. DESTINY COUPLE FAYEYOKO 241 B posts
- 13. Snell 37,4 B posts
- 14. Happy Hump 7.519 posts
- 15. Hump Day 11,7 B posts
- 16. Landman 3.448 posts
- 17. DB Cooper 2.586 posts
- 18. Kerry 24,5 B posts
- 19. Knocked Loose 2.978 posts
- 20. Jeselnik 2.620 posts
Who to follow
-
Maria Christakis
@mchri5taki5 -
BINSEC Team @ Université Paris-Saclay, CEA, List
@BinsecTool -
Cristian Cadar
@c_cadar -
Joanna C. S. Santos
@joannacss -
Hernan Ponce De Leon
@h_poncedeleon -
Andrea Lanzi
@lanziandrea -
Numair Mansur
@Numair_Mansur -
Valentin Wüstholz
@vwuestholz -
Endadul Hoque
@iamehoque -
Yannic Noller
@yannicnoller -
Saif Noor Prottoy ⚔️
@saifnoorprottoy -
Saeid Tizpaz Niari
@saeid_tizpaz -
Mohannad Alhanahnah
@MAlhanahnah -
Tomasz Kuchta
@Tomasz_Kuchta -
Diego Marcilio
@dvmarcilio
Something went wrong.
Something went wrong.