Personal tools

Linda Hope

Recent content created by this user

Page
Title: Compiler-Assisted Test Acceleration on GPUs (for Embedded Software) Jan 16, 2018
Title: Consensus in the Blockchain Era Sep 19, 2017
Title: Spatial model-checking of vehicle location data Oct 04, 2017
Title: Report on the International Congress in Algebras and Combinatorics Oct 04, 2017
Title: Parity Objectives in Infinite Markov Decision Processes (+ Skiing in the southern hemisphere, part II (Chile) Oct 04, 2017
Event
Title: Compiler-Assisted Test Acceleration on GPUs (for Embedded Software) Jan 16, 2018
Title: The 2017 ICFP programming contest Dec 05, 2017
Title: Verifying safety and persistence properties of hybrid systems Nov 17, 2017
Title: Graphs, Ellipsoids, and Balls-into-Bins: A linear-time algorithm for constructing linear-sized spectral sparsifiers Nov 17, 2017
Title: How much logic should a first-year student learn? Nov 13, 2017
Image
Anna Pappa Nov 25, 2015
Wilmer Ricciotti Nov 12, 2015
Tomasz Gogacz Nov 04, 2015
Nadime Francis Nov 04, 2015
Chris Heunen Nov 03, 2015
News Item
Congratulations to Ricardo Almeida on successfully passing his VIVA Aug 08, 2017
Congratulations to Perdita Stevens who has received a prestigious award (10-year most influential paper, from the MODELS conference) Mar 06, 2017
Congratulations to Cheng Feng on successfully passing his VIVA Nov 14, 2016
Congratulations to Anastasis Georgoulas who successfully passed his VIVA Sep 13, 2016
Congratulations: Vladimir Nikishkin has successfully passed his VIVA Aug 11, 2016
All content created by Linda Hope…