Personal Information
Organización/Lugar de trabajo
Austin, Texas Area United States
Ocupación
Research Assistant at The University of Texas at Austin
Sector
Technology / Software / Internet
Acerca de
I am working in Software Verification and Validation Group in The University of Texas at Austin now, working on automatic program repair. We build tools to automatically repair faulty programs.
Before that, I worked in Software Evolution and Analysis Lab (SEAL) in The University of Texas at Austin, working on automatic program transformation and static analysis.
I had an internship in Paypal Risk Data Science Group working on a Machine Learning platform, I worked on an automatic decision support system in Schlumberger, Oil Service Company in Houston in 2013, and I worked in Morgan Stanley algorithm group for automatic stock trading system.
Personally, I am an zealot in software desi...
Etiquetas
machine learning
open source
program synthesis
execution-driven
program sketching
shifu
Ver más
Presentaciones
(3)Personal Information
Organización/Lugar de trabajo
Austin, Texas Area United States
Ocupación
Research Assistant at The University of Texas at Austin
Sector
Technology / Software / Internet
Acerca de
I am working in Software Verification and Validation Group in The University of Texas at Austin now, working on automatic program repair. We build tools to automatically repair faulty programs.
Before that, I worked in Software Evolution and Analysis Lab (SEAL) in The University of Texas at Austin, working on automatic program transformation and static analysis.
I had an internship in Paypal Risk Data Science Group working on a Machine Learning platform, I worked on an automatic decision support system in Schlumberger, Oil Service Company in Houston in 2013, and I worked in Morgan Stanley algorithm group for automatic stock trading system.
Personally, I am an zealot in software desi...
Etiquetas
machine learning
open source
program synthesis
execution-driven
program sketching
shifu
Ver más