Arun Raman

According to our database, Arun Raman authored at least 28 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Refute Questions for Concrete, Cluttered Specifications.

Sannidhi V. Hebbar, Sasmita Harini, Arun Raman, Viraj Kumar

Proceedings of the 2024 ACM Conference on International Computing Education Research, 2024

2023

Helping Students Develop a Critical Eye with Refute Questions.

Viraj Kumar, Arun Raman

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Does Bilingual Specification impact students' comprehension of problems in Introductory Programming?

Sapna Grover, Arun Raman, Hema Banati

Proceedings of the 16th Annual ACM India Compute Conference, 2023

A Bug's New Life: Creating Refute Questions from Filtered CS1 Student Code Snapshots.

Nimisha Agarwal, Viraj Kumar, Arun Raman, Amey Karkare

Proceedings of the ACM Conference on Global Computing Education Vol 1, 2023

2022

Reinforcement Learning for Task Specifications with Action-Constraints.

Arun Raman, Keerthan Shagrithaya, Shalabh Bhatnagar

CoRR, 2022

Programming Pedagogy and Assessment in the Era of AI/ML: A Position Paper.

Arun Raman, Viraj Kumar

Proceedings of the COMPUTE 2022, Jaipur, India, November 9-11, 2022, 2022

2021

Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri Nets.

Arun Raman, Ramavarapu S. Sreenivas

Autom., 2021

2020

On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets.

Chen Chen, Arun Raman, Hesuan Hu, Ramavarapu S. Sreenivas

IEEE Trans. Autom. Control., 2020

Fault-Tolerant Control of Discrete-Event Systems With Controllability Failures.

Arun Raman, R. S. Sreenivas

IEEE Control. Syst. Lett., 2020

2019

Sequential Synthesis of Supervisory Policies for Discrete-Event Systems Modeled by Petri Nets.

Arun Raman, Ramavarapu S. Sreenivas

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

2015

Enabling Efficient Alias Speculation.

Soumyadeep Ghosh, Yongjun Park, Arun Raman

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, 2015

2013

Finite-Time Stabilization of Fractional Order Uncertain Chain of Integrator: An Integral Sliding Mode Approach.

Shyam Kamal, Arun Raman, Bijnan Bandyopadhyay

IEEE Trans. Autom. Control., 2013

2012

A System for Flexible Parallel Execution

Arun Raman

PhD thesis, 2012

Parcae: a system for flexible parallel execution.

Arun Raman, Ayal Zaks, Jae W. Lee, David I. August

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Discrete sliding mode control of fractional linear systems.

Shyam Kamal, Arun Raman, Bijnan Bandyopadhyay

Proceedings of the 21st IEEE International Symposium on Industrial Electronics, 2012

From sequential programming to flexible parallel execution.

Arun Raman, Jae W. Lee, David I. August

Proceedings of the 15th International Conference on Compilers, 2012

Automatic Extraction of Parallelism from Sequential Code.

David I. August, Jialu Huang, Thomas B. Jablin, Hanjun Kim, Thomas R. Mason, Prakash Prabhu, Arun Raman, Yun Zhang

Fundamentals of Multicore Software Development, 2012

2011

EPIC Processors.

David I. August, Arun Raman

Proceedings of the Encyclopedia of Parallel Computing, 2011

A survey of the practice of computational science.

Prakash Prabhu, Thomas B. Jablin, Arun Raman, Yun Zhang, Jialu Huang, Hanjun Kim, Nick P. Johnson, Feng Liu, Soumyadeep Ghosh, Stephen R. Beard, Taewook Oh, Matthew Zoufaly, David Walker, David I. August

Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2011

Parallelism orchestration using DoPE: the degree of parallelism executive.

Arun Raman, Hanjun Kim, Taewook Oh, Jae W. Lee, David I. August

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Sprint: speculative prefetching of remote data.

Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

A Very Fast Simulator for Exploring the Many-Core Future.

Olivier Certner, Zheng Li, Arun Raman, Olivier Temam

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010

Scalable Speculative Parallelization on Commodity Clusters.

Hanjun Kim, Arun Raman, Feng Liu, Jae W. Lee, David I. August

Proceedings of the 43rd Annual IEEE/ACM International Symposium on Microarchitecture, 2010

Decoupled software pipelining creates parallelization opportunities.

Jialu Huang, Arun Raman, Thomas B. Jablin, Yun Zhang, Tzu-Han Hung, David I. August

Proceedings of the CGO 2010, 2010

Speculative parallelization using software multi-threaded transactions.

Arun Raman, Hanjun Kim, Thomas R. Mason, Thomas B. Jablin, David I. August

Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2008

SWAT Surveillance Wall Acclivitous Tracker.

Arun Raman

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2008

Parallel-stage decoupled software pipelining.

Easwaran Raman, Guilherme Ottoni, Arun Raman, Matthew J. Bridges, David I. August

Proceedings of the Sixth International Symposium on Code Generation and Optimization (CGO 2008), 2008

2003

A Design Project for System Design with SystemC.

Joanne DeGroat, Arun Raman, Bakr Younis

Proceedings of the 2003 International Conference on Microelectronics Systems Education, 2003