SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP

Volumn , Issue , 2001, Pages 12-23

Pointer and escape analysis for multithreaded programs

(2) Salcianu A a Rinard, M a

a MASSACHUSETTS INSTITUTE OF TECHNOLOGY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; MULTIPROCESSING PROGRAMS; SYNCHRONIZATION;

MULTITHREAD PROGRAMS;

PARALLEL PROCESSING SYSTEMS;

EID: 0034824488 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (101)

References (23)

1
- 0029378053
- Type inference of SELF: Analysis of objects with dynamic and multiple inheritance
- Sept.
- (1995) Software - Practice and Experience , vol.25 , Issue.9 , pp. 975-995
- Agesen, O.¹ Palsberg, J.² Schwartzbach, M.³

2
- 0033203805
- Escape analysis for object oriented languages, application to Java
- Denver, CO, Nov.
- (1999) Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications
- Blanchet, B.¹

3
- 0033203777
- Removing unnecessary synchronization in Java
- Denver, CO, Nov.
- (1999) Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications
- Bogda, J.¹ Hoelzle, U.²

4
- 0003644553
- Addison-Wesley, Reading, Mass.
- (2000) The Real-Time Specification for Java
- Bollella, G.¹ Brosgol, B.² Furr, S.³ Hardin, D.⁴ Dibble, P.⁵ Gosling, J.⁶ Turnbull, M.⁷

5
- 0027843603
- Data locality and load balancing in COOL
- San Diego, CA, May
- (1993) Proceedings of the 4th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
- Chandra, R.¹ Gupta, A.² Hennessy, J.³

6
- 0033203859
- Escape analysis for Java
- Denver, CO, Nov.
- (1999) Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications
- Choi, J.¹ Gupta, M.² Serrano, M.³ Sreedhar, V.⁴ Midkiff, S.⁵

7
- 0003219927
- Using shape analysis to reduce finite-state models of concurrent Java programs
- Mar.
- (1998) Proceedings of the International Symposium on Software Testing and Analysis
- Corbett, J.¹

8
- 0032670229
- Typed memory management in a calculus of capabilities
- San Antonio, TX, Jan.
- (1999) Proceedings of the 26th Annual ACM Symposium on the Principles of Programming Languages
- Crary, K.¹ Walker, D.² Morrisett, G.³

9
- 0034826994
- Language support for regions
- Snowbird, UT, June
- (2001) Proceedings of the SIGPLAN '01 Conference on Program Language Design and Implementation
- Gay, D.¹ Aiken, A.²

10
- 0027797446
- Data flow equations for explicitly parallel programs
- San Diego, CA, May
- (1993) Proceedings of the 4th ACM SICPLAN Symposium on Principles and Practice of Parallel Programming
- Grunwald, D.¹ Srinivasan, H.²

11
- 0003504568
- Using threads in interactive systems: A case study
- Asheville, NC, Dec.
- (1993) Proceedings of the Fourteenth Symposium on Operating Systems Principles
- Hauser, C.¹ Jacobi, C.² Theimer, M.³ Welch, B.⁴ Weiser, M.⁵

12
- 0030146262
- Parallelism for free: Efficient and optimal bitvector analyses for parallel programs
- May
- (1996) ACM Transactions on Programming Languages and Systems , vol.18 , Issue.3 , pp. 268-299
- Knoop, J.¹ Steffen, B.² Vollmer, J.³

13
- 0003719376
- Addison-Wesley, Reading, Mass.
- (2000) Concurrent Programming in Java: Design Principles and Patterns
- Lea, D.¹

14
- 0003818126
- Springer-Verlag
- (1999) Principles of Program Analysis
- Nielson, F.¹ Nielson, H.² Hankin, C.³

15
- 85084160127
- Flash: An efficient and portable web server
- June
- (1999) Proceedings of the Usenix 1999 Annual Technical Conference
- Pai, V.¹ Druschel, P.² Zwaenepol, W.³

16
- 0003771199
- PhD thesis, Dept. of Computer Science, Cornell Univ., Ithaca, N.Y., June
- (1992) Higher-order Concurrency
- Reppy, J.¹

17
- 1442332532
- Analysis of multithreaded programs
- Paris, France, July
- (2001) Proceedings of 8th Static Analysis Symposium
- Rinard, M.¹

18
- 0034449895
- Effective synchronization removal for Java
- Vancouver, Canada, June
- (2000) Proceedings of the SIGPLAN '00 Conference on Program Language Design and Implementation
- Ruf, E.¹

19
- 0032650620
- Pointer analysis for multithreaded programs
- Atlanta, GA, May
- (1999) Proceedings of the SIGPLAN '99 Conference on Program Language Design and Implementation
- Rugina, R.¹ Rinard, M.²

20
- 20344385441
- Master's thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, In preparation
- Pointer analysis and its applications for Java programs
- Sǎlcianu, A.¹

21
- 0032108162
- A region inference algorithm
- July
- (1998) ACM Transactions on Programming Languages and Systems , vol.20 , Issue.4
- Tofte, M.¹ Birkedal, L.²

22
- 0033203864
- Compositional pointer and escape analysis for Java programs
- Denver, CO, Nov.
- (1999) Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications
- Whaley, J.¹ Rinard, M.²

23
- 0029179077
- The SPLASH-2 programs: Characterization and methodological considerations
- ACM, New York, June
- (1995) Proceedings of the 22nd International Symposium on Computer Architecture
- Woo, S.¹ Ohara, M.² Torrie, E.³ Singh, J.⁴ Gupta, A.⁵

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.