#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
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
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…
@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
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
Most PL papers do have a small core you can run... if you know enough #Kframework to run their typing rules ;)
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! 😎
It has got to be CARDANO, by a mile. Just saw a video dated 28.03.18 where @IOHK_Charles was explaining to Vincent Everts in detail how far they've come and what is still in stuck. It blew my mind! #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
💫 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
🔥🥰 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
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…
@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. Pond 244K posts
- 2. Jimmy Olsen 3,416 posts
- 3. Veterans Day 22.8K posts
- 4. Daboll 37.5K posts
- 5. Go Birds 13.4K posts
- 6. McRib 1,749 posts
- 7. Downshift N/A
- 8. Akira 27.7K posts
- 9. #OTGala8 125K posts
- 10. Schoen 19.6K posts
- 11. Gorilla Grodd 1,851 posts
- 12. Zendaya 10.5K posts
- 13. Mecole Hardman N/A
- 14. American Vandal 1,946 posts
- 15. #FlyEaglesFly 6,060 posts
- 16. Biker 4,103 posts
- 17. Nene Leakes N/A
- 18. Johnny Carson 1,058 posts
- 19. Harvard 33.5K posts
- 20. #EmmettJohnson N/A