Hu |
Qi |
2013 |
Scalable Fast Multipole Methods on Heterogeneous Architecture |
Ramani Duraiswami |
Yang |
Changjiang |
2005 |
Efficient Evaluation of Gaussian Sums with Applications in Vision and Learning |
Larry Davis, Ramani Duraiswami |
Lee |
Kookjin |
2017 |
Fast and Optimal Solution Algorithms for Parameterized Partial Differential Equations |
Howard Elman |
Micinski |
Kristopher |
2017 |
Interaction-Based Privacy Policies for Mobile Apps |
Jeffrey Foster |
Hayden |
Christopher |
2012 |
Clear, Correct, and Efficient Dynamic Software Updates |
Michael Hicks, Jeffrey Foster |
Guria |
Sankha Narayan |
2023 |
Program Synthesis with Lightweight Abstractions |
Jeffrey Foster, David Van Horn |
Furr |
Michael |
2009 |
Combining Static and Dynamic Typing in Ruby |
Jeffrey Foster |
Ma |
Kin Keung |
2011 |
Improving Program Testing and Understanding via Symbolic Execution |
Jeffrey Foster, Michael Hicks |
Jeon |
Jinseong |
2016 |
Framework Synthesis for Symbolic Execution
of Event-Driven Frameworks |
Jeffrey Foster |
Pratikakis |
Polyvios |
2008 |
Sound, Precise and Efficient Static Race Detection for
Multi-Threaded Programs |
Michael Hicks, Jeffrey Foster |
Ren |
Brianna |
2019 |
Type Checking and Inference for Dynamic Languages |
Jeffrey Foster |
Srivastava |
Saurabh |
2010 |
Satisfiability-Based Program Reasoning and Synthesis |
Jeffrey Foster |
Hara |
Kotaro |
2016 |
Scalable Methods to Collect and Visualize Sidewalk Accessibility Data for People with Mobility Impairments |
|
Andersen |
Carl |
2008 |
Using Join Networks to Compute Satisfiability |
William Gasarch |
Pleszkoch |
Mark |
1990 |
Machine learning with queries and oracles |
William Gasarch |
Glenn |
James |
1998 |
Implementing WSIS via Finite Automata |
William Gasarch |
Guimaraes |
Katia |
1992 |
The quality of queries |
William Gasarch |
Golub |
Evan |
1999 |
Empirical Studies in Parallel Sorting |
William Gasarch |
Gomaa |
Walid |
2007 |
Model Theory and Complexity Theory |
William Gasarch |
Zhu |
Shaopeng |
2023 |
Applications of Graph Theory and Logic in Computer Science |
William GasarchWilliam Laskowski |
Fakhraei |
Seyed Shobeir |
2017 |
Collective Multi-relational Network Mining |
Lise Getoor |
Sen |
Prithviraj |
2009 |
Representing and Querying Uncertain Data |
Lise Getoor |
Zheleva |
Elena |
2011 |
Prediction, Evolution and Privacy in Social and Affiliation Networks |
Lise Getoor |
Licamele |
Louis |
2012 |
Knowledge Discovery from Gene Expression Data: Novel Methods for Similarity Search,
Signature Detection, and Confounder Correction |
Lise Getoor |
Memory |
Alexander |
2019 |
Collective Relational Data Integration with Diverse and Noisy Evidence |
Lise Getoor |
Islamaj |
Rezarta |
2007 |
Feature Construction and Selection for Splice Site Prediction |
Lise Getoor |
Namata |
Galileo |
2012 |
Identifying Graphs from Noisy Observational Data |
Lise Getoor |
Ramesh |
Arti |
2016 |
A Probabilistic Approach to Modeling Socio-Behavioral Interactions |
Lise Getoor |
Bhattacharya |
Indrajit |
2006 |
Collective Entity Resolution in Relational Data |
Lise Getoor |
Sharara |
Hossam |
2012 |
The Dynamics of Multi-Modal Networks |
Lise Getoor |
Bilgic |
Mustafa |
2010 |
Cost-Sensitive Information Acquisition in
Structured Domains |
Lise Getoor |
London |
Benjamin |
2015 |
On the Stability of Structured Prediction |
Lise Getoor |
Bach |
Stephen |
2015 |
Hinge-Loss Markov Random Fields and
Probabilistic Soft Logic:
A Scalable Approach to Structured
Prediction |
Lise Getoor |
Pujara |
Jay |
2016 |
Probabilistic Models for Scalable Knowledge Graph
Construction |
Lise Getoor |
Buntain |
Cody |
2016 |
Discovering Credible Events in Near Real Time from Social Media Streams |
Jennifer Golbeck |
Abolhassani |
Melika |
2016 |
Assignment Problems with Economic Applications |
Mohammad Hajiaghayi |
Chitnis |
Rajesh |
2014 |
Directed Graphs: Fixed-Parameter
Tractability and Beyond |
Mohammad Hajiaghayi |
Ehsani Banafati |
Soheil |
2017 |
Online Decision Making via Prophet Setting |
Mohammad Hajiaghayi |
Yami |
Hadi |
2020 |
Fairness Guarantees in Allocation Problems |
Mohammad Hajiaghayi |
Saleh Mohammadabad |
Hamed |
2023 |
Parallel Algorithms for Processing Massive Texts and Graphs |
Mohammad Hajiaghayi |
Khani |
Mohammadreza |
2015 |
Revenue Efficient Mechanisms for
Online Advertising |
Mohammad Hajiaghayi |
Esfandiari |
Hossein |
2017 |
Allocations in Large Markets |
Mohammad Hajiaghayi |
Farhadi |
Alireza |
2022 |
Memory-Restricted and Secure Algorithms For Large Datasets |
Mohammad Hajiaghayi |
Liaghat |
Vahid |
2015 |
Primal-Dual Techniques for Online
Algorithms and Mechanisms |
Mohammad Hajiaghayi |
Dehghani |
Sina |
2017 |
Online Network Design under Uncertainty |
Mohammad Hajiaghayi |
Magen |
Assaf |
2019 |
Characterization Of Survival Associated Gene Interactions And Lymphocyte Heterogeneity In Cancer |
|
Sahu |
Avinash |
2016 |
Data Driven Approaches to
Identify Determinants of Heart Diseases and
Cancer Resistance |
|
Khoo |
Yit Phang |
2013 |
User-Centered Program Analysis Tools |
Michael HicksJeffery Foster |
Petroni |
Nick |
2007 |
Property-Based Integrity Monitoring of Operating System Kernels |
William Arbaugh, Michael Hicks |
Saur |
Karla |
2015 |
Dynamic Upgrades for High Availability
Systems |
Michael HicksJeffery Foster |