Osbert Bastani
Title
Cited by
Cited by
Year
Measuring neural net robustness with constraints
O Bastani, Y Ioannou, L Lampropoulos, D Vytiniotis, A Nori, A Criminisi
Advances in neural information processing systems, 2613-2621, 2016
1872016
Interpreting blackbox models via model extraction
O Bastani, C Kim, H Bastani
arXiv preprint arXiv:1705.08504, 2017
91*2017
Synthesizing program input grammars
O Bastani, R Sharma, A Aiken, P Liang
ACM SIGPLAN Notices 52 (6), 95-110, 2017
872017
Biodegradable oxidized cellulose esters
V Kumar, Y Dong
US Patent 7,595,392, 2009
672009
An Efficient Homomorphic Encryption Protocol for Multi-User Systems.
L Xiao, O Bastani, IL Yen
IACR Cryptol. ePrint Arch. 2012, 193, 2012
632012
Program synthesis using conflict-driven learning
Y Feng, R Martins, O Bastani, I Dillig
ACM SIGPLAN Notices 53 (4), 420-435, 2018
582018
Verifiable reinforcement learning via policy extraction
O Bastani, Y Pu, A Solar-Lezama
Advances in neural information processing systems, 2494-2504, 2018
562018
Automatically learning android malware signatures from few samples
Y Feng, O Bastani, R Martins, I Dillig, S Anand
Proceedings of the 2017 Annual Network and Distributed System Security …, 2017
45*2017
Specification inference using context-free language reachability
O Bastani, S Anand, A Aiken
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
432015
Minimizing GUI event traces
L Clapp, O Bastani, S Anand, A Aiken
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
282016
Interactively verifying absence of explicit information flows in Android apps
O Bastani, S Anand, A Aiken
ACM SIGPLAN Notices 50 (10), 299-315, 2015
262015
Randomization, sums of squares, near-circuits, and faster real root counting
O Bastani, CJ Hillar, D Popov, JM Rojas
Contemporary Mathematics 556, 145-166, 2011
19*2011
Active learning of points-to specifications
O Bastani, R Sharma, A Aiken, P Liang
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
152018
Stanford's 2013 KBP System.
G Angeli, AT Chaganty, AX Chang, K Reschke, J Tibshirani, J Wu, ...
TAC, 2013
152013
Interpreting predictive models for human-in-the-loop analytics
H Bastani, O Bastani, C Kim
arXiv preprint arXiv:1705.08504, 1-45, 2018
92018
" How do I fool you?" Manipulating User Trust via Misleading Black Box Explanations
H Lakkaraju, O Bastani
Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society, 79-85, 2020
82020
Probabilistic verification of fairness properties via concentration
O Bastani, X Zhang, A Solar-Lezama
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-27, 2019
5*2019
Learning safe unlabeled multi-robot planning with motion constraints
A Khan, C Zhang, S Li, J Wu, B Schlotfeldt, SY Tang, A Ribeiro, O Bastani, ...
arXiv preprint arXiv:1907.05300, 2019
52019
Learning neurosymbolic generative models via program synthesis
H Young, O Bastani, M Naik
arXiv preprint arXiv:1901.08565, 2019
52019
REINAM: reinforcement learning for input-grammar inference
Z Wu, E Johnson, W Yang, O Bastani, D Song, J Peng, T Xie
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–20