Adrian Palacios

Applied Scientist @awscloud Automated Reasoning Group. PhD in Computer Science. Views are my own.

[AWS Identity @AWSIdentity]

Need to manage permissions for regulated data? We have you covered! #AmazonVerifiedPermissions is HIPAA compliant, giving you control over sensitive information while staying within compliance guidelines. Learn more. 👉 https://t.co/AfmsbdbpTQ

[Adrian Palacios @ukonat]

We are excited to introduce function contracts for Kani! Check out our latest blog post for a walkthrough of this new feature 🦀📝🤝
https://t.co/2Mg9c5JUAq

[Adrian Palacios @ukonat]

Very proud to have Kani featured in the AWS Open Source Blog today! 😊

https://t.co/mGUvOg9QyG

[Adrian Palacios @ukonat]

@MBTA there are signs out of the Courthouse station saying “Board buses on the street” but they were for the weekend of Aug 11-13. Why are they still there?

[Adrian Palacios @ukonat]

Can we make Rust verification scalable? Check out today’s post for an answer and details on how we’re turbocharging Kani through optimizations at various levels 🦀⚡️
https://t.co/IRbfoj79SH

[Adrian Palacios @ukonat]

We are delighted to introduce the Kani VS Code Extension! Check out today’s blog post for a walkthrough showcasing its main features 🦀🖱️
https://t.co/NFCT9WNSiu

[Amazon Science @AmazonScience]

To create Cedar, the new publicly available authorization-policy language, @awscloud researchers used a process called verification-guided development, which combines formal verification with millions of tests to confirm the accuracy of their software model. #AutomatedReasoning

[AWS Open Source @AWSOpen]

🎉We've open sourced the Cedar policy language and authorization engine, the technology that powers Amazon Verified Permissions. Express fine-grained permissions as policies enforced in your apps, and decouple access control from application logic. https://t.co/84tPTbOifp #OSSNA

[Adrian Palacios @ukonat]

Have you tried writing code with ChatGPT? In our latest post, we share our experiences using both ChatGPT and Kani to solve coding problems 🦀🤖
https://t.co/kAqrly1AtI

[Adrian Palacios @ukonat]

Our latest post in the Kani blog is written by one of our users! Read it to learn about Hifitime, a library for scientifically accurate time management, and how Christopher uses Kani to ensure its correctness 🦀🕙
https://t.co/3xxwDDjq9u

[Adrian Palacios @ukonat]

New post about internship projects in the Kani blog! This time we discuss the stubbing feature, which allows you stub out functions with verification-friendly versions 🦀🙌
https://t.co/S2Ulpdi6V6

[Adrian Palacios @ukonat]

Want to make sure whether certain lines in your code are reachable or that certain cases are covered in your Kani harness? The new kani::cover macro can help you do that. Learn more about its applications in our latest blog post! ↪️🦀
https://t.co/9xZzFNs8Gf

[Adrian Palacios @ukonat]

We are happy to announce the Kani GitHub Action! Our latest post shows how to easily verify your Rust code in CI with Kani and GitHub Actions 🦀✅
https://t.co/BhNe6x4Edo

[Adrian Palacios @ukonat]

Bolero is a property-testing framework that allows users to test Rust code with multiple fuzzing engines. Interesting, right? In our latest post, we discuss the integration of Kani, our open-source formal verification tool, in the Bolero framework 🦀🛠️
https://t.co/fAJJrxp1VY

[Amazon Science @AmazonScience]

Amazon researchers and engineers gathered for the annual Amazon Formal Reasoning Enthusiasts (FReE) workshop to discuss formal methods tools that improve quality of Amazon software and customer experience. 🙌

[Adrian Palacios @ukonat]

We’re starting a series on internship projects in the Kani blog! The first post discusses the concrete playback feature, which generates Rust unit tests from failure traces that you can run and debug in your IDE 🦀⏯️
https://t.co/bcCrHwWPTw

[Adrian Palacios @ukonat]

Check out our new post in the Kani blog! This time, we apply Kani to an example from Tokio Bytes, the library used by Tokio (an asynchronous runtime for Rust) to work with bytes 🦀🔍💻
https://t.co/db53X6lSCx

[Amazon Science @AmazonScience]

We're excited to announce the 74 award recipients of the #AmazonResearchAwards' Fall 2021 cycle, representing 51 universities in 17 countries. The awards provide unrestricted funds to academic researchers investigating topics across a number of disciplines. Meet the recipients.

[Rust Foundation @rust_foundation]

Kani is an open-source verification tool that uses automated reasoning to analyze Rust programs.

This new blog provides a walk through building a proof harness for #Firecracker that the #Kani #Rust verifier can analyze in seconds.

Check it out 👇
https://t.co/AF31dKaBeA

[Adrian Palacios @ukonat]

New post on the Kani blog! This time, we apply Kani to an example from Firecracker, an open source virtualization project for serverless applications 🦀🔍🔥
https://t.co/6cKi3oya7O