Virgil: Objects on the head of a pin

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 2006, Issue , 2006, Pages 191-208

  Titzer, Ben L ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Data sensitive optimization; Dead code elimination; Embedded systems; Heap compression; Microcontrollers; Multi stage computation; Sensor networks; Standalone programs; Static analysis; Systems software; Whole program compilation

Indexed keywords

DATA SENSITIVE OPTIMIZATION; DEAD CODE ELIMINATION; HEAP COMPRESSION; MULTI STAGE COMPUTATION; STANDALONE PROGRAMS; SYSTEMS SOFTWARE; WHOLE PROGRAM COMPILATION;

EMBEDDED SYSTEMS; OPTIMIZATION; PROGRAM COMPILERS; SENSITIVITY ANALYSIS; SENSOR NETWORKS; STATIC ANALYSIS;

MICROCONTROLLERS;

EID: 34248209542     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1167473.1167489     Document Type: Conference Paper

References (39)

1. ECMA Standard 334. C# Language Specification. Available at: http://www.ecma-international.org/
2. Connected Limited Device Configuration (CLDC). http://java.sun.com/j2me
3. th Annual Conference on Object-Oriented Systems, Languages, and Applications (OOPSLA '01). Tampa, FL. Oct. 2001.
4. C. Ananian and M. Rinard. Data Size Optimizations for Java Programs. In 2003 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES '03). San Diego, CA. June 2003.
5. D. Bacon. Kava: a Java Dialect with a Uniform Object Model for Lightweight Classes. Concurrency and Computation: Practice and Experience 15(3-5): 185-206. 2003.
6. th European Conference on Object-Oriented Programming (ECOOP '02), University of Malaga, Spain, June 2002.
7. th Annual Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '96). San Jose, CA. Oct. 1996.
8. G. Bracha, N. Cohen, C. Kemper, M. Odersky, D. Stoutamire, K. Thorup, and P. Wadler. Adding Generics to the Java Programming Language. Java Community Process JSR-000014, September 2004.
9. M. Budiu, S. Goldstein, M. Sakr, and K. Walker. BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations. In Proceedings of the EuroPar 2000 European Conference on Parallel Computing. Munich, Germany. August 2000.
10. th Annual Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '03). Anaheim, CA. Oct 2003.
11. N. Cohen. Type Extension Type Tests can be Performed in Constant Time. ACM Transactions on Programming Languages and Systems, 13(4), 626-629. 1991.
12. th European Conference on Object-Oriented Programming (ECOOP 95). Aarhus, Denmark. Aug. 1995.
13. A. Diwan, K. McKinley, and J. E. Moss. Using Types to Analyze and Optimize Object-Oriented Programs. In ACM Transactions on Programming Languages and Systems, 23(1), 30-72. 2001.
14. th European Conference on Object-Oriented Programming (ECOOP '00). Sophia Antipolis and Cannes, France. June 2000.
15. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
16. D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The nesC Language: A Holistic Approach to Networked Embedded Systems. In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI '03). San Diego, CA. June 2003.
17. M. Golm, M. Felser, C. Wawersich, and J. Kleinöder. The JX Operating System. In Proceedings of the 2002 USENIX Annual Technical Conference. Monterey, CA. June, 2002.
18. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
19. C. Han, R. Kumar, R. Shea, E. Kohler, and M. Srivastava. A Dynamic Operating System for Sensor Nodes. In Proceedings of the International Conference on Mobile Systems, Applications, and Services (MOBISYS '05). Seattle, WA. June 2005.
20. T. Harbaum. NanoVM: Java for the AVR. Available at: httpi//www.harbaum. org/till/nanovm/
21. G. Hunt, et al. An Overview of the Singularity Project. Microsoft Technical Report MSR-TR-2005-135. October 2005.
22. th Annual Conference on Object-Oriented Systems, Languages, and Applications (OOPSLA '00), Minneapolis, MN. Oct. 2000.
23. rd USENIX Conference on Object-Oriented Technologies and Systems. June 1997.
24. rd annual conference on Embedded Network Sensor Systems (SENSYS '05). San Diego, CA. Nov. 2005.
25. R. Newton, Arvind, and M. Welsh. Building up to Macroprogramming; An Intermediate Language for Sensor Networks. In Proceedings of the Fourth International Conference on Information Processing in Sensor Networks (IPSN'OS), April 2005.
26. J. Palsberg. Type-based Analysis and Applications. In Proceedings of the ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools (PASTE '01). Snowbird, UT. June 2001.
27. M. Sakkinen. The darker side of C++ revisited. Structured Programming, 13:155-177, 1992.
28. M. A. Schubert, L.K. Papalaskaris, and J. Taugher. Determining Type, Part, Colour, and Time Relationships. Computer, 16:53-60, October 1983.
29. D. Spoonhower, J. Auerbach, D. Bacon, P. Cheng, and D. Grove. Eventrons: A Safe Programming Construct for High-Frequency Hard Real-Time Applications. In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI '06) Ottawa, CN. June 2006.
30. B. Steensgard. Points-to Analysis in Almost Linear Time. Microsoft Technical Report, MSR-TR-95-08. 1995.
31. th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '00). Minneapolis, MN. Oct. 2000.
32. P. Sweeney and F. Tip. A Study of Dead Data Members in C++ Applications. In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI '98). Montreal, Canada. 1998.
33. rd Annual International Conference on Embedded Software (EMSOFT '03). Philadelphia, PA. October 2003.
34. th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '00). Minneapolis, MN. Oct. 2000.
35. F. Tip, P. Sweeney, C. Laffra, A. Eisma, and D. Streeter. Practical Extraction Techniques for Java. ACM Transactions on Programming Languages and Systems, 24(6): 625-666, 2002.
36. P. Tyma. Optimizing Transforms for Java and .NET Closed Systems. Phd Thesis, Syracuse University. 2004.
37. th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '99). Denver, CO. Oct. 1999.
38. th Annual Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '97), Atlanta, GA, Oct. 1997.
39. th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '03). Anaheim, CA. Oct 2003.