Osbert Bastani

According to our database1, Osbert Bastani authored at least 21 papers between 2011 and 2018.

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

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

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
CoRR, 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...