A Type System for Privacy Properties

Source URL: acmccs.github.io

Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA

Source URL: dacongy.github.io

• Software engineering
• Computer programming
• Programming language theory
• Compiler optimizations
• Control flow
• Loop optimization
• Heap
• Optimizing compiler
• Foreach loop

Analyzing array manipulating programs by program transformation J. Robert M. Cornish1 , Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1, and Peter J. Stuckey1 1

Source URL: jorgenavas.github.io

• Array data structure
• Variable
• Dimensional analysis
• Computing
• Mathematics
• Engineering
• Jet bundle

Testing for Poor Responsiveness in Android Applications Shengqian Yang Dacong Yan

Source URL: dacongy.github.io

• Computing
• Computer architecture
• System software
• Software testing
• Smartphones
• Computing platforms
• Alphabet Inc.
• Android
• Mobile app development
• Graphical user interface testing
• Effi
• Test automation

Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

Source URL: practicalsynthesis.github.io

• Computing
• Computer architecture
• Concurrent computing
• Theoretical computer science
• Computer programming
• Refinement
• Abstract interpretation
• Memory barrier
• Abstraction
• Algorithm
• Thread

The K IND 2 Model Checker ? Adrien Champion, Alain Mebsout, Christoph Sticksel, and Cesare Tinelli The University of Iowa Abstract. K IND 2 is an open-source, multi-engine, SMT-based model checker for safety properties o

Source URL: mebsout.github.io

• Formal methods
• Theoretical computer science
• Computing
• Software engineering
• Satisfiability modulo theories
• Model checking
• Invariant
• Lustre

BABELTOWER: How Language Affects Criminal Activity in Stolen Webmail Accounts Emeric Bernard-Jones, Jeremiah Onaolapo, and Gianluca Stringhini University College London {j.onaolapo,g.str

Source URL: jonaolapo.github.io

• Security
• Computing
• Webmail
• Human behavior
• Gmail
• Fraud
• Cybercrime
• Security breaches
• Phishing
• Identity theft
• Outlook.com
• Computer security

Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: jorgenavas.github.io

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming

A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)

Source URL: jorgenavas.github.io

• Pointer
• Graph

An Empirical
 
 An Empirical Analysis of Anonymity in Zcash
 


Source URL: georgekap.github.io