Follow
Zachary Anderson
Zachary Anderson
Senior Researcher, ETH Zürich
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
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
851*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
2352006
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
2152007
SharC: Checking data sharing strategies for multithreaded C
Z Anderson, D Gay, R Ennals, E Brewer
ACM SIGPLAN Notices 43 (6), 149-158, 2008
832008
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
392004
Lightweight annotations for controlling sharing in concurrent data structures
ZR Anderson, D Gay, M Naik
ACM Sigplan Notices 44 (6), 98-109, 2009
312009
Multicore OS Benchmarks: We Can Do Better.
I Kuz, ZR Anderson, P Shinde, T Roscoe
HotOS, 2011
182011
Beyond Bug-Finding: Sound Program Analysis for Linux.
ZR Anderson, EA Brewer, J Condit, R Ennals, D Gay, M Harren, ...
HotOS, 2007
102007
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
82014
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies
Z Anderson
ACM SIGPLAN Notices 47 (10), 717-736, 2012
72012
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
42018
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
32020
A CIL tutorial-using CIL for language extensions and program analysis
Z Anderson
Systems Group Department of Computer Science, ETH Zürich, 2013
32013
Static analysis of C for hybrid type checking
ZR Anderson
Tech. Rep. EECS-2007-1, UC Berkeley, 2007
32007
Composable, nestable, pessimistic atomic statements
Z Anderson, D Gay
ACM SIGPLAN Notices 46 (10), 865-884, 2011
22011
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, 2022
2022
TMS Proceedings 2021
M Shimizu, W Benson, Z Anderson, JB Weinberg, JL Gorlewicz
TMS Proceedings 2021, 2021
2021
Gang scheduling istn't worth it... yet
S Peter, A Baumann, T Roscoe
Technical report 745, 2011
2011
Checking the data sharing strategies of concurrent systems level code
ZR Anderson
University of California, Berkeley, 2010
2010
Choosing Beacon Periods to Improve Response Times
S Nath, Z Anderson
MobiWac'04: Proceedings of the Second International Workshop on Mobility …, 2004
2004
The system can't perform the operation now. Try again later.
Articles 1–20