Alastair Reid

@alastair_d_reid

ARM Researcher working on formal specification/verification, security, computer architecture, vectors, ... Using Haskell, Z3, Verilog, Scala, Coq, ...

Cambridge, England
যোগদান করেছেন জুন ২০১০

টুইট

আপনি @alastair_d_reid-কে ব্লক করেছেন

আপনি কি এই টুইটগুলি দেখতে চাওয়ার বিষয়ে নিশ্চিত? টুইটগুলি দেখা হলে @alastair_d_reid অবরোধ মুক্ত হবে না।

  1. পিন করা টুইট
    ২৪ সেপ্টেম্বর, ২০১৭

    I wrote about Formal validation of the ARM v8-M specification based on my OOPSLA'17 paper

    পূর্বাবস্থায়
  2. ১৩ জুলাই

    A fine first evening in Oxford for CAV/FLOC. Not just that Oxford beer beats Cambridge beer, but also talking processor verification with people from other companies.

    পূর্বাবস্থায়
  3. পুনঃ টুইট করেছেন
    ৯ জুলাই

    Concert invitation! Please join us this Friday for our summer concert! 8pm , Cambridge. Everyone welcome, concert is free. We'd love to have your support and we guarantee a great night's fun. Please RT

    পূর্বাবস্থায়
  4. পুনঃ টুইট করেছেন
    ৩ জুলাই

    Hard to find another library that has thought as hard about its heap allocation as sqlite:

    পূর্বাবস্থায়
  5. ৪ জুলাই
    পূর্বাবস্থায়
  6. পুনঃ টুইট করেছেন
    ২ জুলাই

    Nice. NetBSD have enabled LLVM address / ub-sanitizers throughout the base system:

    পূর্বাবস্থায়
  7. পুনঃ টুইট করেছেন
    ২ জুলাই

    Very cool to have been a small part of this amazing co-design effort. Can't wait to see post-K up and running!

    পূর্বাবস্থায়
  8. পুনঃ টুইট করেছেন
    ২৭ জুন

    keynote: David Chisnall introducing the CHERI architecture and how to properly secure unsafe languages

    পূর্বাবস্থায়
  9. ২২ জুন

    ps If anybody is wondering what SVE is, we wrote a paper about it last year: . But the short version is: really wide vectors plus cool stuff to make that useful/effective.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  10. ২২ জুন

    Cool to hear that processors with Arm's Scalable Vector Extension (SVE) now exist!

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  11. পুনঃ টুইট করেছেন
    ১৭ জুন
    পূর্বাবস্থায়
  12. পুনঃ টুইট করেছেন
    ১৫ জুন

    And the Heinz Zemanek Price 2018 for the best dissertation in Computer Science at an Austrian institution goes to awarded at Congratulations, Daniel!

    পূর্বাবস্থায়
  13. পুনঃ টুইট করেছেন
    ১৫ জুন

    Tom Heinzinger at Austrian Computer Science Day 2018 : "Computer Science is the science of abstract machines" /// via Roderick Bloem the coordinator of & Faculty seeking students

    পূর্বাবস্থায়
  14. পুনঃ টুইট করেছেন
    ১৫ জুন

    Austrian Computer Science Day 2018 this year in Salzburg featuring speakers such as / our own grantee Laura Kovacs / who shown us / T. Henzinger director of Join the

    পূর্বাবস্থায়
  15. ১২ জুন

    When trying to pass on ownership of a language, should you look for an individual or aim for a team of people (e.g., syntax, type system, semantics, backends, ...)?

    পূর্বাবস্থায়
  16. ১২ জুন

    On Friday, I will be talking about creating formal specifications of the Arm architecture at the Austrian Computer Science Day in Salzburg. Should be fun!

    পূর্বাবস্থায়
  17. পুনঃ টুইট করেছেন
    ১০ জুন

    GCC 8.1 with SVE support now available upstream!

    পূর্বাবস্থায়
  18. পুনঃ টুইট করেছেন
    ৪ জুন

    I was invited by to be on podcast show. It was great! We talked about open source for FPGAs and the TinyFPGA BX project. Have a listen!

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  19. পুনঃ টুইট করেছেন
    ৬ জুন

    In 2016, the most cited scientist on Google Scholar, with 2.4 million citations, was Professor Et Al.

    পূর্বাবস্থায়
  20. পুনঃ টুইট করেছেন
    ৫ জুন

    The prize for the best dissertation in Comp Sci in Austria '16/'17 goes to Daniel Gruss from . His work laid the grounds for discovering +. As the chair of the jury I congratulate him and the shortlisted candidates

    পূর্বাবস্থায়
  21. ৩০ মে

    The really different bit in APL/J seems to be the notion of "rank" (that seems to be related to Einstein notation???) Adding two 3-dimensional matrices just works whereas in Haskell xsss + ysss does not - I need to know how many dimensions I want to lift '+' by.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়

লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।

টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।

    আপনিও পছন্দ করতে পারেন

    ·