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
15152008
Region streams: Functional macroprogramming for sensor networks
R Newton, M Welsh
Proceeedings of the 1st international workshop on Data management for sensor …, 2004
3292004
The regiment macroprogramming system
R Newton, G Morrisett, M Welsh
Proceedings of the 6th international conference on Information processing in …, 2007
3262007
Concurrent collections
Z Budimlić, M Burke, V Cavé, K Knobe, G Lowney, R Newton, J Palsberg, ...
Scientific Programming 18 (3), 203-217, 2010
2392010
A monad for deterministic parallelism
S Marlow, R Newton, S Peyton Jones
Proceedings of the 4th ACM symposium on Haskell, 71-82, 2011
1712011
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
1612009
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
1442017
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
1192008
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
Building up to macroprogramming: an intermediate language for sensor networks
R Newton, M Welsh
Information Processing in Sensor Networks, 2005. IPSN 2005. Fourth …, 2005
1052005
LVars: lattice-based data structures for deterministic parallelism
L Kuper, RR Newton
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013
982013
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
812017
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
802008
Freeze after writing: Quasi-deterministic parallel programming with LVars
L Kuper, A Turon, NR Krishnaswami, RR Newton
ACM SIGPLAN Notices 49 (1), 257-270, 2014
762014
Concurrent Collections Programming Model.
MG Burke, K Knobe, R Newton, V Sarkar
Encyclopedia of Parallel Computing, 364-371, 2011
632011
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
412014
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
402008
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
352020
Type-safe runtime code generation: accelerate to LLVM
TL McDonell, MMT Chakravarty, V Grover, RR Newton
ACM SIGPLAN Notices 50 (12), 201-212, 2015
342015
Instruction punning: Lightweight instrumentation for x86-64
B Chamith, BJ Svensson, L Dalessandro, RR Newton
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
292017
The system can't perform the operation now. Try again later.
Articles 1–20