Ryan Newton
Ryan Newton
MIT, Indiana University, Facebook
Verified email at indiana.edu - Homepage
Title
Cited by
Cited by
Year
The pothole patrol: using a mobile sensor network for road surface monitoring
J Eriksson, L Girod, B Hull, R Newton, S Madden, H Balakrishnan
ACM MobiSys, 2008
12792008
Region streams: Functional macroprogramming for sensor networks
R Newton, M Welsh
Proceeedings of the 1st international workshop on Data management for sensor …, 2004
3112004
The regiment macroprogramming system
R Newton, G Morrisett, M Welsh
Proceedings of the 6th international conference on Information processing in …, 2007
3092007
Concurrent collections
Z Budimlić, M Burke, V Cavé, K Knobe, G Lowney, R Newton, J Palsberg, ...
Scientific Programming 18 (3), 203-217, 2010
2262010
A monad for deterministic parallelism
S Marlow, R Newton, S Peyton Jones
Proceedings of the 4th ACM symposium on Haskell, 71-82, 2011
1502011
Wishbone: Profile-based partitioning for sensornet applications
R Newton, S Toledo, L Girod, H Balakrishnan, S Madden
Proceedings of the 6th USENIX symposium on Networked systems design and …, 2009
1492009
Xstream: A signal-oriented data stream management system
L Girod, Y Mei, R Newton, S Rost, A Thiagarajan, H Balakrishnan, ...
Data Engineering, 2008. ICDE 2008. IEEE 24th International Conference on …, 2008
1162008
The case for a signal-oriented data stream management system
L Girod, Y Mei, R Newton, S Rost, A Thiagarajan, H Balakrishnan, ...
In CIDR, 2007
116*2007
Building up to macroprogramming: an intermediate language for sensor networks
R Newton, M Welsh
Information Processing in Sensor Networks, 2005. IPSN 2005. Fourth …, 2005
992005
Voxnet: An interactive, rapidly-deployable acoustic monitoring platform
M Allen, L Girod, R Newton, S Madden, DT Blumstein, D Estrin
Proceedings of the 7th international conference on Information processing in …, 2008
732008
Linear Haskell: practical linearity in a higher-order polymorphic language
JP Bernardy, M Boespflug, RR Newton, S Peyton Jones, A Spiwack
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
702017
LVars: lattice-based data structures for deterministic parallelism
L Kuper, RR Newton
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013
682013
The concurrent collections programming model
MG Burke, K Knobe, R Newton, V Sarkar
632010
Freeze after writing: Quasi-deterministic parallel programming with LVars
L Kuper, A Turon, NR Krishnaswami, RR Newton
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
602014
Refinement reflection: complete verification with SMT
N Vazou, A Tondwalkar, V Choudhury, RG Scott, RR Newton, P Wadler, ...
Proceedings of the ACM on Programming Languages 2 (POPL), 1-31, 2017
452017
Design and evaluation of a compiler for embedded stream programs
RR Newton, LD Girod, MB Craig, SR Madden, JG Morrisett
Proc. Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2008
392008
Taming the parallel effect zoo: Extensible deterministic parallelism with LVish
L Kuper, A Todd, S Tobin-Hochstadt, RR Newton
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
302014
Wavescope: a signal-oriented data stream management system
L Girod, K Jamieson, Y Mei, R Newton, S Rost, A Thiagarajan, ...
Proceedings of the 4th international conference on Embedded networked sensor …, 2006
242006
A meta-scheduler for the par-monad: Composable scheduling for the heterogeneous cloud
A Foltzer, A Kulkarni, R Swords, S Sasidharan, E Jiang, R Newton
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
222012
Type-safe runtime code generation: accelerate to LLVM
TL McDonell, MMT Chakravarty, V Grover, RR Newton
ACM SIGPLAN Notices 50 (12), 201-212, 2015
212015
The system can't perform the operation now. Try again later.
Articles 1–20