2008 | ||
---|---|---|
20 | EE | Brian R. Murphy, Vijay Menon, Florian T. Schneider, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai: Fault-safe code motion for type-safe languages. CGO 2008: 144-154 |
19 | EE | Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan: A Uniform Transactional Execution Environment for Java. ECOOP 2008: 129-154 |
18 | EE | Florian T. Schneider, Vijay Menon, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai: Dynamic optimization for efficient strong atomicity. OOPSLA 2008: 181-194 |
17 | EE | Phil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon, Bratin Saha, Tatiana Shpeisman: Concurrent GC leveraging transactional memory. PPOPP 2008: 217-226 |
16 | EE | Evgueni Brevnov, Yuri Dolgov, Boris Kuznetsov, Dmitry Yershov, Vyacheslav Shakin, Dong-yuan Chen, Vijay Menon, Suresh Srinivas: Practical experiences with Java software transactional memory. PPOPP 2008: 287-288 |
15 | EE | Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc: Practical weak-atomicity semantics for java stm. SPAA 2008: 314-325 |
14 | EE | Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc: Single global lock semantics in a weakly atomic STM. SIGPLAN Notices 43(5): 15-26 (2008) |
2007 | ||
13 | EE | Bratin Saha, Ali-Reza Adl-Tabatabai, Anwar M. Ghuloum, Mohan Rajagopalan, Richard L. Hudson, Leaf Petersen, Vijay Menon, Brian R. Murphy, Tatiana Shpeisman, Eric Sprangle, Anwar Rohillah, Doug Carmean, Jesse Fang: Enabling scalability and performance in a large scale CMP environment. EuroSys 2007: 73-86 |
12 | EE | Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha: Enforcing isolation and ordering in STM. PLDI 2007: 78-88 |
11 | EE | Yang Ni, Vijay Menon, Ali-Reza Adl-Tabatabai, Antony L. Hosking, Richard L. Hudson, J. Eliot B. Moss, Bratin Saha, Tatiana Shpeisman: Open nesting in software transactional memory. PPOPP 2007: 68-78 |
2006 | ||
10 | EE | Ali-Reza Adl-Tabatabai, Brian T. Lewis, Vijay Menon, Brian R. Murphy, Bratin Saha, Tatiana Shpeisman: Compiler and runtime support for efficient software transactional memory. PLDI 2006: 26-37 |
9 | EE | Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen: A verifiable SSA program representation for aggressive compiler optimization. POPL 2006: 397-408 |
2004 | ||
8 | EE | Vijay Menon, Keshav Pingali: Look Left, Look Right, Look Left Again: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring. International Journal of Parallel Programming 32(6): 501-523 (2004) |
7 | EE | Todd Anderson, Marsha Eng, Neal Glew, Brian T. Lewis, Vijay Menon, James M. Stichnoth: Experience Integrating a New Compiler and a New Garbage Collector Into Rotor. Journal of Object Technology 3(9): 53-70 (2004) |
2003 | ||
6 | EE | Vijay Menon, Keshav Pingali, Nikolay Mateev: Fractal symbolic analysis. ACM Trans. Program. Lang. Syst. 25(6): 776-813 (2003) |
2001 | ||
5 | EE | Nikolay Mateev, Vijay Menon, Keshav Pingali: Fractal symbolic analysis. ICS 2001: 38-49 |
2000 | ||
4 | EE | Nikolay Mateev, Vijay Menon, Keshav Pingali: Left-Looking to Right-Looking and Vice Versa: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring. Euro-Par 2000: 379-388 |
3 | EE | Nikolay Mateev, Vijay Menon, Keshav Pingali: Fractal Symbolic Analysis CoRR cs.PL/0001009: (2000) |
1999 | ||
2 | EE | Vijay Menon, Keshav Pingali: A case for source-level transformations in MATLAB. DSL 1999: 53-65 |
1 | EE | Vijay Menon, Keshav Pingali: High-level semantic optimization of numerical codes. International Conference on Supercomputing 1999: 434-443 |