SAMPLE SUBMISSION Title Battle of the SKM and IUM: How Windows 10 Rewrites OS Architecture Alex Ionescu, Chief Architect, CrowdStrike (Black Hat USA 2015)

Source URL: www.blackhat.com

• Malware
• Security
• Kernel
• Hypervisor
• Pin
• Cybercrime
• Prevention

The Jury Is In: Monolithic OS Design Is Flawed Microkernel-based Designs Improve Security Simon Biggs, Damon Lee,

Source URL: ts.data61.csiro.au

CHAOS: Composable Highly Accurate OS-based Power Models John D. Davis†, Suzanne Rivoire‡, Moises Goldszmidt†, Ehsan K. Ardestani§ † Microsoft Research, Silicon Valley ‡ Dept. of Computer Science, Sonoma State

Source URL: rivoire.cs.sonoma.edu

• Opteron
• Central processing unit
• Parallel computing
• Run-time estimation of system and sub-system level power consumption

1 Introdução A Plataforma de Tecnologia FunFair.io é um projeto ambicioso concebido para fornecer a próxima geração de jogos em qualquer lugar do mundo. Este documento discute as metas de projeto, execuções e os

Source URL: funfair.io

Hyperkernel: Push-Button Verification of an OS Kernel

Source URL: unsat.cs.washington.edu

• System software
• Computer architecture
• Software
• Kernel
• Xv6
• LLVM
• Linux kernel

Cyflwyno Cyfansoddiad Dyddiad Cau dydd 20 Chwefror 2019 Submission of a Composition Deadline – 20 February 2019 Os oes gennych unrhyw gwestiynau neu broblemau yna peidiwch ag oedi cysylltu â Cathy ar

Source URL: ymmd.org.uk

CENTRIFUGE OS A Decentralized Operating System For The Financial Supply Chain www.centrifuge.io

Source URL: www.centrifuge.io

• Supply chain management
• Computing
• Computer architecture
• Economy
• Decentralization
• Cryptocurrencies
• File sharing
• Peer-to-peer
• Supply-chain management
• Blockchain
• Internet privacy
• Supply chain

Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• Formal methods
• Logic in computer science
• Kernel
• Linux kernel
• L4 microkernel family
• Mach
• Verification
• X86-64
• Formal verification
• Satisfiability modulo theories

OS JOVENS E OS MEDIA PROGRAMA NACIONAL PARA A PROMOÇÃO DAS COMPETÊNCIAS MEDIÁTICAS

Source URL: www.jugendundmedien.ch

THE OS SCHEDULER: A PERFORMANCE-CRITICAL COMPONENT IN LINUX CLUSTER ENVIRONMENTS KEYNOTE FOR BPOE-9 @ ASPLOS2018 THE NINTH WORKSHOP ON BIG DATA BENCHMARKS,

Source URL: prof.ict.ac.cn

• Concurrent computing
• System software
• Computing
• Scheduling
• Free software
• Parallel computing
• Planning
• Completely Fair Scheduler
• Thread
• Windows Task Scheduler
• Multi-core processor
• Apache Hadoop