Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
2019 | Quantified Invariants via Syntax-Guided Synthesis | Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti |
2019 | Lemma Synthesis for Automating Induction over Algebraic Data Types | Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti |
2018 | Solving Constrained Horn Clauses Using Syntax and Data | Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti |
2019 | Functional Synthesis with Examples | Fedyukovich, Grigory; Gupta, Aarti |
2019 | ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions | Huang, Bo-Yuan; Zhang, Hongce; Gupta, Aarti; Malik, Sharad |
Jul-2020 | Optimal Mechanism Design for Single-Minded Agents | Devanur, Nikhil R; Goldner, Kira; Saxena, Raghuvansh R; Schvartzman, Ariel; Weinberg, S Matthew |
2019 | Settling the Communication Complexity of Combinatorial Auctions with Two Subadditive Buyers | Ezra, Tomer; Feldman, Michal; Neyman, Eric; Talgam-Cohen, Inbal; Weinberg, Matt |
Jun-2020 | Separating the communication complexity of truthful and non-truthful combinatorial auctions | Assadi, Sepehr; Khandeparkar, Hrishikesh; Saxena, Raghuvansh R; Weinberg, S Matthew |
Oct-2018 | Simple Mechanisms for a Subadditive Buyer and Applications to Revenue Monotonicity | Rubinstein, Aviad; Weinberg, S Matthew |
2019 | Persuasion and Incentives Through the Lens of Duality | Dughmi, Shaddin; Niazadeh, Rad; Psomas, Alexandros; Weinberg, S Matthew |