Roopsha Samanta Assistant Professor Department of Computer Science Purdue University Í

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Computing
• Computer science
• Symposium on Principles of Programming Languages
• Electronic design automation
• Formal methods
• Logic in computer science
• Computer Aided Verification
• Helmut Veith
• High-level synthesis
• Formal verification
• Computer music

On the Quality of BGP Route Collectors for iBGP Policy Inference Luca Cittadini∗ Stefano Vissicchio† Benoit Donnet§ ∗ Roma Tre University † Universit´e catholique de Louvain § Universit´e de Li`ege

Source URL: www0.cs.ucl.ac.uk

• Internet architecture
• Routing
• Computing
• Network architecture
• Internet
• Internet Standards
• Border Gateway Protocol
• Route reflector
• Router
• IP routing
• Autonomous system
• Default-free zone

Emory University Journal Deadlines and General Ledger Close Dates for Fiscal Year 2018 To ensure the timely processing of transactions in the PeopleSoft Financial System, journal entries for FY 2018 should complete workf

Source URL: www.finance.emory.edu

Change Impact Analysis for AspectJ Programs Sai Zhang, Zhongxian Gu, Yu Lin and Jianjun Zhao Shanghai Jiao Tong University Change Impact Analysis for AspectJ Programs • AspectJ’s specific constructs requires adaptin

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Computing
• Aspect-oriented programming
• AspectJ
• Pointcut
• Join point
• Aspect
• Change impact analysis
• Compiler

COLLOQUIUM Shaun Fallat University of Regina Continuous Powers of Certain Positive Matrices

Source URL: www.uregina.ca

Cambridge University Press2 - The Decline of the Death Penalty and the Discovery of Innocence Frank R. Baumgartner, Suzanna L. De Boef and Amber E. Boydstun Frontmatter More information

Source URL: assets.cambridge.org

• Crime
• Capital punishment in the United States
• Crime in the United States
• United States law
• Law
• Capital punishment
• Criminal law
• Innocence Project
• National Coalition to Abolish the Death Penalty
• Baumgartner

Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of Washington

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• System software
• Central processing unit
• ARM architecture
• Translation lookaside buffer
• Hypervisor
• Protection ring
• QEMU
• X86 virtualization
• Hyper-V
• Second Level Address Translation

SWIFT: Predictive Fast Reroute Technical Report Thomas Holterbach∗† , Stefano Vissicchio‡ , Alberto Dainotti† , Laurent Vanbever∗ ∗ ETH Zürich, † CAIDA, UC San Diego, ‡ University College London ABSTRACT

Source URL: swift.ethz.ch

The Effect of Leader Turnover on Refugee Repatriation∗ Tiffany S. Chu School of Government & Public Policy University of Arizona www.tiffanyschu.com

Source URL: www.saramitchell.org

• Aftermath of war
• Forced migration
• Right of asylum
• Demography
• International law
• Refugees
• Cultural globalization
• Culture
• Refugee
• Non-refoulement
• Repatriation
• United Nations High Commissioner for Refugees

Written evidence submitted by Loughborough University (SMH0167) MEMEotive - Analysing the Effects of Internet Memes on Young Teenagers’ Health and Health Behaviours Submitted by: Dr Ash Casey, School of Sport, Exercis

Source URL: assets.documentcloud.org

• Human behavior
• Digital media
• Software
• Social networking services
• Internet meme
• Meme
• Social media
• Cyberbullying
• Twitter