| Kami: a platform for high-level parametric hardware specification and its modular verification J Choi, M Vijayaraghavan, B Sherman, A Chlipala, Arvind Proceedings of the ACM on Programming Languages 1 (ICFP), 1-30, 2017 | 161 | 2017 |
| Bounded dataflow networks and latency-insensitive circuits M Vijayaraghavan 2009 7th IEEE/ACM International Conference on Formal Methods and Models for …, 2009 | 104 | 2009 |
| Hardware acceleration of matrix multiplication on a xilinx fpga N Dave, K Fleming, M King, M Pellauer, M Vijayaraghavan 2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007 | 60 | 2007 |
| Modular deductive verification of multiprocessor hardware designs M Vijayaraghavan, A Chlipala, Arvind, N Dave International Conference on Computer Aided Verification, 109-127, 2015 | 59 | 2015 |
| Quick performance models quickly: Closely-coupled partitioned simulation on FPGAs M Pellauer, M Vijayaraghavan, M Adler, J Emer ISPASS 2008-IEEE International Symposium on Performance Analysis of Systems …, 2008 | 43 | 2008 |
| A-Ports: An efficient abstraction for cycle-accurate performance models on FPGAs M Pellauer, M Vijayaraghavan, M Adler, Arvind, J Emer Proceedings of the 16th international ACM/SIGDA symposium on Field …, 2008 | 34 | 2008 |
| Arvind. Fast and cycle-accurate modeling of a multicore processor A Khan, M Vijayaraghavan, S Boyd-Wickizer Proc. ISPASS, 1-8, 2012 | 29 | 2012 |
| A-port networks: Preserving the timed behavior of synchronous systems for modeling on fpgas M Pellauer, M Vijayaraghavan, M Adler, Arvind, J Emer ACM Transactions on Reconfigurable Technology and Systems (TRETS) 2 (3), 1-26, 2009 | 29 | 2009 |
| Arvind. From WiFI to WiMAX: Techniques for IP Reuse Across Different OFDM Protocols MC Ng, M Vijayaraghavan, G Raghavan, N Dave, J Hicks Proceedings of Formal Methods and Models for Codesign (MEMOCODE) 10, 2007 | 23 | 2007 |
| Fast and cycle-accurate modeling of a multicore processor A Khan, M Vijayaraghavan, S Boyd-Wickizer 2012 IEEE International Symposium on Performance Analysis of Systems …, 2012 | 19 | 2012 |
| Arvind,“ S Zhang, M Vijayaraghavan, A Wright, M Alipour Constructing a weak memory model,” in ISCA, 2018 | 17 | 2018 |
| From WiFi to WiMAX: Techniques for high-level IP reuse across Different OFDM protocols MC Ng, M Vijayaraghavan, N Dave, G Raghavan, J Hicks 2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007 | 17 | 2007 |
| High-throughput pipelined mergesort K Fleming, M King, MC Ng, A Khan, M Vijayaraghavan 2008 6th ACM/IEEE International Conference on Formal Methods and Models for …, 2008 | 15 | 2008 |
| Weak memory models: Balancing definitional simplicity and implementation flexibility S Zhang, M Vijayaraghavan 2017 26th International Conference on Parallel Architectures and Compilation …, 2017 | 12 | 2017 |
| A proof of correctness for the Tardis cache coherence protocol X Yu, M Vijayaraghavan, S Devadas arXiv preprint arXiv:1505.06459, 2015 | 12 | 2015 |
| Design contest overview: Combined architecture for network stream categorization and intrusion detection (CANSCID) M Pellauer, A Agarwal, A Khan, MC Ng, M Vijayaraghavan, F Brewer, ... Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010 | 10 | 2010 |
| Arvind and J Emer. Quick Performance Models Quickly: Timing-Directed Simulation on FPGAs M Pellauer, M Vijayaraghavan, M Adler Proceedings of ISPASS 10, 2008 | 9 | 2008 |
| Modular verification of hardware systems M Vijayaraghavan Massachusetts Institute of Technology, 2016 | 8 | 2016 |
| Modular compilation of guarded atomic actions M Vijayaraghavan, N Dave 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models …, 2013 | 6 | 2013 |
| Arvind. 2009. Bounded dataflow networks and latency-insensitive circuits M Vijayaraghavan Proceedings of the 7th IEEE/ACM International Conference on Formal Methods …, 0 | 6 | |
ArvindMITEmail verificata su mit.edu
