| |
In ASPLOS XIII: Proceedings of the 13th international conference on Architectural support for programming languages and operating systems (2008), pp. 329-339.
|
| |
USENIX 2005 Annual Technical Conference, General Track, pp. 1-15.
|
| |
Design Automation Conference, Vol. 0 (2004), pp. 908-913.
|
| |
C/C++ Users J., Vol. 19, No. 1. (January 2001), 41.
|
| |
SIGPLAN Not., Vol. 44, No. 3. (2009), pp. 85-96.
|
| |
|
| |
USENIX 2004 Annual Technical Conference, General Track, pp. 15-28.
|
| |
USENIX 2004 Annual Technical Conference, General Track, pp. 29-44.
|
| |
Logic-Based Program Synthesis and Transformation (2007), pp. 143-159.
|
| |
In VLHCC '06: Proceedings of the Visual Languages and Human-Centric Computing (VL/HCC'06) (2006), pp. 35-42.
|
| |
International Journal of Human-Computer Studies, Vol. 54, No. 2. (February 2001), pp. 237-264.
|
| |
In SIGCSE '03: Proceedings of the 34th SIGCSE technical symposium on Computer science education (2003), pp. 148-152.
|
| |
In AUIC '05: Proceedings of the Sixth Australasian conference on User interface (2005), pp. 55-62.
|
| |
In CHI '86: Proceedings of the SIGCHI conference on Human factors in computing systems, Vol. 17, No. 4. (April 1986), pp. 183-191.
|
| |
In Papers presented at the first workshop on empirical studies of programmers on Empirical studies of programmers (1986), pp. 230-251.
|
| |
|
| |
In ESP '97: Papers presented at the seventh workshop on Empirical studies of programmers (1997), pp. 20-41.
|
| |
J. Educ. Resour. Comput., Vol. 5, No. 3. (September 2005)
|
| |
In ITiCSE '05: Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education (2005), pp. 84-88.
|
| |
SIGCSE Bull., Vol. 37, No. 4. (December 2005), pp. 79-83.
|
| |
SIGCSE Bull., Vol. 3, No. 4. (December 1971), pp. 15-18.
|
| |
Commun. ACM, Vol. 20, No. 1. (January 1977), pp. 13-21.
|
| |
SIGCSE Bull., Vol. 6, No. 1. (February 1974), pp. 59-63.
|
| |
On-Line Testing Symposium, 2006. IOLTS 2006. 12th IEEE International (2006), 6 pp..
|
| |
In PADD '88: Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging (1988), pp. 112-123.
|
| |
Computer Systems and Applications, ACS/IEEE International Conference on. 2001 (2001), pp. 273-279.
|
| |
Journal of Parallel and Distributed Computing, Vol. 64, No. 5. (May 2004), pp. 617-628.
|
| |
|
| |
Linux J., Vol. 2002, No. 97. (May 2002)
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 16, No. 3. (May 1994), pp. 387-427.
|
| |
|
| |
In PACT '94: Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques (1994), pp. 157-168.
|
| |
In Automated and Algorithmic Debugging (1997), pp. 43-58.
|
| |
In Automated and Algorithmic Debugging (1997), pp. 27-36.
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 15, No. 2. (April 1993), pp. 357-365.
|
| |
|
| |
In Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging (1983), pp. 159-171.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 7, No. 1. (January 1985), pp. 176-181.
|
| |
In Proc. of the sixth conference on Foundations of software technology and theoretical computer science (1986), pp. 36-56.
|
| |
SIGPLAN Not., Vol. 28, No. 4. (April 1993), pp. 39-44.
|
| |
In SIGSOFT '83: Proceedings of the symposium on High-level debugging, Vol. 8, No. 4. (August 1983), pp. 9-22.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 14, No. 2. (April 1992), pp. 173-200.
|
| |
System Sciences, 1988. Vol.II. Software Track, Proceedings of the Twenty-First Annual Hawaii International Conference on, Vol. 2 (1988), pp. 524-532.
|
| |
In Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track (1988), pp. 524-532.
|
| |
In ISSTA '94: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis (1994)
|
| |
Software Engineering, IEEE Transactions on, Vol. 16, No. 9. (1990), pp. 965-979.
|
| |
In PLDI '92: Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation, Vol. 27, No. 7. (July 1992), pp. 32-43.
|
| |
|