abstract:
The relative novelty and rapid evolution pace of the Android ecosystem (platform, vendor-installed apps and third-party apps) means both the platform and apps receive little scrutiny. Hence there is a need for tools that assess, monitor and verify all components of the Android ecosystem. This lack of tools and scrutiny is particularly problematic when combined with the open nature of Google Play, the main app distribution channel.
In the…
-
Automatic Function Annotations for Hoare Logic
-
Parametricity, Quotient Types, and Theorem Transfer
-
Android Ecosystem
-
Programming with Narrowing
-
Why Do Airplanes Crash
-
Property Directed Reachability
-
Galois Tech Talk: Formalizing Haskell 98 in the K Semantic Framework
-
Candid Experiences from a Hardware Startup
Galois Tech Talks
This channel contains video from the tech talks presented by galois.com
Galois has been holding weekly technical seminars since 2006 on topics from functional programming, formal methods, compiler and language design, to cryptography, and operating system construction, with talks by many figures from the programming language and formal methods communities. The talks are open and free.
Each week new tech talks
…+ More
Browse This Channel
Shout Box
-
keep sharing! awesome stuff!
-
Hi! Love your channel please check out my film noir vimeo.com/41495155
-
Great content!!!!!!! Keep sharing!!
Related RSS Feeds
Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels. ![]()

