Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.

 | 
Item hits:
Publication DateArticle TitleAuthor(s)
2012Efficient predictive analysis for detecting nondeterminism in multi-threaded programsSinha, Arnab; Malik, Sharad; Gupta, Aarti
Nov-2018A formal instruction-level GPU model for scalable verificationXing, Yue; Huang, Bo-Yuan; Gupta, Aarti; Malik, Sharad
2014Toward Coding for Maximum Errors in Interactive CommunicationBraverman, Mark; Rao, Anup
10-Aug-2018Transcriptome analysis of adult Caenorhabditis elegans cells reveals tissue-specific gene and isoform expression.Kaletsky, Rachel; Yao, Victoria; Williams, April; Runnels, Alexi M; Tadych, Alicja, et al
2013The Grothendieck Constant is Strictly Smaller than Krivine's BoundBraverman, Mark; Makarychev, Konstantin; Makarychev, Yury; Naor, Assaf
2013Strategyproof mechanisms for competitive influence in networksBorodin, Allan; Braverman, Mark; Lucier, Brendan; Oren, Joel
2020Connecting Higher-Order Separation Logic to a First-Order Outside WorldMansky, William; Honoré, Wolf; Appel, Andrew W
2016Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVMMenendez, David; Nagarakatte, Santosh; Gupta, Aarti
2016Information Lower Bounds via Self-ReducibilityBraverman, Mark; Garg, Ankit; Pankratov, Denis; Weinstein, Omri
2018The Price of Uncertain Priors in Source CodingBraverman, Mark; Juba, Brendan