UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Compilers
• LLVM
• Carnegie Mellon University
• Unidentified flying object
• Mellon
• Carnegie
• Arie
• Software

Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring Malte Mauritz, Falk Howar, and Andreas Rausch Institute for Applied Software Systems Engineering (IPSSE

Source URL: www.falkhowar.de

• Transport
• Land transport
• Automation
• Emerging technologies
• Road transport
• Modeling and simulation
• Advanced driver assistance systems
• Simulation
• Advanced driver-assistance systems
• Self-driving car
• Traffic
• Automated driving system

SoK: Exploiting Network Printers Jens Müller, Vladislav Mladenov, Juraj Somorovsky, Jörg Schwenk Horst Görtz Institute for IT-Security, Ruhr University Bochum , , juraj.so

Source URL: www.ieee-security.org

I·Math Institute of Mathematics Graph complexes Thomas Willwacher

Source URL: people.math.ethz.ch

• Mathematics
• Graph theory
• Abstract algebra
• Algebra
• Homology theory
• Homology
• Isomorphism
• Chain complex
• Degree
• Graph

How Much Faster Can We Go? A Technology Outlook Yusuf Leblebici Swiss Federal Institute of Technology (EPFL) Microelectronic Systems Laboratory

Source URL: www.hyperelliptic.org

• Electronic engineering
• Electrical engineering
• Electromagnetism
• Integrated circuits
• Digital electronics
• Logic families
• Semiconductor devices
• Central processing unit
• CMOS
• Transistor
• Bipolar junction transistor
• Alpha 21364

HONG KONG INSTITUTE FOR MONETARY RESEARCH MAPPING CHINA’S TIME-VARYING HOUSE PRICE LANDSCAPE Michael Funke, Danilo Leiva-Leon and Andrew Tsang

Source URL: www.hkimr.org

• Economy
• Macroeconomics
• Macroeconomic policy
• Business cycle
• Systemic risk
• Real estate
• Financial regulation
• Macroprudential regulation
• Real estate bubble
• Affordable housing
• Real estate economics
• Monetary policy

PDF Document

Source URL: www.vph-institute.org

PDF Document

Source URL: tribal-institute.org

PDF Document

Source URL: berggruen-institute-production.s3.amazonaws.com

PDF Document

Source URL: www.tribal-institute.org