A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

Source URL: www.cs.man.ac.uk

• I1
• Garbage collection

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Computing
• Computer graphics
• 3D rendering
• Video game development
• Computer programming
• Graphics hardware
• Graphics libraries
• Texture atlas
• Graphics processing unit
• Texture mapping
• Optimizing compiler
• Rendering

LeakChecker: Practical Static Memory Leak Detection for Managed Languages Dacong Yan Guoqing Xu

Source URL: dacongy.github.io

ENTRYKIT SC Awards Europe 2019 Entry rules and information

Source URL: static.swipeuk.com

• Security engineering
• Computer security
• Prevention
• Crime prevention
• Cryptography
• Information governance
• National security
• Computer network security
• Information security
• Managed security service
• Penta Security
• BigFix Inc

SCIENTIFIC AMERICAN CUSTOM MEDIA CREATIVE SOLUTIONS FOR OUR MEDIA PARTNERS Scientific American’s award-winning Custom Media team offers our partners the opportunity to build compelling and distinct narratives to convey

Source URL: static.scientificamerican.com

• Human behavior
• Digital media
• Communication design
• Communication
• Aspirin
• Bayer
• IG Farben
• Leverkusen
• Marketing
• Science
• Advertising
• Social media

COLOR​ ​GENOMICS,​ ​INC. NOTICE​ ​OF​ ​PRIVACY​ ​PRACTICES THIS​ N​ OTICE​ D​ ESCRIBES​ H​ OW​ M ​ EDICAL​ I​ NFORMATION​ A​ BOUT​ Y​ OU THAT IS PROTECTED UNDER THE HEALTH

Source URL: static.getcolor.com

• Law
• Privacy law
• Terms of service
• Data security
• 104th United States Congress
• Data erasure
• Health Insurance Portability and Accountability Act
• Medical privacy
• Privacy
• Internet privacy

Survey of Approaches for Handling Static Analysis Alarms Tukaram Muske Alexander Serebrenik

Source URL: www.win.tue.nl

• Alarms
• Warning systems
• Change detection
• False alarm
• Alarm device
• Prevention
• Abstract interpretation
• Euthenics
• Change
• Safety

IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

Source URL: jorgenavas.github.io

• Software engineering
• Computing
• Software
• Compilers
• Compiler construction
• Compiler optimizations
• Abstract interpretation
• LLVM
• Programming language implementation
• Intermediate representation
• Polyspace
• Static program analysis

Learning Static Constraints for Domain Modeling from Training Plans Rabia Jilani School of Computing and Engineering University of Huddersfield United Kingdom

Source URL: icaps16.icaps-conference.org

• Computing
• Software engineering
• Notation
• Systems engineering
• Automated planning and scheduling
• Planning Domain Definition Language
• Conceptual model
• Object Process Methodology
• Prolog

Dockless Mobility Tools From bikes to scooters and everything in between, dockless mobility is offering cities a new transportation option. Ride Report has designed a comprehensive toolset to manage these emerging mobili

Source URL: static.ride.report

• Sharing economy
• Bicycle-sharing system
• Transport
• Scooter-sharing system
• Economy
• Geography of Texas
• Austin
• Texas
• Last mile
• Draft:Micromobility