Zachary Anderson
Zachary Anderson
Senior Researcher, ETH Zürich
Verifierad e-postadress på inf.ethz.ch - Startsida
Titel
Citeras av
Citeras av
År
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
803*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
2162006
Dependent types for low-level programming
J Condit, M Harren, Z Anderson, D Gay, GC Necula
European Symposium on Programming, 520-535, 2007
1932007
SharC: Checking data sharing strategies for multithreaded C
Z Anderson, D Gay, R Ennals, E Brewer
ACM SIGPLAN Notices 43 (6), 149-158, 2008
762008
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
372004
Lightweight annotations for controlling sharing in concurrent data structures
ZR Anderson, D Gay, M Naik
ACM Sigplan Notices 44 (6), 98-109, 2009
302009
Multicore OS Benchmarks: We Can Do Better.
I Kuz, ZR Anderson, P Shinde, T Roscoe
HotOS, 2011
172011
Beyond Bug-Finding: Sound Program Analysis for Linux.
ZR Anderson, EA Brewer, J Condit, R Ennals, D Gay, M Harren, ...
HotOS, 2007
102007
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies
Z Anderson
ACM SIGPLAN Notices 47 (10), 717-736, 2012
82012
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
72014
A CIL Tutorial--Using CIL for language extensions and program analysis
Z Anderson
32013
Static analysis of C for hybrid type checking
ZR Anderson
Tech. Rep. EECS-2007-1, UC Berkeley, 2007
32007
Design of a lightweight, ergonomic manipulator for enabling expressive gesturing in telepresence robots
JT Slack, K Del-Row, Z Anderson, RMA Di Bartolomeo, JL Gorlcwicz, ...
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018
22018
Composable, nestable, pessimistic atomic statements
Z Anderson, D Gay
ACM SIGPLAN Notices 46 (10), 865-884, 2011
22011
Technical Report Nr. 745
S Peter, A Baumann, Z Anderson, T Roscoe
2011
Gang scheduling istn't worth it... yet
S Peter, A Baumann, ZR Anderson Zachary R, T Roscoe
Technical report 745, 2011
2011
Checking the data sharing strategies of concurrent systems level code
ZR Anderson
UC Berkeley, 2010
2010
Automatic Alignment of X-ray Beams
ZR Anderson
Stanford Linear Accelerator Center, Menlo Park, CA (US), 2003
2003
Website designed and built by Giant Rabbit LLC
X HotOS, NDPCU Derek, G Murray, S Hand, X HotOS, ACG Challen, ...
Design and Implementation of a Haptic Measurement Glove to Create Realistic Human-Telerobot Interactions
E Capelle, WN Benson, Z Anderson, JB Weinberg, JL Gorlewicz
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20