clconway's library 131 articles Export

	Monitors: an operating system structuring concept [My Copy] Commun. ACM, Vol. 17, No. 10. (October 1974), pp. 549-557. by C. A. R. Hoare posted to no-tag by clconway on 2007-06-15 18:20:27 as along with 5 people and 1 group aristodemos RobotAdam amorkan rlai NSumner MITCCI
	Pointer-induced aliasing: a problem taxonomy [My Copy] In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 93-103. by William Landi, Barbara G. Ryder posted to pointeranalysis programanalysis by clconway on 2007-03-06 19:51:42 as along with 1 person bunge
	Variations on the Common Subexpression Problem [My Copy] J. ACM, Vol. 27, No. 4. (October 1980), pp. 758-771. by Peter J. Downey, Ravi Sethi, Robert E. Tarjan posted to no-tag by clconway on 2007-03-05 16:54:51 as
	MULTILISP: a language for concurrent symbolic computation [My Copy] ACM Trans. Program. Lang. Syst., Vol. 7, No. 4. (October 1985), pp. 501-538. by Robert H. Halstead posted to concurrency by clconway on 2007-02-28 21:28:43 as along with 7 people fvogels draganigajic jrw proportional Benja ajk pedagand
	The Essence of Compiling with Continuations [My Copy] In Proceedings ACM {SIGPLAN} 1993 Conf.\ on Programming Language Design and Implementation, {PLDI}'93, Albuquerque, {NM}, {USA}, 23--25 June 1993, Vol. 28(6) (1993), pp. 237-247. by Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen posted to no-tag by clconway on 2007-02-27 22:14:12 as along with 5 people derek_farn dimvar croys ds mbrentharp
	Global Data Flow Analysis and Iterative Algorithms [My Copy] J. ACM, Vol. 23, No. 1. (January 1976), pp. 158-171. by John B. Kam, Jeffrey D. Ullman posted to programanalysis by clconway on 2007-02-27 19:39:49 as
	Undecidability of static analysis [My Copy] ACM Lett. Program. Lang. Syst., Vol. 1, No. 4. (December 1992), pp. 323-337. by William Landi posted to pointeranalysis programanalysis by clconway on 2007-02-27 18:01:03 as along with 3 people khatchad bunge alphabetagamma
	A unified approach to global program optimization [My Copy] In POPL '73: Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1973), pp. 194-206. by Gary A. Kildall posted to programanalysis by clconway on 2007-02-27 17:32:37 as along with 7 people and 1 group azwinkau mattmight rnsanchez bdauvergne pganty bunge zuleger groupverif
	Actors that Unify Threads and Events [My Copy] by Philipp Haller, Martin Odersky posted to concurrency by clconway on 2007-02-26 23:11:48 as
	Efficient Field-Sensitive Pointer Analysis for C [My Copy] by David J. Pearce posted to pointeranalysis by clconway on 2007-02-26 22:34:56 as
	SAFECode: enforcing alias analysis for weakly typed languages [My Copy] In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 144-157. by Dinakar Dhurjati, Sumant Kowshik, Vikram Adve posted to pointeranalysis by clconway on 2007-02-26 22:26:45 as
	VOC: A Methodology for the Translation Validation of Optimizing Compilers [My Copy] Journal of Universal Computer Science, Vol. 9, No. 3. (March 2003), pp. 223-247. by Lenore Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg posted to bibtex-import by clconway on 2007-02-26 22:16:47 as
	Testing static analysis tools using exploitable buffer overflows from open source code [My Copy] In Foundations of Software Engineering (FSE) (October 2004), pp. 97-106. by Misha Zitser, Richard Lippmann, Tim Leek posted to bibtex-import by clconway on 2007-02-26 22:16:47 as
	An incremental flow- and context-sensitive pointer aliasing analysis [My Copy] In International Conference on Software engineering (ICSE) (1999), pp. 442-451. by Jyh S. Yur, Barbara G. Ryder, William A. Landi posted to bibtex-import by clconway on 2007-02-26 22:16:47 as
	ARCHER: Using Symbolic, Path-sensitive Analysis to Detect Memory Access Errors [My Copy] In Foundations of Software Engineering (FSE) (September 2003), pp. 327-336. by Yichen Xie, Andy Chou, Dawson Engler posted to bibtex-import by clconway on 2007-02-26 22:16:47 as
	Efficient Context-Sensitive Pointer Analysis for C Programs [My Copy] In Programming Language Design and Implementation (PLDI) (June 1995), pp. 1-12. by Robert P. Wilson, Monica S. Lam posted to bibtex-import by clconway on 2007-02-26 22:16:47 as
	Synthesizing Operating System Based Device Drivers in Embedded Systems [My Copy] In Hardware/Software Codesign and System Synthesis (CODES+ISSS) (October 2003), pp. 37-44. by Shaojie Wang, Sharad Malik posted to bibtex-import by clconway on 2007-02-26 22:16:47 as
	Modeling and Integration of Peripheral Devices in Embedded Systems [My Copy] In Design, Automation and Test in Europe (DATE) (March 2003) by Shaojie Wang, Sharad Malik, Reinaldo A. Bergamaschi posted to bibtex-import by clconway on 2007-02-26 22:16:47 as
	Domain-Specific Languages: From Design to Implementation---Application to Video Device Drivers Generation [My Copy] IEEE Transactions on Software Engineering, Vol. 25, No. 3. (May 1999), pp. 363-377. by Scott Thibault, Renaud Marlet, Charles Consel posted to bibtex-import by clconway on 2007-02-26 22:16:47 as
	Typestate: A programming language concept for enhancing software reliability [My Copy] IEEE Transactions on Software Engineering, Vol. 12, No. 1. (1986), pp. 157-171. by R. E. Strom, S. Yemini posted to bibtex-import by clconway on 2007-02-26 22:16:47 as
	Warlock: A static data Race analysis tool [My Copy] In Winter USENIX (January 1993), pp. 97-106. by Nicholas Sterling posted to bibtex-import by clconway on 2007-02-26 22:16:47 as
	Points-to Analysis in Almost Linear Time [My Copy] In Principles of Programming Languages (POPL) (January 1996), pp. 32-41. by Bjarne Steensgaard posted to bibtex-import by clconway on 2007-02-26 22:16:46 as
	Eraser: a dynamic data race detector for multithreaded programs [My Copy] ACM Transactions on Computer Systems, Vol. 15, No. 4. (1997), pp. 391-411. by Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson posted to bibtex-import by clconway on 2007-02-26 22:16:46 as
	An experimental evaluation of continuous testing during development [My Copy] In International Symposium on Software Testing and Analysis (ISSTA) (July 2004), pp. 76-85. by David Saff, Michael D. Ernst posted to bibtex-import by clconway on 2007-02-26 22:16:46 as
	Incremental data-flow analysis algorithms [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 10, No. 1. (1988), pp. 1-50. by Barbara G. Ryder, Marvin C. Paull posted to bibtex-import by clconway on 2007-02-26 22:16:46 as
	Effective synchronization removal for Java [My Copy] In Programming Language Design and Implementation (PLDI) (June 2000), pp. 208-218. by Erik Ruf posted to bibtex-import by clconway on 2007-02-26 22:16:46 as
	Abstract interpretation-based certification of assembly code [My Copy] In Verification, Model Checking, and Abstract Interpretation (VMCAI), Vol. 2575 (January 2003), pp. 41-55. by Xavier Rival posted to bibtex-import by clconway on 2007-02-26 22:16:46 as
	Credible Compilation [My Copy] No. MIT-LCS-TR-776. (March 1999) by Martin Rinard posted to bibtex-import by clconway on 2007-02-26 22:16:46 as along with 1 person pedagand
	Precise Interprocedural Dataflow Analysis via Graph Reachability [My Copy] In Principles of Programming Languages (POPL) (January 1995), pp. 49-61. by Thomas Reps, Susan Horwitz, Mooly Sagiv posted to bibtex-import by clconway on 2007-02-26 22:16:46 as
	On the computational complexity of dynamic graph problems [My Copy] Theoretical Computer Science, Vol. 158, No. 1-2. (1996), pp. 233-277. by G. Ramalingam, Thomas W. Reps posted to bibtex-import by clconway on 2007-02-26 22:16:46 as
	Safety-Critical Systems Built with COTS [My Copy] IEEE Computer, Vol. 29, No. 11. (November 1996), pp. 54-60. by Joseph A. Profeta, Nikos P. Andrianos, Bing Yu, et al.Barry W. Johnson, Todd A. Delong, David Guaspari, Damir Jamsek posted to bibtex-import by clconway on 2007-02-26 22:16:46 as
	PolySpace [My Copy] posted to bibtex-import by clconway on 2007-02-26 22:16:46 as
	Translation Validation: From SIGNAL to C [My Copy] In Correct System Design: Recent Insights and Advances, Vol. 1710 (January 1999), pp. 231-255. by Amir Pnueli, Ofer Strichman, Michael Siegel posted to bibtex-import by clconway on 2007-02-26 22:16:46 as
	Translation Validation for Synchronous Languages [My Copy] In International Colloquium on Automata, Languages, and Programming, Vol. 1443 (July 1998), pp. 235-246. by Amir Pnueli, Ofer Strichman, Michael Siegel posted to bibtex-import by clconway on 2007-02-26 22:16:46 as
	Translation Validation [My Copy] In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (March 1998), pp. 151-166. by Amir Pnueli, Michael Siegel, Eli Singerman posted to bibtex-import by clconway on 2007-02-26 22:16:46 as
	The Code Validation Tool CVT: Automatic Verification of a Compilation Process. [My Copy] Software Tools for Technology Transfer, Vol. 2, No. 2. (1998), pp. 192-201. by Amir Pnueli, Ofer Strichman, Michael Siegel posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages [My Copy] In Principles of Programming Languages (POPL) (January 1995), pp. 311-321. by John Plevyak, Xingbin Zhang, Andrew A. Chien posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	ANTLR: A Predicated-LL(k) Parser Generator [My Copy] Journal of Software Practice and Experience,, Vol. 25, No. 7. (July 1995), pp. 789-810. by Terence Parr, Russell Quong posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	Operating System Sensitive Device Driver Synthesis from Implementation Independent Protocol Specification [My Copy] In Design Automation and Test in Europe (DATE) (March 1999), pp. 562-567. by Mattias O'Nils, Axel Jantsch posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	Regular Model Checking [My Copy] (December 2000) by Marcus Nilsson posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs [My Copy] In Compiler Construction (2002), pp. 213-228. by George C. Necula, Scott Mcpeak, S. P. Rahul, Westley Weimer posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	CCured: type-safe retrofitting of legacy code [My Copy] In Principles of Programming Languages (POPL) (January 2002), pp. 128-139. by George C. Necula, Scott Mcpeak, Westley Weimer posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	Translation validation for an optimizing compiler [My Copy] In Programming Language Design and Implementation (PLDI) (June 2000), pp. 83-94. by George C. Necula posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	The Design and Implementation of a Certifying Compiler. [My Copy] In Programming Language Design and Implementation (PLDI) (June 1998), pp. 333-344. by George C. Necula, Peter Lee posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	Proof-carrying code [My Copy] In Principles of Programming Languages (POPL) (January 1997), pp. 106-119. by George C. Necula posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	CMC: A Pragmatic Approach to Model Checking Real Code [My Copy] In Operating Systems Design and Implementation (OSDI) (December 2002) by Madanlal Musuvathi, David Park, Andy Chou, Dawson R. Engler, David L. Dill posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	Type Checking Systems Code [My Copy] In European Symposium on Programming, Vol. 2305 (April 2002), pp. 1-5. by Greg Morrisett posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	Stack-Based Typed Assembly Language [My Copy] In Types in Compilation 1998, Vol. 1473 (March 1998), pp. 28-52. by Greg Morrisett, Karl Crary, Neal Glew, David Walker posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	A theory of type polymorphism in programming [My Copy] Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375. by Robin Milner posted to bibtex-import by clconway on 2007-02-26 22:16:45 as
	Devil: An IDL for Hardware Programming [My Copy] In Operating System Design and Implementation (OSDI) (October 2000), pp. 17-30. by Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller posted to bibtex-import by clconway on 2007-02-26 22:16:45 as