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
Programming Languages and Systems: 16th European Symposium on Programming …, 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
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
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies
Z Anderson
ACM SIGPLAN Notices 47 (10), 717-736, 2012
Static analysis of C for hybrid type checking
ZR Anderson
Tech. Rep. EECS-2007-1, UC Berkeley, 2007
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
Embodied expressive gestures in telerobots: a tale of two users
WN Benson, Z Anderson, E Capelle, MF Dunlap, B Dorris, JL Gorlewicz, ...
ACM Transactions on Human-Robot Interaction 12 (2), 1-20, 2023
A CIL tutorial-using CIL for language extensions and program analysis
Z Anderson
Systems Group Department of Computer Science, ETH Zürich, 2013
Composable, nestable, pessimistic atomic statements
Z Anderson, D Gay
ACM SIGPLAN Notices 46 (10), 865-884, 2011
The Effect of a Robotic Arm on Social Interactions
M Shimizu, W Benson, Z Anderson, JB Weinberg, JL Gorlewicz
TMS Proceedings 2021, 2021
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
Automatic Alignment of X-ray Beams
ZR Anderson
SLAC, August, 2002
The system can't perform the operation now. Try again later.
Articles 1–20