Ronghui Gu

@guronghuieric

Assistant Professor in Computer Science at Columbia; Research in Formal Verification

Vrijeme pridruživanja: listopad 2012.

Tweetovi

Blokirali ste korisnika/cu @guronghuieric

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @guronghuieric

  1. proslijedio/la je Tweet
    7. sij

    🚨 Client Spotlight Alert! 🚨 CertiK applied different types of approaches, such as manual review, static analysis, and , to audit smart contracts! 🔐💯 Details regarding the token audit below!

    Poništi
  2. 23. pro 2019.

    Our paper "CLN2INV: Learning Loop Invariants with Continuous Logic Networks" got accepted by ICLR2020! CLN2INV is a component of the smart labeling technique described in the CertiK Whitepaper.

    Poništi
  3. proslijedio/la je Tweet
    6. pro 2019.

    🎉🎈IT OUR BIRTHDAY! 🎉🎈 Since our inception, we’ve grown tremendously! And it’s safe to say we’ve accomplished a lot. Thank you to everyone for supporting us on this journey 🙏 Stay tuned for our swag giveaway and other activities! 🥰

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    10. pro 2019.

    ALERT🎉 In honor of our birthday we're doing a CertiK Swag Giveaway! THREE winners will win a CertiK T-shirt! (One entry per user!) 👕 To enter: 1. Follow us () 2. Retweet, Tag a Friend and Use Closes Monday 12/16 at 11:59pm EST!

    Poništi
  5. proslijedio/la je Tweet
    4. pro 2019.

    The is based on CertiK Foundation’s unique Formal Verification system 💻 On-chain smart contracts will hold cryptographic certificates as proof of verified security & can interact with each other to check for those machine-checkable proofs

    Poništi
  6. proslijedio/la je Tweet
    28. stu 2019.

    🦃 Happy Thanksgiving CertiK Community!! 🦃 We have a lot to be thankful for - here are a few! 😀

    Poništi
  7. proslijedio/la je Tweet
    22. stu 2019.

    The CertiK Foundation, a research organization pioneering Formal Verification and end-to-end blockchain security, is proud to announce the CertiK Chain's scheduled Testnet 3.0 open beta launch early next week! More on the full story here:

    Prikaži ovu nit
    Poništi
  8. 18. stu 2019.

    PLDI2020 is open for submissions! Looking forward to a fantastic set of submissions!

    Poništi
  9. 28. lis 2019.

    So enjoyable collaborating with Microsoft researchers.

    Poništi
  10. 28. lis 2019.

    Our paper, "Scaling Symbolic Evaluation for Automated Verification of Systems Code with Serval", just won the best paper award at SOSP 2019! Two out of 38 accepted papers and 276 submissions received this award!

    Poništi
  11. 9. lis 2019.

    Our RT-CertiKOS, a verified real-time OS kernel extended from CertiKOS, got accepted by POPL2020! Also, please check out our CACM Research Highlights paper on "Building Certified Concurrent OS Kernels":

    Poništi
  12. 2. lis 2019.

    Thanks for the recognition from CACM. Please check out our recent CACM research hight paper on building certified concurrent OS kernels!

    Poništi
  13. 12. ruj 2019.
    Poništi
  14. 5. ruj 2019.
    Poništi
  15. 4. ruj 2019.

    Please try to play with our Solidity tutorial.

    Poništi
  16. proslijedio/la je Tweet
    27. kol 2019.

    Swipe locks the Founders & Advisors 60M Tokens (~$13M USD) in a Time-Lock Smart Contract for 6 years. The Time-Lock Contract has been successfully audited & certified by . Find out all the details below 👇

    Poništi
  17. proslijedio/la je Tweet
    29. kol 2019.

    Introducing our new series: ✅How Works!✅ "That freedom from central authority makes Bitcoin more robust — if it could’ve been stopped by now, it would’ve." Read Part 1 of our series below ⬇️

    Poništi
  18. 8. kol 2019.
    Poništi
  19. 6. kol 2019.

    CertiK will provide a one-stop supernode security solution for EOS.

    Poništi
  20. 2. kol 2019.
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·