Welcome to D
SIGMOD 2004
PODS 2004
SIGMOD RECOR
CIKM 2004
DASFAA 2004
DBPL 2003
DE-BULLETIN
DEBS 2004
DMKD 2004
DMSN 2004
DOLAP 2004
DPDJ 2004
EDBT 2004
ER 2003
GIS 2004
HDP 2004
HYPERTEXT 20
ICDE 2004
ICDT 2003
JCDL 2004
MDM
MIR 2004
MIS 2004
MMDB 2004
MOBIDE 2003
RIDE 2004
SBBD 2003
SIGIR FORUM
SIGIR 2004
SIGKDD EXPLO
SIGKDD 2004
SSDBM 2004
SSTD 2003
TIME 2004
TODS 2004
VLDB 2004
VLDB Journal
WEBDB 2004
WIDM 2004
XIME-P 2004
Footer

Vivek Sarkar

Papers on DiSC'04


Integrating Database and Programming Language Constraints

Publications


Note: Links lead to the DBLP on the Web.

Vivek Sarkar

Matthew Harren , Mukund Raghavachari , Oded Shmueli , Michael G. Burke , Rajesh Bordawekar , Igor Pechtchanski , Vivek Sarkar: XJ: facilitating XML processing in Java. WWW 2005 : 278-287

Mangala Gowri Nanda , Satish Chandra , Vivek Sarkar: Decentralizing execution of composite web services. OOPSLA 2004 : 170-187

Matthew Harren , Mukund Raghavachari , Oded Shmueli , Michael G. Burke , Vivek Sarkar, Rajesh Bordawekar : XJ: integration of XML processing into java. WWW (Alternate Track Papers & Posters) 2004 : 340-341

Oded Shmueli , Mukund Raghavachari , Vivek Sarkar, Rajesh Bordawekar , Michael G. Burke : Integrating Database and Programming Language Constraints. DBPL 2003 : 90-109

Jong-Deok Choi , Keunwoo Lee , Alexey Loginov , Robert O'Callahan , Vivek Sarkar, Manu Sridharan : Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. PLDI 2002 : 258-269

Vivek Sarkar, Stephen J. Fink : Efficient Dependence Analysis for Java Arrays. Euro-Par 2001 : 273-277

Vivek Sarkar, Julian Dolby : High-Performance Scalable Java Virtual Machines. HiPC 2001 : 151-166

Vivek Sarkar, Mauricio J. Serrano , Barbara B. Simons : Register-sensitive selection, duplication, and sequencing of instructions. ICS 2001 : 277-288

Igor Pechtchanski , Vivek Sarkar: Dynamic Optimistic Interprocedural Analysis: A Framework and an Application. OOPSLA 2001 : 195-210

Jan-Willem Maessen , Vivek Sarkar, David Grove : Program analysis for safety guarantees in a Java virtual machine written in Java. PASTE 2001 : 62-65

Vivek Sarkar: Optimized Unrolling of Nested Loops. International Journal of Parallel Programming 29 (5): 545-581 (2001)

Chandra Krintz , David Grove , Vivek Sarkar, Brad Calder : Reducing the overhead of dynamic compilation. Softw., Pract. Exper. 31 (8): 717-738 (2001)

Matthew Arnold , Stephen J. Fink , Vivek Sarkar, Peter F. Sweeney : A comparative study of static and profile-based heuristics for inlining. Dynamo 2000 : 52-64

Ron Cytron , Vivek Sarkar: Dynamic compilation in Jalapeño (Panel Session). Dynamo 2000 : 78

Vivek Sarkar: Optimized unrolling of nested loops. ICS 2000 : 153-166

Rastislav Bodík , Rajiv Gupta , Vivek Sarkar: ABCD: eliminating array bounds checks on demand. PLDI 2000 : 321-333

Stephen J. Fink , Kathleen Knobe , Vivek Sarkar: Unified Analysis of Array and Object References in Strongly Typed Languages. SAS 2000 : 155-174

Bowen Alpern , C. Richard Attanasio , John J. Barton , Michael G. Burke , Perry Cheng , Jong-Deok Choi , Anthony Cocchi , Stephen J. Fink , David Grove , Michael Hind , Susan Flynn Hummel , Derek Lieber , Vassily Litvinov , Mark F. Mergen , Ton Ngo , James R. Russell , Vivek Sarkar, Mauricio J. Serrano , Janice C. Shepherd , Stephen E. Smith , Vugranam C. Sreedhar , Harini Srinivasan , John Whaley : The Jalapeño virtual machine. IBM Systems Journal 39 (1): 211- (2000)

Guang R. Gao , Vivek Sarkar: Location Consistency-A New Memory Model and Cache Consistency Protocol. IEEE Trans. Computers 49 (8): 798-813 (2000)

Jacob Harris , Vivek Sarkar: Lightweight Object-Oriented Shared Variables for Cluster Computing in Java. J. Parallel Distrib. Comput. 60 (10): 1238-1259 (2000)

Michael G. Burke , Jong-Deok Choi , Stephen J. Fink , David Grove , Michael Hind , Vivek Sarkar, Mauricio J. Serrano , Vugranam C. Sreedhar , Harini Srinivasan , John Whaley : The Jalapeño Dynamic Optimizing Compiler for Java. Java Grande 1999 : 129-141

Craig Chambers , Igor Pechtchanski , Vivek Sarkar, Mauricio J. Serrano , Harini Srinivasan : Dependence Analysis for Java. LCPC 1999 : 35-52

Jong-Deok Choi , David Grove , Michael Hind , Vivek Sarkar: Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs. PASTE 1999 : 21-31

Massimiliano Poletto , Vivek Sarkar: Linear scan register allocation. ACM Trans. Program. Lang. Syst. 21 (5): 895-913 (1999)

Rajiv Gupta , Santosh Pande , Kleanthis Psarris , Vivek Sarkar: Compilation techniques for parallel systems. Parallel Computing 25 (13-14): 1741-1783 (1999)

Walter Lee , Rajeev Barua , Matthew Frank , Devabhaktuni Srikrishna , Jonathan Babb , Vivek Sarkar, Saman P. Amarasinghe : Space-Time Scheduling of Instruction-Level Parallelism on a Raw Machine. ASPLOS 1998 : 46-57

Vivek Sarkar: Optimized Execution of Fortran 90 Array Language on Symmetric Shared-Memory Multiprocessors. LCPC 1998 : 131-147

Vivek Sarkar: Loop Transformations for Hierarchical Parallelism and Locality. LCR 1998 : 57-74

Jacob Harris , Vivek Sarkar: Lightweight Object-Oriented Shared Variables for Distributed Applications on the Internet. OOPSLA 1998 : 296-309

Kathleen Knobe , Vivek Sarkar: Array SSA Form and Its Use in Parallelization. POPL 1998 : 107-120

Vivek Sarkar, Kathleen Knobe : Enabling Sparse Constant Propagation of Array Elements via Array SSA Form. SAS 1998 : 33-56

Jyh-Herng Chow , Vivek Sarkar: False Sharing Elimination by Selection of Runtime Scheduling Parameters. ICPP 1997 : 396-403

Guang R. Gao , Vivek Sarkar: On the Importance of an End-To-End View of Memory Consistency in Future Computer Systems. ISHPC 1997 : 30-41

Vivek Sarkar: Analysis and Optimization of Explicitly Parallel Programs Using the Parallel Program Graph Representation. LCPC 1997 : 94-113

Nimrod Megiddo , Vivek Sarkar: Optimal Weighted Loop Fusion for Parallel Programs. SPAA 1997 : 282-291

Elliot Waingold , Michael Taylor , Devabhaktuni Srikrishna , Vivek Sarkar, Walter Lee , Victor Lee , Jang Kim , Matthew Frank , Peter Finch , Rajeev Barua , Jonathan Babb , Saman P. Amarasinghe , Anant Agarwal : Baring It All to Software: Raw Machines. IEEE Computer 30 (9): 86-93 (1997)

Jong-Deok Choi , Vivek Sarkar, Edith Schonberg : Incremental Computation of Static Single Assignment Form. CC 1996 : 223-237

Vivek Sarkar, Guang R. Gao , Shaohua Han : Locality Analysis for Distributed Shared-Memory Multiprocessors. LCPC 1996 : 20-40

Vivek Sarkar, Barbara Simons : Anticipatory Instruction Scheduling. SPAA 1996 : 119-130

Tao Yang , Cong Fu , Apostolos Gerasoulis , Vivek Sarkar: Mapping Iterative Task Graphs on Distributed Memory Machines. ICPP (2) 1995 : 151-158

Guang R. Gao , Vivek Sarkar: Location Consistency: Stepping Beyond the Memory Coherence Barrier. ICPP (2) 1995 : 73-76

Tao Yang , Pedro C. Diniz , Apostolos Gerasoulis , Vivek Sarkar: Scheduling Iterative Task Computation on Message-Passing Architectures. PPSC 1995 : 581-586

Vivek Sarkar, Lelia A. Vazquez : Automatic Localization for Distributed-Memory Multiprocessors Using a Shared-Memory Compilation Framework. HICSS (2) 1994 : 4-13

Barbara Simons , Vivek Sarkar, Mauricio Breternitz Jr. , Michael Lai : An Optimal Asynchronous Scheduling Algorithm for Software Cache Consistence. HICSS (2) 1994 : 502-511

Boleslaw K. Szymanski , John Feo , J. Hicks , J. Jagannathan , Vivek Sarkar, David B. Skillicorn : Is there a future for functional languages in parallel programming? ICCL 1994 : 299-304

Vivek Sarkar, Barbara Simons : Parallel Program Graphs and their Classification. LCPC 1993 : 633-655

Vivek Sarkar: A Concurrent Execution Semantics for Parallel Program Graphs and Program Dependence Graphs. LCPC 1992 : 16-30

Guang R. Gao , R. Olsen , Vivek Sarkar, Radhika Thekkath : Collective Loop Fusion for Array Contraction. LCPC 1992 : 281-295

Vivek Sarkar, Radhika Thekkath : A General Framework for Iteration-Reordering Loop Transformations. PLDI 1992 : 175-187

Vivek Sarkar, Guang R. Gao : Optimization of array accesses by collective loop transformations. ICS 1991 : 194-205

Jeanne Ferrante , Vivek Sarkar, W. Thrash : On Estimating and Enhancing Cache Effectiveness. LCPC 1991 : 328-343

Vivek Sarkar, David C. Cann : POSC - a partitioning and optimizing SISAL compiler. ICS 1990 : 148-164

Vivek Sarkar: Instruction Reordering for Fork-Join Parallelism. PLDI 1990 : 322-336

Ron Cytron , Jeanne Ferrante , Vivek Sarkar: Compact Representations for Control Dependence. PLDI 1990 : 337-351

Vivek Sarkar: Determining Average Program Execution Times and their Variance. PLDI 1989 : 298-312

Karthikeyan S. Natarajan , Vivek Sarkar: Processor Scheduling Algorithms for Constraint-Satisfaction Search Problems. ICPP (2) 1988 : 140-149

Vivek Sarkar: Synchronization using counting semaphores. ICS 1988 : 627-637

Kourosh Gharachorloo , Vivek Sarkar, John L. Hennessy : A Simple and Efficient Implmentation Approach for Single Assignment Languages. LISP and Functional Programming 1988 : 259-268

Michael G. Burke , Ron Cytron , Jeanne Ferrante , Wilson C. Hsieh , Vivek Sarkar, David Shields : Automatic Discovery of Parallelism: A Tool and an Experiment (Extended Abstract). PPOPP/PPEALS 1988 : 77-84

Vivek Sarkar, John L. Hennessy : Partitioning Parallel Programs for Macro-Dataflow. LISP and Functional Programming 1986 : 202-211

Vivek Sarkar, John L. Hennessy : Compile-time partitioning and scheduling of parallel programs. SIGPLAN Symposium on Compiler Construction 1986 : 17-26

1 [ 26 ]

2 [ 44 ]

3 [ 26 ] [ 36 ]

4 [ 49 ]

5 [ 44 ]

6 [ 26 ] [ 36 ]

7 [ 44 ]

8 [ 26 ] [ 36 ]

9 [ 46 ]

10 [ 58 ] [ 59 ] [ 61 ]

11 [ 18 ]

12 [ 3 ] [ 41 ] [ 44 ] [ 58 ] [ 59 ] [ 61 ]

13 [ 50 ]

14 [ 10 ]

15 [ 40 ]

16 [ 60 ]

17 [ 44 ]

18 [ 25 ] [ 39 ] [ 41 ] [ 44 ] [ 57 ]

19 [ 30 ]

20 [ 44 ]

21 [ 3 ] [ 8 ] [ 48 ]

22 [ 20 ]

23 [ 55 ]

24 [ 17 ]

25 [ 3 ] [ 8 ] [ 11 ]

26 [ 26 ]

27 [ 41 ] [ 44 ] [ 45 ] [ 49 ] [ 56 ]

28 [ 26 ] [ 36 ]

29 [ 22 ]

30 [ 12 ] [ 14 ] [ 21 ] [ 24 ] [ 29 ] [ 43 ]

31 [ 20 ] [ 22 ]

32 [ 4 ]

33 [ 39 ] [ 41 ] [ 44 ] [ 50 ] [ 52 ]

34 [ 37 ] [ 46 ]

35 [ 24 ]

36 [ 59 ] [ 61 ]

37 [ 33 ] [ 42 ]

38 [ 1 ] [ 2 ] [ 4 ]

39 [ 17 ]

40 [ 39 ] [ 41 ] [ 44 ]

41 [ 3 ]

42 [ 44 ]

43 [ 17 ]

44 [ 26 ]

45 [ 31 ] [ 32 ] [ 45 ]

46 [ 50 ]

47 [ 18 ]

48 [ 57 ]

49 [ 26 ]

50 [ 26 ] [ 36 ]

51 [ 44 ]

52 [ 44 ]

53 [ 57 ]

54 [ 52 ]

55 [ 27 ]

56 [ 44 ]

57 [ 60 ]

58 [ 6 ]

59 [ 44 ]

60 [ 57 ]

61 [ 14 ]

62 [ 37 ]

63 [ 40 ] [ 53 ] [ 61 ]

64 [ 38 ]

65 [ 37 ]

66 [ 58 ] [ 59 ] [ 61 ]

67 [ 44 ]

68 [ 25 ]

69 [ 40 ] [ 41 ] [ 44 ] [ 54 ]

70 [ 44 ]

71 [ 3 ]

72 [ 58 ] [ 59 ] [ 61 ]

73 [ 16 ] [ 18 ] [ 23 ]

74 [ 54 ]

75 [ 17 ]

76 [ 44 ]

77 [ 41 ] [ 44 ]

78 [ 57 ]

79 [ 26 ] [ 36 ]

80 [ 40 ] [ 41 ] [ 44 ]

81 [ 49 ]

82 [ 17 ]

83 [ 26 ]

84 [ 13 ] [ 14 ]

85 [ 11 ]

86 [ 19 ]

87 [ 26 ]

88 [ 41 ] [ 44 ]

89 [ 20 ] [ 22 ]




©2005 Association for Computing Machinery