Dynamic Analysis of Inefficiently-Used Containers Shengqian Yang1 1 Dacong Yan1

Source URL: dacongy.github.io

• Computing
• Computer programming
• Software engineering
• Abstract data types
• C++ Standard Library
• Associative containers
• Intermodal container
• Container
• Iterator
• Java
• Static single assignment form

SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA

Source URL: jorgenavas.github.io

• Programming language implementation
• Compiler construction
• Software engineering
• Computing
• Compiler optimizations
• Software testing
• Abstract interpretation
• LLVM
• Compiler
• Intermediate representation
• Hoare logic
• Static single assignment form

Luna 왁왮왤왲왥 왏왲왮왩왳왨올 왖왩왮왡왹 왇왵왰왴왡올 왁왥왬왬왡올 완왲옮 왁왥왲왯왮 왂왵왣왨왡왮왡왮 왔왲왡왮왳왬왡왴왥왤 왢왹 왂왲왩왡왮 왊왵왮왧왢왩

Source URL: lunalabs.github.io

XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao Software Theory and Practice Group (STAP) Shanghai Jiao Tong University, China A code

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Computing
• AspectJ
• Pointcut
• Join point
• FindBugs
• Aspect
• Aspect weaver

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire Erik Meijer  Maarten Fokkinga y

Source URL: maartenfokkinga.github.io

• Computer programming
• Declarative programming
• Software engineering
• Functional programming
• Recursion
• Category theory
• Higher-order functions
• Lambda calculus
• Catamorphism
• Anamorphism
• Functor
• Fold

Reviewer Isomer Training Isomer Run websites powered by Markdown using Github You will be learning this today!

Source URL: isomer.gov.sg

Rise of the HaCRS:Augmenting Autonomous Cyber Reasoning Systems with Human Assistance

Source URL: acmccs.github.io

• Software testing
• Computer security
• Cybercrime
• Security
• Computing
• National security
• Hacking
• Fuzzing
• Artificial intelligence
• Human-based computation
• Vulnerability
• Cyber Grand Challenge

Determinism in the Certification of UNSAT Proofs Xaviera Steele Tomer Libal American University of Paris

Source URL: pxtp.github.io

• Theoretical computer science
• Software engineering
• Mathematics
• Logic in computer science
• NP-complete problems
• Electronic design automation
• Formal methods
• Boolean algebra
• Prolog
• Logic programming
• Boolean satisfiability problem
• Sequent calculus

Automatic Inference of Memory Fences Michael Kuperstein Martin Vechev Eran Yahav

Source URL: practicalsynthesis.github.io

• Computing
• Computer architecture
• Computer memory
• Transaction processing
• Theoretical computer science
• Memory barrier
• Consistency model
• Memory ordering
• Model theory
• Algorithm
• Formal language
• Constraint

Rain: Refinable Attack Investigation with On-demand Inter-Process Information Flow Tracking

Source URL: acmccs.github.io

• Metaphysics
• Humanities
• Terminology
• Archaeological theory
• Data collection
• Evidence law
• Museology
• Provenance
• Seeds
• Causality
• Inode
• System call