AES on the ARM Cortex-M3 and M4 Peter Schwabe and Ko Stoffelen More AES software implementations? •

Source URL: ko.stoffelen.nl

• Computing
• Computer architecture
• Programming language theory
• Instruction set architectures
• Procedural programming languages
• Microcontrollers
• R0
• ALGOL 68
• STM32
• ARM architecture

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

Proof Procedures for Separated Heap Abstractions Josh Berdine, Cristiano Calcagno, Peter O’Hearn 1 July, 2007 (Canada day) Part 0

Source URL: www.lsi.upc.edu

SHA-3 on ARM11 processors Peter Schwabe1 , Bo-Yin Yang1 , and Shang-Yi Yang2 1 ?

Source URL: precision.moscito.org

• Computer architecture
• Cryptography
• Computing
• NIST hash function competition
• Instruction set architectures
• Cryptographic hash functions
• Assembly languages
• Grstl
• ARM architecture
• SHA-2
• 64-bit computing
• Addressing mode

Colimits for Concurrent Collectors Dusko Pavlovic1, Peter Pepper2 , and Doug Smith1 1 2

Source URL: www.kestrel.edu

• Computer programming
• Software engineering
• Functional programming
• Monad
• Heap
• Clean

Information Diffusion and Provenance of Interactions in Twitter: Is it only about Retweets? Io Taxidou* Peter M. Fischer* Tom De Nies‡

Source URL: gdac.uqam.ca

• Human behavior
• Culture
• Humanities
• Social networking services
• Social media
• Social networks
• Communication
• Evidence law
• Provenance
• Twitter
• PROV

Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s

Source URL: jorgenavas.github.io

• Finite automata
• DFA minimization
• Deterministic automaton
• Finite-state machine
• Theoretical computer science
• Muller automaton
• Bchi automaton

Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1 , Peter Pepper2 , and Douglas R. Smith1 1 2

Source URL: www.kestrel.edu

• Computing
• Memory management
• Knowledge representation
• Mutator
• Garbage collection
• Garbage
• Connectivity
• Tree
• Tracing garbage collection

DeepState: Symbolic Unit Testing for C and C++ Peter Goodman Alex Groce Trail of Bits, Inc.

Source URL: www.trailofbits.com

• Software testing
• Software engineering
• Computing
• Software development
• Symbolic execution
• Test automation
• Differential testing
• Unit testing
• Fuzzing
• Random testing
• KeY
• Test harness

C/C++ Concurrency: Formalization and Model Finding Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell

Source URL: user.it.uu.se

• Computing
• Computer programming
• Concurrent computing
• Concurrency control
• Parallel computing
• Thread
• Linearizability
• C++11
• POSIX Threads
• Lock
• Concurrency
• Go