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
13442008
Region streams: Functional macroprogramming for sensor networks
R Newton, M Welsh
Proceeedings of the 1st international workshop on Data management for sensor …, 2004
3162004
The regiment macroprogramming system
R Newton, G Morrisett, M Welsh
Proceedings of the 6th international conference on Information processing in …, 2007
3132007
Concurrent collections
Z Budimlić, M Burke, V Cavé, K Knobe, G Lowney, R Newton, J Palsberg, ...
Scientific Programming 18 (3), 203-217, 2010
2322010
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
1522009
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
1182008
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
118*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
1002005
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
872017
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
LVars: lattice-based data structures for deterministic parallelism
L Kuper, RR Newton
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013
732013
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
632010
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
342014
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
222020
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
The system can't perform the operation now. Try again later.
Articles 1–20