Follow
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
13562008
Region streams: Functional macroprogramming for sensor networks
R Newton, M Welsh
Proceeedings of the 1st international workshop on Data management for sensor …, 2004
3152004
The regiment macroprogramming system
R Newton, G Morrisett, M Welsh
Proceedings of the 6th international conference on Information processing in …, 2007
3122007
Concurrent collections
Z Budimlić, M Burke, V Cavé, K Knobe, G Lowney, R Newton, J Palsberg, ...
Scientific Programming 18 (3), 203-217, 2010
2342010
A monad for deterministic parallelism
S Marlow, R Newton, S Peyton Jones
Proceedings of the 4th ACM symposium on Haskell, 71-82, 2011
1582011
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
1562009
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
119*2007
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
1172008
Building up to macroprogramming: an intermediate language for sensor networks
R Newton, M Welsh
Information Processing in Sensor Networks, 2005. IPSN 2005. Fourth …, 2005
1012005
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
902017
LVars: lattice-based data structures for deterministic parallelism
L Kuper, RR Newton
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013
782013
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
752008
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
692014
The concurrent collections programming model
MG Burke, K Knobe, R Newton, V Sarkar
642010
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
532017
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
352014
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
252006
Ambrosia: Providing performant virtual resiliency for distributed applications
J Goldstein, A Abdelhamid, M Barnett, S Burckhardt, B Chandramouli, ...
Proceedings of the VLDB Endowment 13 (5), 588-601, 2020
242020
Type-safe runtime code generation: accelerate to LLVM
TL McDonell, MMT Chakravarty, V Grover, RR Newton
ACM SIGPLAN Notices 50 (12), 201-212, 2015
222015
The system can't perform the operation now. Try again later.
Articles 1–20