#kframework search results
New episode is up! We are joined by Grigore Rosu, Professor of Computer Science at UIUC for a deep dive into the K framework - which formally defines all programming languages and has massive implications for #smartcontract development. 👉 epicenter.tv/episode/239/ #Kframework
Are you a programmer or a company using the K Framework? runtimeverification.com/blog/k-framewo… … Are you building tools using the #Kframework? Send us some love, by "liking" this or posting a link, and we'll love you back. 💌
Découvrez notre nouvelle série : « Le Point Innovation » 🔎 Dans cette première vidéo, notre collaborateur Manuel fait le point sur le K Framework abordé à la conférence EthCC Paris de cette année ! Retrouvez la vidéo sur Youtube : youtu.be/cf631jRoy6M #Kframework #ETHCCParis
Complete formal semantics of x86 in #kframework, by @vadve and @RosuGrigore's labs at UIUC in collaboration with @rv_inc. To be presented @PLDI'19. You can now use the K tool ecosystem to symbolically execute and formally verify x86 binaries, too. fsl.cs.illinois.edu/FSL/papers/201…
@mhhf demoing some of the latest formal verification tools out of @dapphub to the great minds of @rv_inc. Really impressed with the #kframework!
🔥🥰 Really enjoying this blog post at @rv_inc by @Mus_ab and Brandon Moore (github.com/bmmoore) comparing #KFramework to @CoqLang 👨💻 Includes this EXCELLENT answer to "how does the new gen differ from the old?" runtimeverification.com/blog/k-vs-coq-… 🙌 Check it out! #FormalMethodsNOW!
You can now have your #smartcontract formally verified by @rv_inc: runtimeverification.com/smart_contract/. The same #kframework-based technology is used to formalize #KEVM and #IELE, and to verify Casper. Thanks to @InputOutputHK and @ethereum for funding and support. #blockchain #security
💫 Cardano's K framework allows developers to write smart contracts in multiple languages, making it more accessible for a diverse range of creators. 🌐 #Cardano #ADA #KFramework
1/3 🛠️ We’ve implemented a RISC-V model in K, available at github.com/runtimeverific…. Our model conforms to the unprivileged RV32E base ISA and can execute bare metal ELF files. #RISCv #Kframework
👨💻 Formal Verification time! 👩💻 this week, we catchup with @MartinLundfall from @MakerDAO / @dapphub to talk about his work on formal verification, the #kframework, when it makes sense to use fv, when it doesn't, & more zeroknowledge.fm/67 cc: @AnnaRRose @fredhrson
Most PL papers do have a small core you can run... if you know enough #Kframework to run their typing rules ;)
Mind-boggling episode on the #kframework by @epicenterbtc with Prof Grigore Rosu. Fantastic insight, great questions. As close as you can get to a magic wand in CS, ZK proofs aside. Thanks, epicenter! castro.fm/episode/WmNbc4
ICYMI We recently talked to Grigore Rosu, Professor of Computer Science at UIUC for a deep dive into the K framework - which formally defines all #ProgrammingLanguages and has massive implications for #SmartContract development. 👉 epicenter.tv/episode/239/ #Kframework
Matching logic (ML) is a powerful formalism for reasoning about program behavior. At @rv_inc, ML is the core theory behind our #kframework. We're finally launching a Discord channel for all things ML. If you have any questions or ideas, please visit! discord.gg/pNDydDPhf2
.@sinan1111111111 GoF could not have slept if they would have seen this: github.com/hraberg/Shen.j… #kframework #shen #lisp
@ElrondNewtork is a formally verified sharding blockchain that uses #IELE, a VM based on the #Kframework and #LLVM that provides the basis for simplified formal verification of smart contracts
@ElrondNetwork we are building a go backend for K framework integration. We will use formal verification on smart contracts. Bug shall not pass - Gandalf. #blockchain #buidl #Kframework
Are you a programmer or a company using the K Framework? runtimeverification.com/blog/k-framewo… … Are you building tools using the #Kframework? Send us some love, by "liking" this or posting a link, and we'll love you back. 💌
I've been following #Cardano, which led me to the #KFramework and #IELE. Good work! 😎
#KEVM is a formally verified #EVM. Basically you write formal specification of the VM and @rv_inc's #kframework synthesizes the code for #EVM (as opposed to writing #EVM code manually in #golang like geth or #rust like #SputnikVM). It's still stack-based. #IELE is register-based
1/3 🛠️ We’ve implemented a RISC-V model in K, available at github.com/runtimeverific…. Our model conforms to the unprivileged RV32E base ISA and can execute bare metal ELF files. #RISCv #Kframework
💫 Cardano's K framework allows developers to write smart contracts in multiple languages, making it more accessible for a diverse range of creators. 🌐 #Cardano #ADA #KFramework
Matching logic (ML) is a powerful formalism for reasoning about program behavior. At @rv_inc, ML is the core theory behind our #kframework. We're finally launching a Discord channel for all things ML. If you have any questions or ideas, please visit! discord.gg/pNDydDPhf2
Découvrez notre nouvelle série : « Le Point Innovation » 🔎 Dans cette première vidéo, notre collaborateur Manuel fait le point sur le K Framework abordé à la conférence EthCC Paris de cette année ! Retrouvez la vidéo sur Youtube : youtu.be/cf631jRoy6M #Kframework #ETHCCParis
Most PL papers do have a small core you can run... if you know enough #Kframework to run their typing rules ;)
@ElrondNewtork is a formally verified sharding blockchain that uses #IELE, a VM based on the #Kframework and #LLVM that provides the basis for simplified formal verification of smart contracts
Check out @rikardhjort discuss the #Kframework from @rv_inc #blockchain #Ethereum #developers #SoliditySummit by @solidity_lang
Please join @rv_inc's own @rikardhjort present on the K Framework and how it was used to formalize Solidity, at the #SoliditySummit Wednesday, April 29th - 1:30 PM (CEST) An online event organized by the @solidity_lang
🔥🥰 Really enjoying this blog post at @rv_inc by @Mus_ab and Brandon Moore (github.com/bmmoore) comparing #KFramework to @CoqLang 👨💻 Includes this EXCELLENT answer to "how does the new gen differ from the old?" runtimeverification.com/blog/k-vs-coq-… 🙌 Check it out! #FormalMethodsNOW!
#KEVM is a formally verified #EVM. Basically you write formal specification of the VM and @rv_inc's #kframework synthesizes the code for #EVM (as opposed to writing #EVM code manually in #golang like geth or #rust like #SputnikVM). It's still stack-based. #IELE is register-based
Complete formal semantics of x86 in #kframework, by @vadve and @RosuGrigore's labs at UIUC in collaboration with @rv_inc. To be presented @PLDI'19. You can now use the K tool ecosystem to symbolically execute and formally verify x86 binaries, too. fsl.cs.illinois.edu/FSL/papers/201…
@ElrondNetwork we are building a go backend for K framework integration. We will use formal verification on smart contracts. Bug shall not pass - Gandalf. #blockchain #buidl #Kframework
Are you a programmer or a company using the K Framework? runtimeverification.com/blog/k-framewo… … Are you building tools using the #Kframework? Send us some love, by "liking" this or posting a link, and we'll love you back. 💌
Are you a programmer or a company using the K Framework? runtimeverification.com/blog/k-framewo… … Are you building tools using the #Kframework? Send us some love, by "liking" this or posting a link, and we'll love you back. 💌
👨💻 Formal Verification time! 👩💻 this week, we catchup with @MartinLundfall from @MakerDAO / @dapphub to talk about his work on formal verification, the #kframework, when it makes sense to use fv, when it doesn't, & more zeroknowledge.fm/67 cc: @AnnaRRose @fredhrson
Watch Derek Sorensen of @Pyrofex cover #Kframework, #TypeTheory, and #Rholang semantics in this #RCON3 session. bit.ly/RCON3_Day2_KFr…
youtube.com
YouTube
K framework and type theory
@mhhf demoing some of the latest formal verification tools out of @dapphub to the great minds of @rv_inc. Really impressed with the #kframework!
New episode is up! We are joined by Grigore Rosu, Professor of Computer Science at UIUC for a deep dive into the K framework - which formally defines all programming languages and has massive implications for #smartcontract development. 👉 epicenter.tv/episode/239/ #Kframework
You can now have your #smartcontract formally verified by @rv_inc: runtimeverification.com/smart_contract/. The same #kframework-based technology is used to formalize #KEVM and #IELE, and to verify Casper. Thanks to @InputOutputHK and @ethereum for funding and support. #blockchain #security
Are you a programmer or a company using the K Framework? runtimeverification.com/blog/k-framewo… … Are you building tools using the #Kframework? Send us some love, by "liking" this or posting a link, and we'll love you back. 💌
Complete formal semantics of x86 in #kframework, by @vadve and @RosuGrigore's labs at UIUC in collaboration with @rv_inc. To be presented @PLDI'19. You can now use the K tool ecosystem to symbolically execute and formally verify x86 binaries, too. fsl.cs.illinois.edu/FSL/papers/201…
🔥🥰 Really enjoying this blog post at @rv_inc by @Mus_ab and Brandon Moore (github.com/bmmoore) comparing #KFramework to @CoqLang 👨💻 Includes this EXCELLENT answer to "how does the new gen differ from the old?" runtimeverification.com/blog/k-vs-coq-… 🙌 Check it out! #FormalMethodsNOW!
@mhhf demoing some of the latest formal verification tools out of @dapphub to the great minds of @rv_inc. Really impressed with the #kframework!
Something went wrong.
Something went wrong.
United States Trends
- 1. #UFC322 165K posts
- 2. Islam 270K posts
- 3. Morales 37.3K posts
- 4. Valentina 16K posts
- 5. Sark 6,084 posts
- 6. Kirby 18.8K posts
- 7. Georgia 89.4K posts
- 8. Ilia 5,641 posts
- 9. Khabib 9,360 posts
- 10. Zhang 26.9K posts
- 11. Ole Miss 12.4K posts
- 12. #GoDawgs 9,715 posts
- 13. Leon 74.6K posts
- 14. Dagestan 2,122 posts
- 15. Arch 22.5K posts
- 16. Sean Brady 6,902 posts
- 17. Dillon Danis 11K posts
- 18. Tanner Wall N/A
- 19. Usman 10.6K posts
- 20. Ahmad Hardy 1,355 posts