default search action
5th SOAP@PLDI 2016: Santa Barbara, CA, USA
- Charles Zhang, Xavier Rival:
Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016. ACM 2016, ISBN 978-1-4503-4385-5 - Steven Arzt, Tobias Kussmaul, Eric Bodden:
Towards cross-platform cross-language analysis with soot. 1-6 - Michael D. Shah, Samuel Z. Guyer:
Iceberg: a tool for static analysis of Java critical sections. 7-12 - Lisa Nguyen Quang Do, Michael Eichberg, Eric Bodden:
Toward an automated benchmark management system. 13-17 - Yan Wang, Hailong Zhang, Atanas Rountev:
On the unsoundness of static analysis for Android GUIs. 18-23 - Andres Nötzli, Fraser Brown:
LifeJacket: verifying precise floating-point optimizations in LLVM. 24-29
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.