Amar Shah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
11
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CADE | Cazamariposas: Automated Instability Debugging in SMT-Based Program Verification. | Yi Zhou, Amar Shah, Zhengyao Lin, Marijn Heule, Bryan Parno |
| 2025 | FMCAD | Learning Short Clauses via Conditional Autarkies. | Amar Shah, Twain Byrnes, Joseph E. Reeves, Marijn J. H. Heule |
| 2024 | AAAI | An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. | Amar Shah, Federico Mora, Sanjit A. Seshia |
| 2020 | ICRA | Urban Driving with Conditional Imitation Learning. | Jeffrey Hawke, Richard Shen, Corina Gurau, Siddharth Sharma, Daniele Reda, Nikolay Nikolov, Przemyslaw Mazur, Sean Micklethwaite, Nicolas Griffiths, Amar Shah, Alex Kendall |
| 2019 | ICRA | Learning to Drive in a Day. | Alex Kendall, Jeffrey Hawke, David Janz, Przemyslaw Mazur, Daniele Reda, John-Mark Allen, Vinh-Dieu Lam, Alex Bewley, Amar Shah |
| 2019 | ICTD | 99DOTS: a low-cost approach to monitoring and improving medication adherence. | Andrew Cross, Nakull Gupta, Brandon Liu, Vineet Nair, Abhishek Kumar, Reena Kuttan, Priyanka Ivatury, Amy Chen, Kshama Lakshman, Rashmi Rodrigues, George D'Souza, Deepti Chittamuru, Raghuram Rao, Kiran Rade, Bhavin Vadera, Daksha Shah, Vinod Choudhary, Vineet Chadha, Amar Shah, Sameer Kumta, Puneet Dewan, Bruce Thomas, William Thies |
| 2017 | IJCAI | Concrete Problems for Autonomous Vehicle Safety: Advantages of Bayesian Deep Learning. | Rowan McAllister, Yarin Gal, Alex Kendall, Mark van der Wilk, Amar Shah, Roberto Cipolla, Adrian Weller |
| 2016 | ICML | Unitary Evolution Recurrent Neural Networks. | Martn Arjovsky, Amar Shah, Yoshua Bengio |
| 2016 | ICML | Predictive Entropy Search for Multi-objective Bayesian Optimization. | Daniel Hernndez-Lobato, Jos Miguel Hernndez-Lobato, Amar Shah, Ryan P. Adams |
| 2016 | ICML | Pareto Frontier Learning with Expensive Correlated Objectives. | Amar Shah, Zoubin Ghahramani |
| 2016 | UAI | Markov Beta Processes for Time Evolving Dictionary Learning. | Amar Shah, Zoubin Ghahramani |
| 2015 | ICML | An Empirical Study of Stochastic Variational Inference Algorithms for the Beta Bernoulli Process. | Amar Shah, David A. Knowles, Zoubin Ghahramani |
| 2014 | AISTATS | Student-t Processes as Alternatives to Gaussian Processes. | Amar Shah, Andrew Gordon Wilson, Zoubin Ghahramani |
| 2014 | INDIN | A framework for detecting unnecessary industrial data in ETL processes. | Philip Woodall, Torben Jess, Mark Harrison, Duncan C. McFarlane, Amar Shah, William E. Krechel, Eric Nicks |
| 2013 | KDD | Discovering latent influence in online social activities via shared cascade poisson processes. | Tomoharu Iwata, Amar Shah, Zoubin Ghahramani |
| 2013 | UAI | Determinantal Clustering Processes - A Nonparametric Bayesian Approach to Kernel Based Semi-Supervised Clustering. | Amar Shah, Zoubin Ghahramani |