Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.


Item hits:
Publication DateArticle TitleAuthor(s)
Aug-2021Deriving efficient program transformations from rewrite rulesLi, John M; Appel, Andrew W
Aug-2017A general approach to network configuration verificationBeckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David
2014Bayesian Nonparametric Poisson Factorization for Recommendation SystemsGopalan, Prem; Ruiz, Francisco J; Ranganath, Rajesh; Blei, David M
2021Decomposable Obfuscation: A Framework for Building Applications of Obfuscation from Polynomial HardnessLiu, Qipeng; Zhandry, Mark
2021Designing Calibration and Expressivity-Efficient Instruction Sets for Quantum ComputingLao, Lingling; Murali, Prakash; Martonosi, Margaret; Browne, Dan
Oct-20212.5D Simulated Keyframe Animation in BlenderE, Ilene; Willett, Nora S.; Finkelstein, Adam
2014Black Box Variational InferenceRanganath, Rajesh; Gerrish, Sean; Blei, David M
2012Finding overlapping communities in social networks: Toward a rigorous approachArora, Sanjeev; Ge, R; Sachdeva, S; Schoenebeck, G
2012Learning topic models - Going beyond SVDArora, Sanjeev; Ge, R; Moitra, A
2012Testing permanent oracles - RevisitedArora, Sanjeev; Bhattacharyya, A; Manokaran, R; Sachdeva, S