Skip to content

Arun Raman

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

10

Active years

2008–2024

Best venue rank

A*

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2024ICERRefute Questions for Concrete, Cluttered Specifications.Sannidhi V. Hebbar, Sasmita Harini, Arun Raman, Viraj Kumar
2023SIGCSEHelping Students Develop a Critical Eye with Refute Questions.Viraj Kumar, Arun Raman
2019SMCSequential Synthesis of Supervisory Policies for Discrete-Event Systems Modeled by Petri Nets.Arun Raman, Ramavarapu S. Sreenivas
2012CASESFrom sequential programming to flexible parallel execution.Arun Raman, Jae W. Lee, David I. August
2012PLDIParcae: a system for flexible parallel execution.Arun Raman, Ayal Zaks, Jae W. Lee, David I. August
2011OOPSLASprint: speculative prefetching of remote data.Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav
2011PLDIParallelism orchestration using DoPE: the degree of parallelism executive.Arun Raman, Hanjun Kim, Taewook Oh, Jae W. Lee, David I. August
2011SCA 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
2010ASPLOSSpeculative parallelization using software multi-threaded transactions.Arun Raman, Hanjun Kim, Thomas R. Mason, Thomas B. Jablin, David I. August
2010CGODecoupled software pipelining creates parallelization opportunities.Jialu Huang, Arun Raman, Thomas B. Jablin, Yun Zhang, Tzu-Han Hung, David I. August
2010MICROScalable Speculative Parallelization on Commodity Clusters.Hanjun Kim, Arun Raman, Feng Liu, Jae W. Lee, David I. August
2008CGOParallel-stage decoupled software pipelining.Easwaran Raman, Guilherme Ottoni, Arun Raman, Matthew J. Bridges, David I. August