Matteo

@mttbsu

PhD Student . Formal methods, language-based security and secure compilation. Runner and cyclist.

Italy
Vrijeme pridruživanja: kolovoz 2010.

Tweetovi

Blokirali ste korisnika/cu @mttbsu

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

  1. proslijedio/la je Tweet
    27. sij

    Just returned from and the CPP and PriSC talk recordings are already available online. Benjamin Chung and the other volunteers did an amazing job at recording the talks! The main conference coming soon too?

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    24. sij

    In case you missed yesterday's business meeting, will be in Copenhagen! We hope to see you there!

    Poništi
  3. proslijedio/la je Tweet
    21. sij

    Introducing Euro S&P Workshops (Part 1/11): HotSpot: Hot topics in the Principles of Security and Trust

    Poništi
  4. proslijedio/la je Tweet
    19. sij

    This Friday we again had our bi-yearly operating systems course final event & it was really great. More people than ever (>120) celebrating what they achieved this semester. Everyone & especially the teachers, showing great appreciation for what the students achieved. Back story:

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet

    Salvini in collegamento da Giletti mentre cucina la pizza nel forno a legna, pala in mano 🔝✈️ Italia paese meraviglioso. Non abbiamo niente da invidiare ai populismi sudamericani. Ah e in ore di scemenze neanche un contrasto, un “ma”, niente. La pagheremo tutti, sta cosa.

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    18. sij

    ACM is thinking about how citations should appear in computer science papers. Current citations use author-year format. Some find it verbose. Prev poll had vote splitting—let's try ranking options instead: (RT if you care about this issue)

    Poništi
  7. proslijedio/la je Tweet
    8. sij

    C++ is a Swiss army knife of a language. Every few years it sprouts a couple more odd-shaped blades to cut yourself on.

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

    Attending THESES, a new event that brings together (young) researchers from the Department of Computer Science of University of Pisa and Master’s students.

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

    How invented computing and it's currently reinventing it ... Super interesting talk on by at – mjesto: Dipartimento di Informatica

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

    Prof. Luccio on the major benefit in a teacher's life: it is working with young people :) – mjesto: Dipartimento di Informatica

    Poništi
  11. proslijedio/la je Tweet
    27. stu 2019.

    [1/10] Dear colleague who showed this slide to our MSc students. Acceptance rate is a possible quality indicator of a conference, but not the only one. Sure, if we rank papers on quality and cap early, the best ones remain. But in practice, ranking and capping is never trivial.

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    2. ruj 2019.

    Diciamo che Casaleggio è assolutamente in buona fede ma che, comunque, domani, un hacker qualsiasi potrà decidere il futuro prossimo di questo paese. Tutto a posto?

    Poništi
  13. proslijedio/la je Tweet

    “There was no second chance. We all knew that.” Margaret Hamilton led the team that developed the building blocks of software engineering — a term that she coined herself — for Apollo guidance. Remember the women who made possible:

    Poništi
  14. proslijedio/la je Tweet

    Certified Programming with Dependent Types

    Poništi
  15. proslijedio/la je Tweet
    2. srp 2019.

    'The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise' - Edsger Dijkstra

    Poništi
  16. 2. srp 2019.

    Nice to see Secure Compilation becoming "mainstream"!

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

    New post on PL Perspectives, the blog, by Jens Palsberg, the SIGPLAN Chair, on the state of SIGPLAN. Also, RSS and email subscriptions now available.

    Poništi
  18. proslijedio/la je Tweet
    21. lip 2019.

    'Beware of bugs in the above code; I have only proved it correct, not tried it.' -- Donald Knuth

    Poništi
  19. proslijedio/la je Tweet
    12. srp 2018.

    A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable. - Lamport

    Poništi
  20. proslijedio/la je Tweet
    22. tra 2018.
    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:

    ·