JouleSort: A Balanced Energy-Efficiency Benchmark Suzanne Rivoire Mehul A. Shah Stanford University

Source URL: rivoire.cs.sonoma.edu

• Computing
• Computers and the environment
• Computer performance
• Universe
• Information and communications technology
• Electric power
• Energy conservation
• Performance per watt
• Benchmark
• External sorting
• Energy density
• Standard Performance Evaluation Corporation

Suzanne Rivoire Curriculum Vitæ Date

Source URL: rivoire.cs.sonoma.edu

• Computing
• Computer science
• Information and communications technology
• Cluster computing
• Parallel computing
• Christos Kozyrakis
• Supercomputer
• ACM/IEEE Supercomputing Conference

Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki

Source URL: web.cs.ucdavis.edu

• Mathematics
• Theoretical computer science
• Applied mathematics
• Logic in computer science
• Formal methods
• Computational neuroscience
• Artificial neural networks
• Proof assistants
• Entropy
• Coq
• N-gram
• Recurrent neural network

Wheel + Ring = Reel: the Impact of Route Filtering on the Stability of Policy Routing Luca Cittadini Giuseppe Di Battista

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

Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University

Source URL: www.cs.purdue.edu

• Mathematical logic
• Theoretical computer science
• Mathematics
• Formal methods
• Boolean algebra
• Temporal logic
• Edsger W. Dijkstra
• Predicate transformer semantics
• Model theory
• Hoare logic
• True quantified Boolean formula
• Linear temporal logic

Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers∗ Gergely Kovásznai, Csaba Biró, and Balázs Erdélyi Eszterházy Károly University, Eger, Hungary IoT Research

Source URL: smt-workshop.cs.uiowa.edu

• Constraint programming
• Theoretical computer science
• Computing
• Wireless sensor network
• Wireless networking
• Applied mathematics
• Satisfiability modulo theories
• Sensor node
• Constraint satisfaction
• Mathematical optimization
• Constraint

Curriculum Vitae Stefan Ratschan Office address: Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod´arenskou vˇeˇz´ı 2

Source URL: www2.cs.cas.cz

1 Introduction to Computational Social Choice Felix Brandta , Vincent Conitzerb , Ulle Endrissc , J´erˆ ome Langd , and Ariel D. Procacciae

Source URL: users.cs.duke.edu

• Social choice theory
• Voting theory
• Voting
• Economics
• Group decision-making
• Arrow's impossibility theorem
• Independence of irrelevant alternatives
• Condorcet paradox
• Computational social choice
• Social welfare function
• Condorcet criterion
• Preference

Full version of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, The Geometry of Innocent Flesh on the Bone: Return-into-libc without Function Calls (on the x86) Hovav Shacham∗ hovav@cs.

Source URL: hovav.net

• Computing
• Computer architecture
• Computer security
• Software bugs
• Machine code
• X86 architecture
• X86 instructions
• Return-oriented programming
• Stack buffer overflow
• PaX
• Shellcode
• Buffer overflow

Architecting for Innovation

Source URL: pbg.cs.illinois.edu

• Computing
• Internet architecture
• Information and communications technology
• Network architecture
• Computer networking
• Telecommunications engineering
• Internet Standards
• Packet processing
• Internet protocol suite
• Computer network
• Router
• Routing