GitHub

@gryan11

gryan11

Follow

View gryan11's full-sized avatar

Gabriel Ryan gryan11

Senior Research Scientist in Microsoft CoreAI. Research in A.I. for Code.

Organizations

@microsoft

Block or report gryan11

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. cln2inv cln2inv Public

    Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.

    Roff 21 5

  2. PGA PGA Public

    Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gradients".

    C++ 32 4

  3. gryan11.github.io gryan11.github.io Public

    Personal website based on academic pages template.

    JavaScript 1

  4. dftools dftools Public

    Python 1 1

  5. cudbg/pae cudbg/pae Public

    JavaScript 13

  6. microsoft/toga microsoft/toga Public

    Python 33 14

Read the original on github.com ↗