Osbert Bastani

According to our database1, Osbert Bastani authored at least 28 papers between 2011 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
PolyDroid: Learning-Driven Specialization of Mobile Applications.
CoRR, 2019

Learning Interpretable Models with Causal Guarantees.
CoRR, 2019

Fairness with Dynamics.
CoRR, 2019

Learning Neurosymbolic Generative Models via Program Synthesis.
CoRR, 2019

Sample Complexity of Estimating the Policy Gradient for Nearly Deterministic Dynamical Systems.
CoRR, 2019

2018
Verifying Fairness Properties via Concentration.
CoRR, 2018

Verifiable Reinforcement Learning via Policy Extraction.
CoRR, 2018

Program synthesis using conflict-driven learning.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Active learning of points-to specifications.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Verifiable Reinforcement Learning via Policy Extraction.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017
Eventually Sound Points-To Analysis with Missing Code.
CoRR, 2017

Active Learning of Points-To Specifications.
CoRR, 2017

Interpretability via Model Extraction.
CoRR, 2017

Interpreting Blackbox Models via Model Extraction.
CoRR, 2017

Synthesizing program input grammars.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

2016
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
CoRR, 2016

Measuring Neural Net Robustness with Constraints.
CoRR, 2016

Synthesizing Program Input Grammars.
CoRR, 2016

Minimizing GUI event traces.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Measuring Neural Net Robustness with Constraints.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

2015
Specification Inference Using Context-Free Language Reachability.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

An interactive approach to mobile app verification.
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Interactively verifying absence of explicit information flows in Android apps.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2013
Zero-Shot Learning Through Cross-Modal Transfer
Proceedings of the 1st International Conference on Learning Representations, 2013

Stanford's 2013 KBP System.
Proceedings of the Sixth Text Analysis Conference, 2013

2012
An Efficient Homomorphic Encryption Protocol for Multi-User Systems.
IACR Cryptology ePrint Archive, 2012

2011
Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond.
CoRR, 2011


  Loading...