Jubi Taneja

@jubitaneja

Computer science PhD student ; working on a superoptimizer for LLVM IR; Webassembly Intern ;

Vrijeme pridruživanja: prosinac 2011.

Tweetovi

Blokirali ste korisnika/cu @jubitaneja

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

  1. Prikvačeni tweet
    11. sij

    Finally, got my paper accepted at CGO 2020. I'm grateful to my advisor, for supporting and guiding me throughout this journey. Thanks to @hyperoptimizer for an amazing collaboration. Also, thanks to the anonymous reviewers for their valuable feedback. 🙏

    Poništi
  2. prije 3 sata
    Poništi
  3. prije 6 sati
    Poništi
  4. proslijedio/la je Tweet
    1. velj

    99 smartphones are transported in a handcart to generate virtual traffic jam in Google Maps. Through this activity, it is possible to turn a green street red which has an impact in the physical world by navigating cars on another route!

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

    Why do I need to bother teaching proof assistants when I can get my graphics colleagues to do it? "Projective Geometry via Interactive Proof Assistants"

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

    here's a fun batch of nops from souper the common cases are -(-x) and (x*2)/2 but there are a few pretty surprising and weird ones hiding in there!

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

    The panel is on YouTube! Stay tuned for highlights sometime after POPL. Thanks all for making this great!

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

    It's official! "Modern Systems Programming with Scala Native" is 100% done and going into print: I'm so excited to share with more folks, and for the broader Scala community to see the power of low-level programming in Scala!

    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
    20. sij

    We () just opened our software testing lecture notes. It currently contains 14 full chapters, 52k words, 63 videos, and 82 exercises. License: CC-BY-NC-SA. Feel free to use it!

    Poništi
  11. 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
  12. proslijedio/la je Tweet
    16. sij

    📢 Announcing better support for fuzzing with structured inputs in Rust! 📢 New releases of `cargo fuzz`, `libfuzzer-sys`, and `arbitrary` better support writing fuzz targets that take well-formed instances of custom input types. Details:

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

    so as a little side project I've been trying to synthesize abstract transfer functions for the "known bits" domain that LLVM leans heavily on. a fun finding is that I can get a maximally precise function for subtracting known bits!

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    26. pro 2019.

    Beyond Debug Information: Improving Program Reconstruction in LLDB using C++ Modules 2019 Raphael Isemann ()

    Poništi
  15. 11. sij

    Omg!! I just saw this beautiful ring around the full moon! 😍

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

    For 2020 I'm doing a 1 C++ Best Practice per retweet thread! I wrote my first blog article about C++ best practices in 2007. In many ways I've been repeating myself over and over again for the last 13ish years. And very little of what I say is novel. Thread follows:

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

    as educators we often don't do a great job teaching debugging. this is my favorite book on the topic: cc

    Prikaži ovu nit
    Poništi
  18. 4. sij

    So courageous! As a beginner in research, time to take lesson for the lifetime.

    Poništi
  19. 1. sij

    And, the one subject that I have been married to in this decade is COMPILERS. Learning bit-by-bit where somedays are 0 and some are 1.

    Prikaži ovu nit
    Poništi
  20. 1. sij

    I have met SO many people in this decade who helped me grow personally and technically. Thank you so much everyone who has been part of my life! 🙏 Looking forward to another exciting year and a decade. 😊 Happy New Year!! 🎉

    Prikaži ovu nit
    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:

    ·