Thomas Gilray

@tomgilray

Asst. Prof @ UofA, Birmingham, computer science (previously Basili Fellow @ UofMD, PLUM Lab). I build static analyses.

Vrijeme pridruživanja: studeni 2015.

Tweetovi

Blokirali ste korisnika/cu @tomgilray

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

  1. 29. sij

    Any chance tip culture could ever be rolled back, or is this one of those cases where incremental 'improvement' only goes one way (toward 25% tips)? A truly optional 0-15% tip, atop a competitive agreed-upon wage, seems infinitely more sane.

    Prikaži ovu nit
    Poništi
  2. 29. sij

    Hadn't realized it was quite so optimized on the app side, but now seems obvious it *would* be. Makes me think of the many businesses able to rely on tips to put service-industry workers in the black--business gets the required fee; worker gets the optional, but expected tip...

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    28. sij
    Odgovor korisniku/ci

    And, in the limit, it is the halting problem. "Cyberwars are not won by solving the halting problem. Cyberwars are won by making the other poor bastard solve the halting problem"

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

    If this (first para, sec 2) isn't a damning indictment of reverse engineering tools circa 2014, I don't know what is

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

    Great talk at by about our work on probabilistically oblivious computation!

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

    Reminder that signed a letter against open access. Please sign the petition to demand they withdraw their signature:

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

    Why doesn’t Jo, the largest Little Women, not simply eat the other three?

    Poništi
  8. proslijedio/la je Tweet
    7. stu 2019.

    My daughter (10th grade) is learning Python in school, and she's been coming to me for help with assignments. Some observations, as a educator by day & dad by night...

    Prikaži ovu nit
    Poništi
  9. 19. pro 2019.

    Just trying to understand code that understands code...

    Poništi
  10. 19. pro 2019.

    Our long-term goal is to use this tech in the back-end of a massively parallel logical inference engine, with declarative front-end language, for static program analysis and other kinds of logical tasks.

    Prikaži ovu nit
    Poništi
  11. 19. pro 2019.

    Turns out and I won a best paper award at HiPC for our approach to parallel relational algebra. After many versions, it's nice to see this make a splash. Read the paper here:

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

    The Collatz conjecture is the simplest, most treacherous unsolved problem in mathematics. Like a siren's song, you could lose yourself in it forever. But now Terry Tao has made the biggest progress on the problem in decades. New in

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

    We present TL;DR First ever fault injection attack on Intel SGX enclaves. Abuses an undocumented software-based interface to undervolt the CPU. Extract full crypto keys and trigger memory safety violations in bug-free code. Read the paper at

    , , i još njih 3
    Poništi
  14. proslijedio/la je Tweet
    4. pro 2019.

    We are accepting applications for the Basili postdoctoral fellowship at UMD. We've had great postdocs come work in PLUM, including , , , and Robert Rand; join this exclusive club!

    Poništi
  15. 3. pro 2019.

    Come join the CS department and UAB student ACM for an end-of-the-year BBQ and super smash bros tournament tomorrow, 4pm!

    Poništi
  16. proslijedio/la je Tweet
    30. stu 2019.

    The Programming Languages and Quantum Computing (PLanQC) workshop program is up! Colocated with , 19 January 2020; no quantum computing expertise required! Learn about this great area!

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

    one persistent belief I hold: humans consistently see things as getting worse, when by most objective metrics, things are getting better. We see the bad accumulate in our lives, how can we balance that with the fact that we have much cause for optimism and hope?

    Poništi
  18. proslijedio/la je Tweet
    9. stu 2019.

    In PLDI 1989, Briggs et al. presented an algorithm for register allocation via graph colouring that improved upon Chaitin's original version. What will be presented at ? Submissions are due on 22 Nov. (And workshop proposals are due on 15 or 29 Nov.)

    Poništi
  19. proslijedio/la je Tweet
    6. stu 2019.

    Hot take: the idea of metaprogramming for static analyses has been seriously underexplored. The cores of anlaysis engines are hard enough to get right, but then many tools make it so confusing, e.g., where entry points are, how framework is being abstracted, etc..

    Poništi
  20. proslijedio/la je Tweet
    6. stu 2019.

    Want to learn how to use Datalog to declaratively and quickly implement a control-flow analysis of the lambda calculus? Check out my slides on constraint-based and declarative program analysis! Really loved making these

    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:

    ·