![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Arun Raman
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c20]Sannidhi V. Hebbar
, Sasmita Harini
, Arun Raman
, Viraj Kumar
:
Refute Questions for Concrete, Cluttered Specifications. ICER (2) 2024: 539-540 - 2023
- [c19]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: 7-14 - [c18]Sapna Grover
, Arun Raman
, Hema Banati
:
Does Bilingual Specification impact students' comprehension of problems in Introductory Programming? COMPUTE 2023: 66-71 - [c17]Viraj Kumar
, Arun Raman
:
Helping Students Develop a Critical Eye with Refute Questions. SIGCSE (2) 2023: 1181 - 2022
- [c16]Arun Raman
, Viraj Kumar
:
Programming Pedagogy and Assessment in the Era of AI/ML: A Position Paper. COMPUTE 2022: 29-34 - [i1]Arun Raman, Keerthan Shagrithaya, Shalabh Bhatnagar:
Reinforcement Learning for Task Specifications with Action-Constraints. CoRR abs/2201.00286 (2022) - 2021
- [j4]Arun Raman
, Ramavarapu S. Sreenivas:
Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri Nets. Autom. 125: 109430 (2021) - 2020
- [j3]Arun Raman
, R. S. Sreenivas:
Fault-Tolerant Control of Discrete-Event Systems With Controllability Failures. IEEE Control. Syst. Lett. 4(3): 674-679 (2020) - [j2]Chen Chen
, Arun Raman
, Hesuan Hu
, Ramavarapu S. Sreenivas
:
On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets. IEEE Trans. Autom. Control. 65(12): 5236-5247 (2020)
2010 – 2019
- 2019
- [c15]Arun Raman
, Ramavarapu S. Sreenivas:
Sequential Synthesis of Supervisory Policies for Discrete-Event Systems Modeled by Petri Nets. SMC 2019: 2372-2377 - 2015
- [c14]Soumyadeep Ghosh, Yongjun Park, Arun Raman:
Enabling Efficient Alias Speculation. LCTES 2015: 7:1-7:10 - 2013
- [j1]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): 1597-1602 (2013) - 2012
- [b1]Arun Raman:
A System for Flexible Parallel Execution. Princeton University, USA, 2012 - [c13]Arun Raman, Jae W. Lee, David I. August:
From sequential programming to flexible parallel execution. CASES 2012: 37-40 - [c12]Shyam Kamal, Arun Raman
, Bijnan Bandyopadhyay:
Discrete sliding mode control of fractional linear systems. ISIE 2012: 820-825 - [c11]Arun Raman, Ayal Zaks, Jae W. Lee, David I. August:
Parcae: a system for flexible parallel execution. PLDI 2012: 133-144 - [p1]David I. August, Jialu Huang, Thomas B. Jablin, Hanjun Kim, Thomas R. Mason, Prakash Prabhu, Arun Raman, Yun Zhang:
Automatic Extraction of Parallelism from Sequential Code. Fundamentals of Multicore Software Development 2012: 1-38 - 2011
- [c10]Olivier Certner, Zheng Li, Arun Raman, Olivier Temam:
A Very Fast Simulator for Exploring the Many-Core Future. IPDPS 2011: 443-454 - [c9]Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav:
Sprint: speculative prefetching of remote data. OOPSLA 2011: 259-274 - [c8]Arun Raman, Hanjun Kim
, Taewook Oh, Jae W. Lee, David I. August:
Parallelism orchestration using DoPE: the degree of parallelism executive. PLDI 2011: 26-37 - [c7]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: 19:1-19:12 - [r1]David I. August, Arun Raman:
EPIC Processors. Encyclopedia of Parallel Computing 2011: 615-622 - 2010
- [c6]Arun Raman, Hanjun Kim
, Thomas R. Mason, Thomas B. Jablin, David I. August:
Speculative parallelization using software multi-threaded transactions. ASPLOS 2010: 65-76 - [c5]Jialu Huang, Arun Raman, Thomas B. Jablin, Yun Zhang, Tzu-Han Hung, David I. August:
Decoupled software pipelining creates parallelization opportunities. CGO 2010: 121-130 - [c4]Hanjun Kim
, Arun Raman, Feng Liu, Jae W. Lee, David I. August:
Scalable Speculative Parallelization on Commodity Clusters. MICRO 2010: 3-14
2000 – 2009
- 2008
- [c3]Easwaran Raman, Guilherme Ottoni, Arun Raman, Matthew J. Bridges, David I. August:
Parallel-stage decoupled software pipelining. CGO 2008: 114-123 - [c2]Arun Raman:
SWAT Surveillance Wall Acclivitous Tracker. ROBIO 2008: 768-773 - 2003
- [c1]Joanne DeGroat, Arun Raman, Bakr Younis:
A Design Project for System Design with SystemC. MSE 2003: 108-109
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint