| A {NICE} way to test {OpenFlow} applications M Canini, D Venzano, P Perešíni, D Kostić, J Rexford 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12 …, 2012 | 760 | 2012 |
| Reaching approximate agreement in the presence of faults D Dolev, NA Lynch, SS Pinter, EW Stark, WE Weihl Journal of the ACM (JACM) 33 (3), 499-516, 1986 | 677 | 1986 |
| Register allocation with instruction scheduling SS Pinter PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming …, 1993 | 225* | 1993 |
| Distributed nodes organization algorithm for channel access in a multihop dynamic radio network Chlamtac, Pinter IEEE Transactions on Computers 100 (6), 728-737, 1987 | 214 | 1987 |
| Public Protection of Software A Herzberg, S Pinter Crypto 85, 1985 | 186 | 1985 |
| Using a model-based test generator to test for standard conformance E Farchi, A Hartman, SS Pinter IBM systems journal 41 (1), 89-110, 2002 | 166 | 2002 |
| Discovering workflow models from activities’ lifespans SS Pinter, M Golani Computers in Industry 53 (3), 283-296, 2004 | 124 | 2004 |
| A temporal logic for reasoning about partially ordered computations SS Pinter, P Wolper Proceedings of the third annual ACM symposium on Principles of distributed …, 1984 | 110 | 1984 |
| Program optimization and parallelization using idioms SS Pinter, RY Pinter ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 305-327, 1994 | 104 | 1994 |
| Automatic generation of process models M Golani, S Pinter US Patent 8,265,979, 2012 | 78 | 2012 |
| Estimation of object lifetime using static analysis S Pinter, S Porat US Patent 6,457,023, 2002 | 72 | 2002 |
| Group communication system with flexible member model AC Azagury, M Factor, G Goft, S Pinter, E Yeger-Lotem US Patent 6,493,716, 2002 | 68 | 2002 |
| Tango: a hardware-based data prefetching technique for superscalar processors SS Pinter, A Yoaz Proceedings of the 29th Annual IEEE/ACM International Symposium on …, 1996 | 61 | 1996 |
| On mapping processes to processors in distributed systems SS Pinter, Y Wolfstahl International journal of parallel programming 16, 1-15, 1987 | 42 | 1987 |
| Compile time instruction cache optimizations A Mendlson, SS Pinter, R Shtokhamer ACM SIGARCH Computer Architecture News 22 (1), 44-51, 1994 | 41 | 1994 |
| Generating a process model from a process audit log A ter Hofstede, M Golani, SS Pinter Business Process Management: International Conference, BPM 2003 Eindhoven …, 2003 | 38 | 2003 |
| Delivery of configuration change in a group MR Funk, G Goft, D Kloper, S Pinter, E Yeger-Lotem US Patent 6,493,715, 2002 | 38 | 2002 |
| Improving machine virtualization with 'hotplug memory' SS Pinter, Y Aridor, SS Shultz, S Guenender International journal of high performance computing and networking 5 (4 …, 2008 | 24 | 2008 |
| Middleware support for primary component in a partitionable cluster environment S Pinter, E Yeger-Lotem US Patent 6,460,039, 2002 | 21 | 2002 |
| Type matching, type-graphs, and the Schanuel conjecture J Katzenelson, SS Pinter, E Schenfeld ACM Transactions on Programming Languages and Systems (TOPLAS) 14 (4), 574-588, 1992 | 18 | 1992 |
Nancy LynchProfessor of EECS, MITVerified email at csail.mit.edu
