gryan11

Senior Research Scientist in Microsoft Data & A.I. group. Research in A.I. for Code.

@MicrosoftCambridge, MA

Pinned Repositories

pae
Language:JavaScript120
cln2inv
Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
Language:Roff22 4 17
cu-bigdata-graphnns
Columbia Big Data Analytics graph -> neural network project
Language:Jupyter Notebook23
dftools
Language:Python11
gryan11.github.io
Personal website based on academic pages template.
Language:JavaScript10
PGA
Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gradients".
Language:C++32 4 04
PLA
Language:Python30
toga
Language:Python29 6 611

gryan11's Repositories

gryan11/PGA
Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gradients".
Language:C++32 4 04
gryan11/cln2inv
Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
Language:Roff22 4 17
gryan11/PLA
Language:Python30
gryan11/cu-bigdata-graphnns
Columbia Big Data Analytics graph -> neural network project
Language:Jupyter Notebook23
gryan11/resume
Language:TeX22
gryan11/cln_tutorial
Language:Jupyter Notebook1
gryan11/dftools
Language:Python11
gryan11/gryan11.github.io
Personal website based on academic pages template.
Language:JavaScript10
gryan11/catan-dice
Language:Swift1 0
gryan11/cu-dlcv-sketchnet
Language:Jupyter Notebook
gryan11/cu-sec.github.io
Columbia University Security Lab Website
Language:HTML
gryan11/grvim
Language:Vim script
gryan11/linux
Linux kernel source tree
gryan11/lsh
Language:Python
gryan11/petsc_cuda_tutorial
Short tutorial on using PETSC with CUDA
gryan11/try_git