Securify

Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, +3

EngineeringInformation SecurityVerificationSecurity AuditsSmart Contracts +14

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, +3

Artificial IntelligenceEngineeringMachine LearningNeural Networks (Machine Learning)Verification +23

An abstract domain for certifying neural networks

Gagandeep Singh, Timon Gehr, Markus Püschel, +1

Proceedings of the ACM on Programming Languages

Artificial IntelligenceGeometric LearningConvolutional Neural NetworkEngineeringMachine Learning +16

Code completion with statistical language models

Veselin Raychev, Martin Vechev, Eran Yahav

EngineeringSoftware EngineeringSource Code AnalysisMethod CallsFormal Verification +19

Predicting Program Properties from "Big Code"

Veselin Raychev, Martin Vechev, Andreas Krause

Software MaintenanceEngineeringSoftware EngineeringSource Code AnalysisUnseen Programs +16

Differentiable Abstract Interpretation for Provably Robust Neural Networks

Matthew Mirman, Timon Gehr, Martin Vechev

International Conference on Machine Learning

EngineeringMachine LearningUncertainty QuantificationAdversarial Machine LearningRobustness (Computer Science) +4

Fast and Effective Robustness Certification

Gagandeep Singh, Timon Gehr, Matthew Mirman, +2

neural information processing systems

EngineeringVerificationRobustness TestingSoftware AnalysisFormal Verification +17

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts

Jingxuan He, Mislav Balunović, Nodar Ambroladze, +2

Artificial IntelligenceEngineeringMachine LearningSoftware EngineeringSmart Contracts +18

VerX: Safety Verification of Smart Contracts

Anton Permenev, Dimitar Dimitrov, Petar Tsankov, +2

Functional PropertiesEngineeringInformation SecurityVerificationSoftware Engineering +21

Code completion with statistical language models

Veselin Raychev, Martin Vechev, Eran Yahav

ACM SIGPLAN Notices

EngineeringSoftware EngineeringStatistical Language ModelLarge Language ModelSoftware Analysis +18