Programming asynchronous layers with CLARITY

6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007

Volumn , Issue , 2007, Pages 65-74

  Chandrasekaran, Prakash ^a   Conway, Christopher L ^b   Joy, Joseph M ^c   Rajamani, Sriram K ^c  

^a CHENNAI MATHEMATICAL INSTITUTE   (India)

^b NEW YORK UNIVERSITY   (United States)

^c MICROSOFT RESEARCH   (United States)

Author keywords

Asynchronous components; Concurrency; Design for analyzability; Event driven programming; Static analysis

Indexed keywords

ASYNCHRONOUS COMPONENTS; DESIGN FOR ANALYZABILITY; EVENT-DRIVEN PROGRAMMING; ANALYSIS PROBLEMS; ASYNCHRONOUS SYSTEMS; C CODES; CONCURRENCY; COORDINATION PROTOCOLS; CURRENT ANALYSIS; EFFECTIVE PROGRAMS; EVENT-DRIVEN; FUNCTION CALLS; HEAP DATUMS; LANGUAGE FEATURES; NETWORK DEVICES; NONBLOCKING; PROGRAM LOGICS; PROGRAMMING LANGUAGES; SEQUENTIAL ANALYSES; SEQUENTIAL CONTROLS;

COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; NETWORK PROTOCOLS; STATIC ANALYSIS; AUTOMOBILE DRIVERS; CODES (SYMBOLS); COMPUTER NETWORKS; LINGUISTICS; PROBABILITY DENSITY FUNCTION; SOFTWARE ENGINEERING;

CODES (SYMBOLS); CONCURRENCY CONTROL;

EID: 37849050602     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1287624.1287636     Document Type: Conference Paper

References (38)

1. A. Adya, J. Howell, M. Theimer, W. J. Bolosky, and J. R. Douceur. Cooperative task management without manual stack management. In Usenix Annual Tech. Conf., June 2002.
2. T. Andrews, S. Qadeer, S. K. Rajamani, J. Rehof, and Y. Xie. Zing: Exploiting program structure for model checking concurrent software. In CONCUR, volume 3170 of LNCS, 2004. Invited paper.
3. T. Arons, A. Pnueli, S. Ruah, Y. Xu, and L. D. Zuck. Parameterized verification with automatically computed inductive assertions. In CAV, volume 2102 of LNCS, pages 221-234, 2001.
4. T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN Workshop, volume 2057 of LNCS, 2001.
5. T. Ball and S. K. Rajamani. SLIC: A specification language for interface checking of C. Technical Report MSR-TR-2001-21, Microsoft Research, Jan. 2001.
6. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Sci. Comput. Programming, 19(2):87-152, 1992.
7. R. D. Blumofe, C. F. Joerg, B. Kuszmaul, C. E. Leiserson, K. H. Randall, and Y. Zhou. Cilk: An efficient multithreaded runtime system. In PPoPP, pages 207-216, Santa Barbara, CA, July 1995.
8. P. Brinch Hansen. The programming language Concurrent Pascal. IEEE Trans. Softw. Eng., 1(2):199-207, 1975.
9. S. Chandra, B. Richards, and J. R. Larus. Teapot: A domain-specific language for writing cache coherence protocols. IEEE Trans. Softw. Eng., 25(3):317-333, 1999.
10. P. Chandrasekaran, C. L. Conway, J. M. Joy, and S. K. Rajamani. Programming asynchronous layers with CLARITY. Technical Report MSR-TR-2007-80, Microsoft Research, 2007.
11. M. Das, S. Lerner, and M. Seigle. ESP: Path-sensitive program verification in polynomial time. In PLDI, pages 57-69, 2002.
12. L. de Alfaro and T. A. Henzinger. Interface automata. In FSE, pages 109-120, 2001.
13. D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In OSDI, 2000.
14. U. Erlingsson and F. B. Schneider. SASI enforcement of security policies: A retrospective. Technical Report 1999-1758, Cornell University, Ithaca, NY, 1999.
15. M. Fähndrich and R. DeLine. Adoption and focus: Practical linear types for imperative programming. In PLDI, pages 13-24, 2002.
16. N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In Algebraic Methodology and Software Technology, June 1993.
17. R. H. Halstead. MULTILISP: a language for concurrent symbolic computation. ACM Trans. Prog. Lang. Syst., 7(4):501-538, October 1985.
18. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In POPL, pages 58-70, 2002.
19. C. A. R. Hoare. Monitors: An operating system structuring concept. Commun. ACM, 17(10):549-557, Oct. 1974.
20. C. A. R. Hoare. Communicating sequential processes. Commun. ACM, 21(8):666-677, 1978.
21. ISO Standard - Programming Languages - C, Dec. 1999. ISO/IEC 9899:1999.
22. L. Lamport. A new solution of Dijkstra's concurrent programming problem. Commun. ACM, 17(8):453-455, Aug. 1974.
23. J. R. Larus and M. Parkes. Using cohort scheduling to enhance server performance. Technical Report MSR-TR-2001-39, Microsoft Research, 2001.
24. H. C. Lauer and R. M. Needham. On the duality of operating system structures. Operating Systems Review, 13(2):3-19, 1979.
25. D. Lea. Concurrent Programming in Java. Addison-Wesley, second edition, 2000.
26. E. A. Lee. The problem with threads. Technical Report UCB/EECS-2006-1, EECS Department, University of California, Berkeley, January 10 2006.
27. P. Li and S. Zdancewic. Combining events and threads for scalable network services: Implementation and evaluation of monadic, application-level concurrency primitives. In PLDI, pages 189-199, June 2007.
28. Message Passing Interface Forum. MPI: A message-passing interface standard. http://www.mpi-forum.org.
29. R. Milner. A Calculus of Communicating Systems, volume 92 of LNCS. Springer, 1980.
30. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Technical Report LFCS Report 89-85, University of Edinburgh, June 1989.
31. J. K. Ousterhout. Why threads are a bad idea (for most purposes). In Usenix Annual Tech. Conf., 1996. Invited talk.
32. D. C. Schmidt, M. Stal, H. Rohnert, and F. Buschmann. Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects. Addison-Wesley, 2000.
33. R. Sekar, M. Bendre, D. Dhurjati, and P. Bollineni. A fast automaton-based method for detecting anomalous program behaviors. Security and Privacy, page 144, 2001.
34. S. F. Siegel and G. S. Avrunin. Analysis of MPI programs. Technical Report UM-CS-2003-036, University of Massachusetts, 2004.
35. F. Smith, D. Walker, and J. G. Morrisett. Alias types. In ESOP, volume 1782 of LNCS, pages 366-381, 2000.
36. M. M. Strout, B. Kreaseck, and P. D. Hovland. Data-flow analysis for MPI programs. In ICPP, Aug. 2006.
37. R. von Behren, J. Condit, and E. Brewer. Why events are a bad idea (for high-concurrency servers). In HotOS, 2003.
38. R. von Behren, J. Condit, F. Zhou, G. C. Necula, and E. Brewer. Capriccio: Scalable threads for internet services. In SOSP, 2003.