Darais |
David |
2017 |
Mechanizing Abstract Interpretation |
David Van Horn |
Li |
Hao |
2017 |
|
Tom Goldstein |
De |
Soham |
2018 |
Fast optimization methods for machine learning, and game-theoretic models of cultural evolution |
Tom Goldstein |
Auslander |
Noam |
2018 |
Genome Wide Discovery of Disease Modifiers |
Eytan Ruppin |
Park |
Deok |
2018 |
Visual Analytics for Open-Ended Tasks in Text Mining |
Niklas Elmqvist |
Park |
Young Sam |
2016 |
Active Data Collection Techniques to Understand Online Scammers and Cybercriminals |
Elaine Shi |