Arun Raman

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 11

Top Topics

Helping Students

Introductory Programming

Discrete Event Systems

Top Venues

IEEE Control. Syst. Lett.

Publications

Sannidhi V. Hebbar, Sasmita Harini, Arun Raman, Viraj Kumar
Refute Questions for Concrete, Cluttered Specifications. ICER (2) (2024)
Nimisha Agarwal, Viraj Kumar, Arun Raman, Amey Karkare
A Bug's New Life: Creating Refute Questions from Filtered CS1 Student Code Snapshots. CompEd (1) (2023)
Sapna Grover, Arun Raman, Hema Banati
Does Bilingual Specification impact students' comprehension of problems in Introductory Programming? COMPUTE (2023)
Viraj Kumar, Arun Raman
Helping Students Develop a Critical Eye with Refute Questions. SIGCSE (2) (2023)
Arun Raman, Keerthan Shagrithaya, Shalabh Bhatnagar
Reinforcement Learning for Task Specifications with Action-Constraints. CoRR (2022)
Arun Raman, Viraj Kumar
Programming Pedagogy and Assessment in the Era of AI/ML: A Position Paper. COMPUTE (2022)
Arun Raman, Ramavarapu S. Sreenivas
Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri Nets. Autom. 125 (2021)
Arun Raman, R. S. Sreenivas
Fault-Tolerant Control of Discrete-Event Systems With Controllability Failures. IEEE Control. Syst. Lett. 4 (3) (2020)
Chen Chen, Arun Raman, Hesuan Hu, Ramavarapu S. Sreenivas
On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets. IEEE Trans. Autom. Control. 65 (12) (2020)
Arun Raman, Ramavarapu S. Sreenivas
Sequential Synthesis of Supervisory Policies for Discrete-Event Systems Modeled by Petri Nets. SMC (2019)
Soumyadeep Ghosh, Yongjun Park, Arun Raman
Enabling Efficient Alias Speculation. LCTES (2015)
Shyam Kamal, Arun Raman, Bijnan Bandyopadhyay
Finite-Time Stabilization of Fractional Order Uncertain Chain of Integrator: An Integral Sliding Mode Approach. IEEE Trans. Autom. Control. 58 (6) (2013)
Shyam Kamal, Arun Raman, Bijnan Bandyopadhyay
Discrete sliding mode control of fractional linear systems. ISIE (2012)
Arun Raman, Ayal Zaks, Jae W. Lee, David I. August
Parcae: a system for flexible parallel execution. PLDI (2012)
Arun Raman, Jae W. Lee, David I. August
From sequential programming to flexible parallel execution. CASES (2012)
Olivier Certner, Zheng Li, Arun Raman, Olivier Temam
A Very Fast Simulator for Exploring the Many-Core Future. IPDPS (2011)
Arun Raman, Hanjun Kim, Taewook Oh, Jae W. Lee, David I. August
Parallelism orchestration using DoPE: the degree of parallelism executive. PLDI (2011)
Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav
Sprint: speculative prefetching of remote data. OOPSLA (2011)
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
A survey of the practice of computational science. SC State of the Practice Reports (2011)
Hanjun Kim, Arun Raman, Feng Liu, Jae W. Lee, David I. August
Scalable Speculative Parallelization on Commodity Clusters. MICRO (2010)
Arun Raman, Hanjun Kim, Thomas R. Mason, Thomas B. Jablin, David I. August
Speculative parallelization using software multi-threaded transactions. ASPLOS (2010)
Jialu Huang, Arun Raman, Thomas B. Jablin, Yun Zhang, Tzu-Han Hung, David I. August
Decoupled software pipelining creates parallelization opportunities. CGO (2010)
Easwaran Raman, Guilherme Ottoni, Arun Raman, Matthew J. Bridges, David I. August
Parallel-stage decoupled software pipelining. CGO (2008)
Arun Raman
SWAT Surveillance Wall Acclivitous Tracker. ROBIO (2008)
Joanne DeGroat, Arun Raman, Bakr Younis
A Design Project for System Design with SystemC. MSE (2003)