Volgen
Ryan Newton
Ryan Newton
MIT, Purdue University, Meta Platforms
Geverifieerd e-mailadres voor indiana.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
15732008
Region streams: Functional macroprogramming for sensor networks
R Newton, M Welsh
Proceeedings of the 1st international workshop on Data management for sensor …, 2004
3362004
The regiment macroprogramming system
R Newton, G Morrisett, M Welsh
Proceedings of the 6th international conference on Information processing in …, 2007
3252007
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
1652011
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
1642017
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
1642009
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
122*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
1082005
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
922017
LVars: lattice-based data structures for deterministic parallelism
L Kuper, RR Newton
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013
922013
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
832008
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
752014
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
752008
Concurrent Collections Programming Model.
MG Burke, K Knobe, R Newton, V Sarkar
Encyclopedia of Parallel Computing, 364-371, 2011
652011
Type-safe runtime code generation: accelerate to LLVM
TL McDonell, MMT Chakravarty, V Grover, RR Newton
ACM SIGPLAN Notices 50 (12), 201-212, 2015
422015
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
392020
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
392014
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
372017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20