Allan Blanchard

@__AllanB

PhD, Researcher at . Using Formal Methods for C programs. user and developer.

allan-blanchard.fr
Vrijeme pridruživanja: kolovoz 2019.
1 fotografija ili videozapis Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @__AllanB

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

  1. 17. sij

    A new version of my tutorial is available. It mainly follows some changes in Frama-C Calcium but also includes a few minor fixes. Note that the French version is back. EN: FR:

    1 reply 7 proslijeđenih tweetova 14 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    14. sij

    Who needs feature-test macros anyway

    21 reply 168 proslijeđenih tweetova 570 korisnika označava da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    1. sij

    Janvier 2010 : je mettais les pieds pour la 1ère fois dans un laboratoire de recherche. Dix ans après, je suis usée et je n’ai aucune perspective d’avenir.

    141 reply 942 proslijeđena tweeta 2.148 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    11. pro 2019.

    Okay guys, help me out. My mum believes I’m too old to be a nerd and to fangirl over things (I’m 23). Well, I think NOT 👌🏼 Please retweet this if you’re 23 and over and you’re a proud nerd 💛

    16.660 proslijeđenih tweetova 23.585 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    20. stu 2019.

    Start with 82 and go backwards to 1 8281807978777675747372717069686 7666564636261605958575655545352 5150494847464544434241403938373 6353433323130292827262524232221 2019181716151413121110987654321 ...this number is prime!

    255 replies 5.382 proslijeđena tweeta 37.532 korisnika označavaju da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    14. stu 2019.

    Something good is coming... The “Verification and Validation of IoT” webinar organised by ! Explore the topics of this promising webinar and join us on the 9th of December at 2 p.m.!

    2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    15. lis 2019.

    Les L3 ont ensuite embrayé sur le véhicule autonome. J'ai soupiré et ai apporté descompléments. La partie "intelligence artificielle" c'est le renoncement à la spécification explicite. C'est troublant dans une optique de certification.

    Odgovor korisniku/ci @MonniauxD
    Il faudrait faire passer le message du côté de l'industrie des véhicules autonomes.
    3 proslijeđena tweeta 9 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    15. lis 2019.

    Les L3 ce matin m'ont demandé comment sécuriser l'allocation mémoire dans les logiciels avioniques. J'ai répondu: en n'en faisant pas.

    5 proslijeđenih tweetova 33 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    10. lis 2019.

    Ah sinon nous cherchons un stagiaire de M2 pour du CompCert, poursuite en thèse (CIFRE ou allocation ED) possible.

    2 proslijeđena tweeta
    Poništi
  10. proslijedio/la je Tweet
    30. ruj 2019.

    Aujourd’hui on s’est bien fait ken par une de nos ia On lui avait demandé de distinguer les voitures des bus sur des photos Elle a eu 100% de réussite

    10 replies 110 proslijeđenih tweetova 202 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    27. ruj 2019.

    The will end by the end of this year but some tangibles will remain after the project wraps up. Find out more about it in our informative but short explanation video.

    2 proslijeđena tweeta
    Poništi
  12. 26. ruj 2019.

    As is approaching, the Virtual Machine for Frama-C-IoT is now available at ! During this half day tutorial, we will present some results of , verifying code from the OS for Internet-of-Things. See you there!

    Interested in the results of ? We will present some of them ! Goal of this half-day tutorial: formally verify some real code from with . More information here : .
    2 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    19. ruj 2019.

    Victor Allombert, Mathias Bourgoin and Julien Tesson from Nomadic Labs just published an introduction to the Tezos blockchain, a detailed summary about the technology behind

    33 proslijeđena tweeta 65 korisnika označava da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    3. ruj 2019.

    Periodic reminder that there are sites out there that depend on JS stack overflows happening and will hang if the stack doesn’t overflow in a timely manner

    Odgovor korisnicima @antumbral @kripken
    In Firefox, we see perf issues on some sites when the stack size is too big.
    20 replies 112 proslijeđenih tweetova 313 korisnika označava da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    29. kol 2019.

    Category theory is the one discipline I know of that can find such scary names for such simple concepts. Like "oh yeah that's just the quasi-(∞,1) closed cartesian death metal hom-presheaf fibration of cotorture" "the what" "this little arrow here you imbecile"

    102 proslijeđena tweeta 402 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    29. kol 2019.

    Arm just released an implementation of their ASL specification. language. This is not the tool they use internally, but a cleanroom implementation created while writing a specification of the language. Consists of lexer/parser/typechecker/interpreter.

    6 replies 42 proslijeđena tweeta 99 korisnika označava da im se sviđa
    Poništi
  17. 21. kol 2019.

    Interested in the results of ? We will present some of them ! Goal of this half-day tutorial: formally verify some real code from with . More information here : .

    FM Week News 🆕 More information about the ➡️ FRAMA-C-IoT ⬅️ tutorial is now available at 😀 You are welcome to attend
    4 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    19. kol 2019.

    FM Week News 🆕 More information about the ➡️ FRAMA-C-IoT ⬅️ tutorial is now available at 😀 You are welcome to attend

    3 proslijeđena tweeta
    Poništi

@__AllanB 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:

    ·