Zachary Anderson
Zachary Anderson
Senior Researcher, ETH Zürich
Verified email at - Homepage
Cited by
Cited by
Synopsis diffusion for robust aggregation in sensor networks
S Nath, PB Gibbons, S Seshan, ZR Anderson
Proceedings of the 2nd international conference on Embedded networked sensor …, 2004
SafeDrive: Safe and recoverable extensions using language-based techniques
F Zhou, J Condit, Z Anderson, I Bagrak, R Ennals, M Harren, G Necula, ...
Proceedings of the 7th symposium on Operating systems design and …, 2006
Dependent types for low-level programming
J Condit, M Harren, Z Anderson, D Gay, GC Necula
European Symposium on Programming, 520-535, 2007
SharC: Checking data sharing strategies for multithreaded C
Z Anderson, D Gay, R Ennals, E Brewer
ACM SIGPLAN Notices 43 (6), 149-158, 2008
Choosing beacon periods to improve response times for wireless HTTP clients
S Nath, Z Anderson, S Seshan
Proceedings of the second international workshop on Mobility management …, 2004
Lightweight annotations for controlling sharing in concurrent data structures
ZR Anderson, D Gay, M Naik
ACM Sigplan Notices 44 (6), 98-109, 2009
Multicore {OS} Benchmarks: We Can Do Better
I Kuz, Z Anderson, P Shinde
13th Workshop on Hot Topics in Operating Systems (HotOS XIII), 2011
Beyond Bug-Finding: Sound Program Analysis for Linux.
ZR Anderson, EA Brewer, J Condit, R Ennals, D Gay, M Harren, ...
HotOS, 2007
A SIMD programming model for Dart, JavaScript, and other dynamically typed scripting languages
J McCutchan, H Feng, N Matsakis, Z Anderson, P Jensen
Proceedings of the 2014 Workshop on Programming models for SIMD/Vector …, 2014
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies
Z Anderson
ACM SIGPLAN Notices 47 (10), 717-736, 2012
Design of a lightweight, ergonomic manipulator for enabling expressive gesturing in telepresence robots
JT Slack, K DeProw, Z Anderson, RMA Di Bartolomeo, JL Gorlewicz, ...
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018
A CIL Tutorial--Using CIL for language extensions and program analysis
Z Anderson
Static analysis of C for hybrid type checking
ZR Anderson
Tech. Rep. EECS-2007-1, UC Berkeley, 2007
Design and Implementation of a Haptic Measurement Glove to Create Realistic Human-Telerobot Interactions
E Capelle, WN Benson, Z Anderson, JB Weinberg, JL Gorlewicz
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2020
Composable, nestable, pessimistic atomic statements
Z Anderson, D Gay
ACM SIGPLAN Notices 46 (10), 865-884, 2011
Gang scheduling istn't worth it... yet
S Peter, A Baumann, T Roscoe
Technical report 745, 2011
Checking the data sharing strategies of concurrent systems level code
ZR Anderson
University of California, Berkeley, 2010
Choosing Beacon Periods to Improve Response Times
S Nath, Z Anderson
MobiWac'04: Proceedings of the Second International Workshop on Mobility …, 2004
Automatic Alignment of X-ray Beams
ZR Anderson
SLAC, August, 2002
3.1 Fingerprinting
Z Anderson, A Dimakis, D Latham, M Mohiyuddin, G Pierrakos, C Stergiou
The system can't perform the operation now. Try again later.
Articles 1–20