| 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 | 1620 | 2008 |
| Region streams: Functional macroprogramming for sensor networks R Newton, M Welsh Proceeedings of the 1st international workshop on Data management for sensor …, 2004 | 338 | 2004 |
| The regiment macroprogramming system R Newton, G Morrisett, M Welsh Proceedings of the 6th international conference on Information processing in …, 2007 | 322 | 2007 |
| Concurrent collections Z Budimlić, M Burke, V Cavé, K Knobe, G Lowney, R Newton, J Palsberg, ... Scientific Programming 18 (3), 203-217, 2010 | 243 | 2010 |
| 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 | 195 | 2017 |
| A monad for deterministic parallelism S Marlow, R Newton, S Peyton Jones Proceedings of the 4th ACM symposium on Haskell, 71-82, 2011 | 170 | 2011 |
| 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 | 163 | 2009 |
| 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 | 120* | 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 | 107 | 2005 |
| 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 | 104 | 2017 |
| LVars: lattice-based data structures for deterministic parallelism L Kuper, RR Newton Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013 | 101 | 2013 |
| 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 | 84 | 2008 |
| 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 | 79 | 2014 |
| 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 | 74 | 2008 |
| Concurrent collections programming model MG Burke, K Knobe, R Newton, V Sarkar Encyclopedia of Parallel Computing, 364-371, 2011 | 67 | 2011 |
| 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 | 48 | 2020 |
| 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 | 46 | 2017 |
| Type-safe runtime code generation: accelerate to LLVM TL McDonell, MMT Chakravarty, V Grover, RR Newton ACM SIGPLAN Notices 50 (12), 201-212, 2015 | 43 | 2015 |
| 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 | 41 | 2014 |
| 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 | 41 | 2008 |
Samuel MaddenMITVerified email at csail.mit.edu
