Redmond - PDFSEARCH.IO - Document Search Engine

Redmond
Results: 964

#	Item
1	Full version of an extended abstract published in AsiacryptD´ej`a Q All Over Again: Tighter and Broader Reductions of q-Type Assumptions Melissa Chase Microsoft Research Redmond Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Algebra Abstract algebra Lie groups Non-associative algebras XTR Mutation Spectral theory
2	Predicting a Correct Program in Programming by Example Rishabh Singh(B) and Sumit Gulwani Microsoft Research, Redmond, USA Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Software engineering Computer programming Formal languages Scheme Regular expression Eval String Parameter Supervised learning
3	Rishabh Singh Í 1 Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Computer science Technology Symposium on Principles of Programming Languages SIGPLAN Actor model Programming Language Design and Implementation Spreadsheet Microsoft Research Microsoft
4	AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-06 05:17:59 Theoretical computer science Logic Mathematical logic Logic in computer science Artificial intelligence Automated reasoning Automated theorem proving Predicate logic Quantifier Andrei Voronkov Z3 Alt-Ergo
5	REPT: Reverse Debugging of Failures in Deployed Software Weidong Cui and Xinyang Ge, Microsoft Research Redmond; Baris Kasikci, University of Michigan; Ben Niu, Microsoft Research Redmond; Upamanyu Sharma, University of Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2018-10-23 14:59:27 Computing Programming language implementation Parallel computing Debugging Optimizing compiler X86 Computer engineering
6	Child’s Play \| 8040 161ST Ave NE PMB #418 \| Redmond, Washington 98052 \| www.childsplaycharity.org About Child’s Play Since 2003, we’ve set up and organized Child’s Play, a game industry charity dedicated to impr Add to Reading List Source URL: childsplaycharity.org Language: English - Date: 2016-05-31 21:31:12 Penny Arcade Child's Play Mike Krahulik Jerry Holkins Play Entertainment Action philosophy) Culture
7	Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, Redmond Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-07-25 04:45:02 Computer programming Software engineering Combinatorial optimization Matching Monad Conditional
8	Succinct Malleable NIZKs and an Application to Compact Shuffles Melissa Chase Microsoft Research Redmond Markulf Kohlweiss Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptography Computational complexity theory Proof of knowledge Zero-knowledge proof FiatShamir heuristic Malleability Applied mathematics
9	Verifiable Elections That Scale for Free Melissa Chase (MSR Redmond) Markulf Kohlweiss (MSR Cambridge) Anna Lysyanskaya (Brown University) Sarah Meiklejohn (UC San Diego) Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02
10	Déjà Q: Using Dual Systems to Revisit q-Type Assumptions Melissa Chase (MSR Redmond) Sarah Meiklejohn (UC San Diego → University College London) Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptography Public-key cryptography Pairing-based cryptography Elliptic curve cryptography Pairing IBE

UPDATE