Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

Source URL: arieg.bitbucket.io

• Theoretical computer science
• Formal methods
• Software engineering
• Logic in computer science
• Formal verification
• Satisfiability modulo theories
• Abstract interpretation
• Loop invariant
• Logic programming
• Model checking
• KeY
• Software verification

Towards Measuring Real-World Performance of Android Devices Pascal Bissig, Gino Brunner, Florian Gubler, Roger Wattenhofer, Andreas Zingg Department of Electrical Engineering and Information Technology ETH Zurich, Switze

Source URL: www.tik.ee.ethz.ch

• Computing
• Software
• Computer architecture
• Smartphones
• Cloud clients
• Personal computing
• Android
• Benchmark
• Google Play
• HERE WeGo
• IOS
• BlackBerry Priv

Learning gem5 – Part N Other things not covered here Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/

Source URL: learning.gem5.org

• System software
• Software
• Computing
• Graphics hardware
• QEMU
• GPGPU
• Kernel-based Virtual Machine
• Emulator
• VICE
• Graphics processing unit
• Emulation
• Jason Voorhees

Reverse Engineering SPARQL Queries∗ Marcelo Arenas Gonzalo I. Diaz Egor V. Kostylev

Source URL: gdac.uqam.ca

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

Source URL: db.cs.washington.edu

• Computing
• Data management
• Data
• Business intelligence
• Database management systems
• Technology forecasting
• Transaction processing
• Dan Suciu
• Big data
• Probabilistic database
• Data science
• Analytics

Internet Censorship in China: Where Does the Filtering Occur? Xueyang Xu, Z. Morley Mao, and J. Alex Halderman Department of Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor, MI 48

Source URL: web.eecs.umich.edu

• Computer network security
• Computing
• Firewall software
• Information and communications technology
• Computer security
• Data security
• Internet censorship in China
• Human rights in China
• Firewall
• Stateful firewall
• Internet censorship
• Router

BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011

Source URL: arieg.bitbucket.io

• Systems science
• Carnegie Mellon University
• Systems engineering
• Systems theory
• Cyberwarfare
• Software Engineering Institute
• System of systems
• Carnegie Mellon Silicon Valley
• Software engineering
• Pittsburgh
• Science and technology in the United States

RESEARCH LINES Mapping SHiNE RiSE Rigorous Systems Engineering

Source URL: www.eziobartocci.com

• Theoretical computer science
• Helmut Veith
• Formal methods
• TU Wien
• Institute for Applied Information Processing and Communications
• Software engineering
• Verification
• Formal verification
• Computing

Learning Linguistic Descriptors of User Roles in Online Communities Alex Wang1 , William L. Hamilton2 , Jure Leskovec2 1 School of Engineering and Applied Sciences, Harvard University, Cambridge MA, Computer Scie

Source URL: www.aclweb.org

• Statistical natural language processing
• World Wide Web
• Digital media
• Internet culture
• Subreddits
• Crowdsourcing
• Reddit
• Collaboration
• /r/IAmA
• Oriented FAST and rotated BRIEF
• Topic model
• Select

RAIDq: A software-friendly, multiple-parity RAID Ming-Shing Chen† , Bo-Yin Yang‡ , and Chen-Mou Cheng†‡ † Department of Electrical Engineering, National Taiwan University, Taiwan ‡ Research Center for Informa

Source URL: precision.moscito.org

• Coding theory
• Error detection and correction
• ReedSolomon error correction
• NC
• Erasure code
• RAID
• Discrete mathematics
• Mathematics
• Theoretical computer science