Grigore Rosu

@RosuGrigore

Professor , founder . Programming languages, formal methods, software engineering, hiking, go (2 dan), flying, building things.

Champaign, IL
fsl.cs.illinois.edu/grosu
Vrijeme pridruživanja: lipanj 2017.
57 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @RosuGrigore

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

  1. proslijedio/la je Tweet
    21. sij

    More details on the Formal Verification of 2.0 Deposit Smart Contract: The final report is available here:

    7 replies 58 proslijeđenih tweetova 160 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    21. sij

    The deposit contract has been formally verified! 🔥 Fantastic work by the team, it has been a real pleasure working with you. This post, it really highlights why bytecode verification is needed and why you can't trust compilers (particularly the Vyper one.)

    More details on the Formal Verification of 2.0 Deposit Smart Contract: The final report is available here:
    1 reply 16 proslijeđenih tweetova 50 korisnika označava da im se sviđa
    Poništi
  3. 6. sij

    Twitter: You are a monumental waste of time. Just took a two-week break from you and I missed nothing. Starting with 2020, I will only check you once per week. Friends: Contact me by email if you need to, not on Twitter. Everybody: Stop posting garbage, unfollow those who do.

    14 korisnika označava da im se sviđa
    Poništi
  4. 12. pro 2019.

    Coq and K can be used as PL frameworks, where the PL is formalized as a mathematical theory that can be used to execute and reason about PL programs. But there are some subtle differences. Musab and Brandon of explain these in this nice article:

    1 proslijeđeni tweet 10 korisnika označava da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    12. pro 2019.

    “Why use K as opposed to Coq?” Three blog posts using a working example to highlight important ways in which K and Coq differ as formal verification frameworks for languages: Part 1 , Part 2 , Part 3 .

    1 reply 7 proslijeđenih tweetova 23 korisnika označavaju da im se sviđa
    Poništi
  6. 8. pro 2019.

    Of course, of course, how could I make such a mistake...

    2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. 8. pro 2019.

    Double insult: our time is not valuable, and we don't know how to read recommendation letters. Universities, please! Submitting a letter should take 30 seconds or less, in two steps: 1. Click a link in the email message 2. Upload PDF Nothing else.

    15 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. 5. pro 2019.

    JavaScript analysis and code transformation tool built using rigorous, mathematically-grounded principles (matching logic and K). Congratulations for the launch, Cosmin! Cool name, too.

    Today we launch Unhack AI, a GitHub App that fixes bugs and security vulnerabilities in JavaScript code. Unhack all the code!
    6 proslijeđenih tweetova 18 korisnika označava da im se sviđa
    Poništi
  9. 1. pro 2019.

    I just read Sun Tzu's "The Art of War", written ~2500 years ago, and I was very impressed: ; see for info. Probably folklore for many of you, but I strongly recommend it if you have not read it yet. It only takes 2 hours or so.

    16 korisnika označava da im se sviđa
    Poništi
  10. 16. stu 2019.

    A bird's eye overview of Runtime Verification () as a field of study. Kudos to Bernhard and Gerhard for managing to secure LNCS volume number *10000* for their State of the Art and Perspective book, and for inviting us to write a chapter on RV.

    A slice of Runtime Verification history, from and , in the new Springer article "Runtime Verification Past Experiences and Future Projections."
    2 proslijeđena tweeta 19 korisnika označava da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    22. lis 2019.

    With the upcoming update to Serenity, we are happy to report the first milestone of the ongoing collaboration between and : building a formal framework for modeling and verifying the Beacon Chain.

    14 proslijeđenih tweetova 44 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    6. lis 2019.

    We are kicking off tomorrow at 9:00 am in Room B7, with a seminar on Formal Verification for Blockchain. Showing some lightweight and heavyweight tools for formal verification, and the path to automation.

    1 reply 11 proslijeđenih tweetova 33 korisnika označavaju da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    3. lis 2019.

    Congratulations to Professor Jiawei Han, who was invested as a Michael Aiken Chair, one of the most distinguished honors on campus, this afternoon! Read about Han’s contributions to computer science:

    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  14. 4. lis 2019.

    UIUC is hiring this year faculty in all areas of CS, at all ranks. Please consider applying if interested in joining a lively, friendly and collaborative department. Be warned: after a few months in Urbana-Champaign, you won't want to go anywhere else.

    6 korisnika označava da im se sviđa
    Poništi
  15. 30. ruj 2019.

    Painting the house? New sleep opportunities.

    2 korisnika označavaju da im se sviđa
    Poništi
  16. 27. kol 2019.

    I teach UIUC Software Engineering 1 this fall (120 students). Others who taught this class before (Ralph Johnson, Darko Marinov, Tao Xie, Danny Dig) said that students find this class pretty boring overall. How can a SE class be made interesting, both for teacher and students?

    5 replies 1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    8. kol 2019.

    We re-read 23 smart contract audits and found: - 78% of high impact, easily exploitable findings are discoverable with automated analysis tools - 50% of all findings will never be found with automated tools - Unit testing _has no impact on security_

    246 Findings From our Smart Contract Audits: An Executive Summary
    99 proslijeđenih tweetova 255 korisnika označava da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    31. srp 2019.

    Book your conference schedule for the workshop - Formal Verification of Smart Contracts using KEVM (FRI 8/2, 1:30 pm) , and presentation - Firefly: Run your tests in Truffle using KEVM (SUN 8/4, 1:30pm)

    6 proslijeđenih tweetova 10 korisnika označava da im se sviđa
    Poništi
  20. 20. srp 2019.

    Hanging out with new and old friends at LICS'19 in beautiful Vancouver: Daniela Petrisan, Helle Hvid Hansen, Bartek Klin, James Worrell, and .

    7 korisnika označava da im se sviđa
    Poništi

@RosuGrigore još nije objavio nijedan Tweet.

Č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:

    ·