Vaibhav Sharma @vbsharma
PhD graduate from the University of Minnesota working on improving and applying program analysis towards security and software engineering applications sites.google.com/view/vaibhavbs… Minneapolis, MN Joined August 2009-
Tweets315
-
Followers163
-
Following693
-
Likes795
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…
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…
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!
Love when my CEO mentions access controls! He knows what's up!
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
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:
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…
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.
Yet another reason to turn on IAM Access Analyzer for AWS Organizations and Accounts.
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…
Lucia @2vEYTPNs0tI68A
27 Followers 1K Following
ChloeTout @GCyu2wYNq4pj4ko
401 Followers 4K Following
Lisewez @lisewez77674
90 Followers 3K Following
Smynorez @SmynorezR16
31 Followers 897 Following
Eleanor_ @Eleanor1593235
73 Followers 5K Following
Hailin Zeng @hailinzeng
37 Followers 825 Following I took the one less traveled by, And that has made all the difference.
Doniv @vinthri
231 Followers 116 Following Fascinated by technologies, Fond of reading fiction and inspirational books,likes to travel places n ya loves music
Thooffay @thooffay56522
3 Followers 223 Following Take a detour and see the scenery you may have never seen before
Shankar Kumar @shankarkkumar
21 Followers 143 Following
Mola 相羊 @xiangya94910377
56 Followers 2K Following a psychology student ,curious about neural decoding､cognitive mathematics 、emergent communication
Shaurya Gomber @s_gomber
177 Followers 218 Following CS PhD student @uiuc_focal_lab | Program Analysis/Automated Reasoning
itssyed @itrecruitersyed
3 Followers 86 Following Reader, thinker, and eternal optimist. Passionate about literature, psychology, and the great outdoors.
Ankush Das @Das8Ankush
560 Followers 670 Following Asst. Prof. @BU_Tweets. Previously Applied Scientist @Amazon. PhD from @CSDatCMU. Interned @MSFTResearch and @Meta. Ugrad @iitbombay.
Hira Taqdees Syeda @hira_taqdees
30 Followers 73 Following
Emily @emilt_emily11
45 Followers 372 Following Responsible, resilient, conceptual, leadership, rational, strong-willed, dominant, Play golf, Proud to USA, Asian women, She/Her
Geoff Baskwill @geoff_baskwill
303 Followers 347 Following Learning daily. He/him. 🇨🇦 trying out @[email protected]
Zvonimir Rakamaric @rakamaric
635 Followers 630 Following
PLSE@NUS @nus_plse
389 Followers 178 Following Programming Languages, Software Engineering and Formal Methods Research at the @nuscomputing
JPF @Java_Pathfinder
94 Followers 75 Following Java Pathfinder (JPF) is a system to verify executable Java bytecode programs. JPF was developed at the NASA Ames Research Center and open sourced in 2005.
KurSh @KurShf
49 Followers 2K Following
Marcelo d'Amorim @marcelodamorim
491 Followers 470 Following Associate Professor of Computer Science Currently at @CinUFPE Soon at North Carolina State University (NCSU)
Yolin @nilsengu
546 Followers 3K Following Lifelong student - most interested in emergence, complexity, information theory and computation. constantly updating my theory of how the world works 🌎
Aman Goel @amangoelumich
112 Followers 210 Following Discovering LIFE.. Indian | Marian | Bansalite | IITian | Wolverine | Amazonian | Engineer
Tzu-Han👩🏻�... @TzuHanH
2K Followers 1K Following CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
Sameeran Joshi @sameeran_joshi
118 Followers 294 Following CS PhD student at the University of Utah•@uutah @kahlertsoc Interested in Compilers + HPC. Revolves around Libraries, Languages compilers •Previously: @AMD
Sean McLaughlin @EnglishLabDad
100 Followers 599 Following
Eunsuk Kang @eskang09
612 Followers 922 Following Associate prof. @SCSatCMU, @S3DatCMU. Software engineering, formal methods, system design, safety, security.
Syed Rafiul Hussain @SyedRafiul
1K Followers 1K Following Assistant Professor of Computer Science and Engineering (@PennStateEECS, @PSUEngineering), Pennsylvania State University (@penn_state)
Stefan Nagy @snagycs
1K Followers 1K Following Faculty @uutah. My lab hunts bugs: https://t.co/R74Wl128A9. Mastodon: [email protected] Bluesky: https://t.co/6sKvEYpXMF
sharvani mv @mv_sharvani
7 Followers 7 Following
Martin Kellogg @kellogg_martin
237 Followers 313 Following PhD student at @uwplse, future assistant prof at @NJIT CS. I use verification techniques to solve real problems in software.
Linghui Luo @LinghuiLuo
484 Followers 293 Following my personal account only represents my personal opinions
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Ben Nassi @ben_nassi
1K Followers 4K Following 🇮🇱 | #BringThemHomeNow | 🎩 @BlackHatEvents Review Board | 🦄 @PwnieAwards x1 | AI Red Teaming | AI Security @BlackHatEvents Speaker x 6 |
Tom Goldstein @tomgoldsteincs
27K Followers 2K Following Professor at UMD. AI security & privacy, algorithmic bias, foundations of ML. Follow me for commentary on state-of-the-art AI.
Rahul Shankar @rahshank
508 Followers 1K Following Dinner 🍱 popups with Ghosts of Bombay and Detroit dinner club. Thinking about gathering, scenes, spaces (IRL and URL), creative output, and a life well lived.
Noah Klugman @naklugman
364 Followers 2K Following Sensing grid reliability in West and East Africa. CEO of @nlineinc. Husband of @lanecpowell. PhD from Berkeley EECS. Banjo player. Puppeteer. Nerd. (he/him)
Imtiaz Karim @ImtiazKarim23
722 Followers 724 Following Security Researcher | Assistant Professor @UT_Dallas | Postdoc, Ph.D. in CS @Purdue | Former Amazon, Intel
cryptohackathon @crypthckthn
165 Followers 2K Following 1st #hackathon in conjunction with #IACR @RealWorldCrypto Conference 2021. #functionalencryption #crypto 👉 👉 PLEASE REGISTER AT https://t.co/zogVcYP5aQ 👈 👈
Delbar bidel @BidDelbar
7 Followers 89 Following
Surakshith M N @Surakshith_MN
113 Followers 750 Following
Vaibhav Kurhe @vaibspidy
190 Followers 1K Following Senior Member of Technical Staff at Oracle (Database Transactions) | MTech CSE from IIT Delhi | Interested in Systems Research
سارة البكري... @albak002
588 Followers 3K Following بين ثنائية (الانسان والآلة) أعمل وأتأمل و (الإخفاق والإصابة) أتألم وأتعلم و(مسؤولية الراعي والرعية) أسدد وأقارب
Anu Srikumar @anusrikumar
144 Followers 164 Following Teacher | Engineer | Malayali | Pandemic pedagogy practitioner - Kindergarten level
PLSE@NUS @nus_plse
389 Followers 178 Following Programming Languages, Software Engineering and Formal Methods Research at the @nuscomputing
Ankush Das @Das8Ankush
560 Followers 670 Following Asst. Prof. @BU_Tweets. Previously Applied Scientist @Amazon. PhD from @CSDatCMU. Interned @MSFTResearch and @Meta. Ugrad @iitbombay.
Phil Windley @windley
7K Followers 4K Following I build things; I write code; I void warranties. My latest book is Learning Digital Identity from O'Reilly https://t.co/fbkkqHAPS2 #identity #zerotrust
JPF @Java_Pathfinder
94 Followers 75 Following Java Pathfinder (JPF) is a system to verify executable Java bytecode programs. JPF was developed at the NASA Ames Research Center and open sourced in 2005.
Marcelo d'Amorim @marcelodamorim
491 Followers 470 Following Associate Professor of Computer Science Currently at @CinUFPE Soon at North Carolina State University (NCSU)
Gaurav Nisar @gauravnisar
191 Followers 2K Following Cofounder and CEO - https://t.co/XK0FOkkdn3 INC. Employee Training and Onboarding platform that integrates into the entire Productivity and Enablement stack.
Florian 🤦🏼�... @fholzhauer
762 Followers 377 Following It was a fun ride, but Elon-Twitter is not for me. Find me on mastodon: [email protected] - or just oldschool email.
NH State Representati... @thcormen
4K Followers 147 Following Emeritus Professor of Computer Science at Dartmouth College. Co-author of Introduction to Algorithms. NH State Representative for Lebanon Ward 3. Mad bricoleur.
Tzu-Han👩🏻�... @TzuHanH
2K Followers 1K Following CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
Aman Goel @amangoelumich
112 Followers 210 Following Discovering LIFE.. Indian | Marian | Bansalite | IITian | Wolverine | Amazonian | Engineer
Fabio @degrigis
572 Followers 610 Following Computer Security PhD student@UCSB Seclab | Binary tamer | hacking@shellphish
Rajeev Alur @RajeevAlur
2K Followers 232 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Sandeep Dasgupta @sdasgup3
121 Followers 132 Following Work @Google PhD @UIUC ML for Compilers & Compiler for ML, Formal Methods, Reverse Engineering Love Dancing :)
Murat Demirbas (Distr... @muratdemirbas
10K Followers 256 Following MongoDB Research: Distributed {Systems, Databases, Consensus} + Formal Methods ex-AWS, ex-Prof @SUNY Buffalo. https://t.co/IqZPhhtcCC Opinions my own
Eunsuk Kang @eskang09
612 Followers 922 Following Associate prof. @SCSatCMU, @S3DatCMU. Software engineering, formal methods, system design, safety, security.
Sean McLaughlin @EnglishLabDad
100 Followers 599 Following
Syed Rafiul Hussain @SyedRafiul
1K Followers 1K Following Assistant Professor of Computer Science and Engineering (@PennStateEECS, @PSUEngineering), Pennsylvania State University (@penn_state)
sharvani mv @mv_sharvani
7 Followers 7 Following
Stefan Nagy @snagycs
1K Followers 1K Following Faculty @uutah. My lab hunts bugs: https://t.co/R74Wl128A9. Mastodon: [email protected] Bluesky: https://t.co/6sKvEYpXMF
Simaei @ArastehCma
686 Followers 1K Following Phd student at USC | Binary Analysis |EXIntern @Certik | EXIntern @Qualcomm | (ENFJ) a person who physically lives in LA and mentally in Iran.
Linghui Luo @LinghuiLuo
484 Followers 293 Following my personal account only represents my personal opinions
Martin Kellogg @kellogg_martin
237 Followers 313 Following PhD student at @uwplse, future assistant prof at @NJIT CS. I use verification techniques to solve real problems in software.
BINSEC Team @ Univers... @BinsecTool
924 Followers 356 Following Binary code analysis for security / Academic research (Infosec, SE, FM, AI) / Open-source tool / Applied in industry / Posts by @michaelmarcozzi and @Seb_Bardin
Zvonimir Rakamaric @rakamaric
635 Followers 630 Following
BradMarshall @BradMarshall
183 Followers 42 Following Amazon developer since '99, AWS since '08. Running, bicycling, hiking, climbing, fishing, ... opinions are my own
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Sharvani Mankalale @SMankalale
40 Followers 218 Following
Nadia Polikarpova @polikarn
4K Followers 291 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Swarat Chaudhuri @swarat
3K Followers 625 Following Professor at @UTCompSci, Research Scientist at @GoogleDeepmind. Automated Reasoning + Machine Learning + Programming Languages.
Isil Dillig @IsilDillig
4K Followers 839 Following CS Professor at UT Austin + President of @VeridiseInc.
Caitlyn Shim @CaitShim
1K Followers 184 Following This account is no longer active. Opinions and misspellings are still my own. she/her @[email protected] Bluesky: @caitlyn.io
Mike Dodds @miike
1K Followers 554 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.
Imtiaz Karim @ImtiazKarim23
722 Followers 724 Following Security Researcher | Assistant Professor @UT_Dallas | Postdoc, Ph.D. in CS @Purdue | Former Amazon, Intel
reto @oter
569 Followers 5K Following
James Hood @jameshoodcodes
2K Followers 341 Following Husband, Father, Principal Engineer @awscloud, @AWSCloudFormer (previously: AWS SAM/SAR, Amazon Fulfillment, AWS MTurk), Blogger, Coder, Hockey fan 🏒🥅
Andrew Certain @tacertain
9K Followers 714 Following Former VP/Distinguished Engineer in AWS. See the blog for what you'll get if you follow (plus transit/housing quips) He/his https://t.co/FGTsM2Xy1K
Jeff Offutt @JeffOffutt
734 Followers 247 Following Learner. Teacher. Thinker. Inventor of ways to make better software. Views are my own.
ebrandwine @ebrandwine
2K Followers 112 Following Amateur father and husband. Breaker of end mills. Securifier of clouds @AWS. I’m full of opinions, but they’re just mine. BLM
Lisa Desjardins @LisaDNews
131K Followers 1K Following I'm a Correspondent, PBS NewsHour. Happy, grateful nerd. Remains a faithful Chester Arthur fan. On BlueSky as @LisaD
Yamiche Alcindor @Yamiche
1.0M Followers 8K Following White House Correspondent for @NBCNews. Tips? Email: [email protected].
Judy Woodruff @JudyWoodruff
168K Followers 2K Following I am Judy Woodruff of the PBS @NewsHour, now focused on reporting “America at a Crossroads” and on the challenges facing those with disabilities
Michaël Marcozzi �... @michaelmarcozzi
522 Followers 439 Following Permanent researcher in cybersecurity (fuzzing) @UnivParisSaclay I make software safer by viciously torturing it to reveal its flaws I can be kind too
Trends for United States
You might like
