English

Posts with #CodeMeshV

#CodeMeshV

Public posts on X that use #CodeMeshV.

Related hashtags

  3. Francesco Cesarini@FrancescoC
    #CodeMeshV never ceases to remind me how lucky I am meeting so many pioneers who helped form computer science as we know it today. I started to program Turtle Graphics at 12 on a Commodore Vic 20. 37 years on, I am listening to Cynthia Solomon telling me about it.
    Download
    0115
  4. CodeMeshIO@CodeMeshIO
    "If you want to think rigorously, the best way is to use mathematics" - listening to the great Leslie Lamport now at #CodeMeshV
    Download
    2323
  5. Satnam Singh✓@satnam6502
    #CodeMeshV talk done! As usually I am emotionally drained after a high energy presentation. Hopefully I have helped to spread the word about formal methods for the design *and* implementation of high assurance systems. Time to go for a cycle ride to wind down.
    Annette Bieniusa @anne_biene
    @satnam6502 does a tremendous job of conveying his engaging lively style of presentation over video. Fascinating project! #CodeMeshV
    4245
  7. Satnam Singh✓@satnam6502
    In my very first slide at my #CodeMeshV talk today on formal verification for security hardware I will start with an illustrative Coq proof in Visual Studio Code showing rev (rev l) = l. Hopefully I will not loose everyone at slide 1!
    Download
    1340
  8. Satnam Singh✓@satnam6502
    My talk "A True Heart of Silicon" at #CodeMeshV in November will describe work formally specifying, verifying and re-implementing high assurance components of the silicon root of trust on FPGAs. With @BenBlaxill and Jade Philipoom.
    Download
    2752
  9. Jessica Kerr✓@jessitron
    Professional Starcraft players learn a complicated game FAST. Professional developers learn complicated games, too. What techniques can we take from Starcraft? a presentation for #CodeMeshV by @webyrd
    41043
  14. CodeMeshIO@CodeMeshIO
    What a line up for #CodeMeshV 5-6 November - functional programming pioneer David Turner, Turing Award winner Leslie Lamport, Scala co-creator, Martin Odersky and more from biggest companies in tech - @Oracle , Facebook, Google, @lightbend , @RedHat
    Download
    013
  20. CodeMeshIO@CodeMeshIO
    If you didn't manage to join us at #CodeMeshV you can still catch-up with all the talk videos, QandA rooms and chat forums that were at the conference through purchasing exclusive access to our @CodeSyncGlobal virtual conferences hub. #tech
    079
  23. Show more posts