Matt

@matt_dz

C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance

Vrijeme pridruživanja: studeni 2010.

Tweetovi

Blokirali ste korisnika/cu @matt_dz

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

  1. Prikvačeni tweet
    14. sij 2017.
    Poništi
  2. proslijedio/la je Tweet
    prije 23 sata

    Pushed a bunch of updates to x86-info-term, including data from

    Poništi
  3. proslijedio/la je Tweet
    1. velj

    It's not every day that a read-after-write makes a server spend 4% of its CPU cycles in one instruction. Wrote that one up here:

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

    "Parallelizing Binary Code Analysis", Meng et al. Parallelizes Dyninst to improve control/data flow analysis + debug information parsing performance. Uses perf analysis to identify expensive code and applies race detectors to guide synchronization.

    Poništi
  5. proslijedio/la je Tweet
    27. sij

    nice blog post by summarizing replies to my question about modernizing a compiler course!

    Poništi
  6. proslijedio/la je Tweet
    27. sij

    20 mins for presenting years of work at scientific conferences is often frustrating! This time, gave me 50 extra mins at to exchange with a stimulating audience about our work on compiler fuzzing impact. Check out the video!

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

    The ASPLOS camera-ready preprint for Egalito, our binary recompiler, is now available! Appendix A links to a virtual machine with Egalito preinstalled.

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

    open question for compiler people: what should be taught in a modern undergrad compiler class? I'm revamping / modernizing Utah's version of this and would appreciate feedback

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    22. sij

    new blog post stemming from 's work, this one mentions a few places where the precision of LLVM's demanded bits analysis could be tuned up

    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    22. sij

    New Tech Blog! Ying Yi details her research project studying the benefits of changing the build workflow to store object data in a database instead of object files.

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

    Excited for “Great Instruction Set Architectures” reading seminar and all the hot takes on LISP machines...

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

    Here we go, an intrinsics guide for the terminal: There's some rough edges (it's all just hacky curses calls), but it's pretty sexy looking so far, if I do say so myself

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

    Pragmatic Hoeffding's inequality: s/log n/7/, and the error rate is vastly dominated by hardware failure (:

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    20. sij

    Martin Lücke presenting our latest work on implementing our functional pattern-based language in MLIR Paper with more details is available here

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    19. sij

    "Use AVX512 Galois field affine transformation for bit shuffling" Thanks to and for inspiration.

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

    After another month of working more on OpenRISC glibc, finishing FPU and setcontext/getcontext implementations, I took some time to finish the second installment in my series on Thread Local Storage.

    Poništi
  17. proslijedio/la je Tweet
    18. sij

    Camera-ready version of our VMCAI paper on exploring multi- and cross-language (think C+Rust) verification with SMACK is out. Check out Jack (JJ) Garzella's (undergraduate that spearheaded this work!) talk tomorrow at VMCAI.

    Poništi
  18. proslijedio/la je Tweet
    18. sij

    My students and I will present a hands-on tutorial "Building Program Reasoning Tools using LLVM and Z3" at on Monday Jan 20 during 9-12:30. All are welcome! Details at

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

    New C++ papers available! 🥳 Last fixes for C++20, then on to C++23! 🎉

    Poništi
  20. proslijedio/la je Tweet
    17. sij

    Heard about AVX-512 performance transitions party from the the cool kid down the block, but not sure if your parents will let you go? I'll go there so you don't have to: Includes run-on sentences weighed down by up to three footnotes each.

    Prikaži ovu nit
    Poništi
  21. proslijedio/la je Tweet
    16. sij

    We just moved Project Verona into the open on Github to facilitate academic collaborations in language research.

    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:

    ·