Votipka |
Daniel |
2020 |
A Human-Centric Approach to Software Vulnerability Discovery |
Michelle Mazurek |
Auslander |
Noam |
2018 |
Genome Wide Discovery of Disease Modifiers |
|
Ghiasi |
Mohammad Amin |
2022 |
ROBUSTNESS AND UNDERSTANDABILITY OF DEEP MODELS |
Tom Goldstein |
Li |
Hao |
2017 |
|
Tom Goldstein |
De |
Soham |
2018 |
Fast optimization methods for machine learning, and game-theoretic models of cultural evolution |
Tom Goldstein |
Saadatpanah |
Parsa |
2021 |
Adversarial Machine Learning in the Wild |
Tom Goldstein |
Shafahi |
Ali |
2020 |
Adversarial Vulnerabilities of Deep Networks and Affordable Robustness |
Tom Goldstein |
Zhu |
Chen |
2022 |
Towards Reliable and Efficient Representation Learning |
Tom Goldstein |
Curry |
Michael Jeremiah |
2022 |
Learning and Robustness With Applications To Mechanism Design |
Tom Goldstein |
Kim |
Doowon |
2020 |
Understanding of Adversary Behavior and Security Threats in Public Key Infrastructures |
Tudor Dumitras |
Suciu |
Octavian |
2021 |
Data-Driven Techniques For Vulnerability Assessments |
Tudor Dumitras |
Kaya |
Yigitcan |
2023 |
The Limitations of Deep Learning Methods in Realistic Adversarial Settings |
Tudor Dumitras |
Gong |
Huijing |
2021 |
Improved Robustness and Versatility of Lattice-Based Cryptography |
Dana Dachman-Soled |
Guria |
Sankha Narayan |
2023 |
Program Synthesis with Lightweight Abstractions |
Jeffrey Foster, David Van Horn |
Darais |
David |
2017 |
Mechanizing Abstract Interpretation |
David Van Horn |
Nguyen |
Phuc |
2019 |
Higher-order Symbolic Execution |
David Van Horn |
Bock |
Kevin |
2022 |
Automating the Discovery of Censorship Evasion Strategies |
Dave Levin |
Wu |
Shanchan |
2012 |
Prediction in Social Media for Monitoring and Recommendation |
Louiqa Raschid |
Lee |
Woei-Jyh |
2009 |
A Framework for Discovering Meaningful Associations in the Annotated Life Sciences Web |
Louiqa Raschid |
Sayyadi |
Hassan |
2014 |
Authority Flow-Based Ranking in Heterogeneous Networks: Prediction,
Personalization, and Learning to Rank |
Louiqa Raschid |
Bright |
Laura |
2003 |
Improving Data Access in Mobile and Wide Area Environments |
Louiqa Raschid |
Wu |
Yao |
2009 |
Computing Customized Ranking |
Louiqa Raschid |
Yuan |
Yuan |
2007 |
Enabling Dynamic Spectrum Location in Cognitive Radio Networks |
William Arbaugh, Ashok Agrawala |
Clancy III |
Thomas |
2006 |
Dynamic Spectrum Access in Cognitive Radio Networks |
William Arbaugh |
Mishra |
Arunesh |
2005 |
Supporting Secure and Transparent Mobility in Wireless-Local-Area Networks |
William Arbaugh |
Petroni |
Nick |
2007 |
Property-Based Integrity Monitoring of Operating System Kernels |
William Arbaugh, Michael Hicks |
Shin |
Min-ho |
2007 |
Localized Distributed Hash Table (LDHT): A Fast Scalable Peer-to-Peer Lookup Service in Multi-Hop Wireless Networks |
William Arbaugh |
Seng |
Chuk |
2010 |
Robust Trust Establishment in Decentralized Networks |
William Arbaugh |
Renner |
Alison |
2019 |
Designing for the Human in the Loop: Transparency and Control in Interactive Machine Learning |
Jordan Boyd-Graber |
Malu |
Meethu |
2018 |
Designing and Implementing Accessible Wearable Interactions for People with Motor Impairments |
|
Oh |
Uran |
2016 |
Accessible On-Body Interaction for People With Visual Impairments |
|
Cardenas-Garcia |
Sergio |
1991 |
A formal framework for evaluating multiattribute software specifications |
Marvin Zelkowitz |
Yeh |
Jeffry |
1975 |
Modelling of concurrent control structures and parallel processing |
Marvin Zelkowitz |
Bail |
William |
1985 |
Algorithm Structure Analysis Using Hierarchical Abstract Computers |
Marvin Zelkowitz |
Tian |
Jianhui |
1992 |
Understanding and using program complexity to improve software development |
Marvin Zelkowitz |
Choi |
Seungryul |
2006 |
Hill-Climbing SMT Processor Resource Distribution |
Donald YeungDonald Yeung |
Caragea |
George |
2011 |
Optimizing for a Many-Core Architecture
without Compromising
Ease-of-Programming |
Uzi Vishkin |
Sahinalp |
S. Cenk |
1997 |
Locally consistent parsing for string processing |
Uzi Vishkin |
Kim |
Youngmin |
2008 |
Saliency-Guided Graphics and Visualization |
Amitabh Varshney |
Juba |
Derek |
2013 |
Highly Parallel Geometric Characterization and
Visualization of Volumetric Datasets |
Amitabh Varshney |
Sun |
Xuetong |
2021 |
Towards Effective Displays for Virtual and Augmented Reality |
Amitabh Varshney |
Ip |
Cheuk Yiu |
2013 |
Towards Data-Driven Large Scale Scientific Visualization and Exploration |
Amitabh Varshney |
Kalaiah |
Aravind |
2005 |
Visual Data Representation using Context-Aware Samples |
Amitabh Varshney |
Bista |
Sujal |
2014 |
Visual Computing Tools for Studying Micro-Scale Diffusion |
Amitabh Varshney |
Meng |
Xiaoxu |
2020 |
Enhancing Visual and Gestural Fidelity for Effective Virtual Environments |
Amitabh Varshney |
Feng |
Yushan |
2023 |
|
Amitabh Varshney |
Hao |
Xuejun |
2004 |
Efficient Geometry and Illumination Representations for Interactive Visualization |
Amitabh Varshney |
Cheng |
Hsueh-Chien |
2017 |
Multimodal Biomedical Data Visualization: Enhancing Network, Clinical, and Image Data Depiction |
Amitabh Varshney |
Lee |
Chang |
2005 |
Perceptual Graphics for Effective Visualization |
Amitabh Varshney |
Kim |
Youngmin |
2008 |
Saliency-Guided Graphics and Visualization |
Amitabh Varshney |