bec's library 61 articles Export

	BI as an assertion language for mutable data structures [My Copy] In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 36, No. 3. (March 2001), pp. 14-26. by Samin S. Ishtiaq, Peter W. O'Hearn posted to data-structures logic popl01 by bec on 2006-10-07 23:58:06 as along with 1 person and 1 group kiniry SRG_at_UCD
	A Local Shape Analysis Based on Separation Logic [My Copy] Lecture Notes in Computer Science, Vol. 3920 (January 2006), pp. 287-302. by Dino Distefano, Peter O'Hearn, Hongseok Yang posted to shape-analysis tacas06 by bec on 2006-06-21 23:05:02 as along with 1 person bunge
	Combinations of abstract domains for logic programming [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 227-239. by Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck posted to popl94 by bec on 2006-06-02 22:37:31 as
	Hybrid type checking [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 245-256. by Cormac Flanagan posted to popl06 types by bec on 2006-05-17 19:59:08 as along with 5 people and 2 groups ama08r pedagand greenrd dsilva janschaefer SRG_at_UCD TU-KL-SoftwareTechnologyGroup
	Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists [My Copy] Lecture Notes in Computer Science In Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings, Vol. 3385 (2005) by Roman Manevich, E. Yahav, G. Ramalingam, Mooly Sagiv edited by Radhia Cousot posted to data-structures vmcai05 by bec on 2006-04-26 01:25:30 as
	Parametric shape analysis via 3-valued logic [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 105-118. by Mooly Sagiv, Thomas Reps, Reinhard Wilhelm posted to data-structures popl99 shape-analysis by bec on 2006-04-21 22:06:13 as along with 1 person srccheck
	An effective theory of type refinements [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 213-225. by Yitzhak Mandelbaum, David Walker, Robert Harper posted to icfp03 types by bec on 2006-04-19 23:37:02 as
	Enforcing high-level protocols in low-level software [My Copy] In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Vol. 36, No. 5. (May 2001), pp. 59-69. by Robert Deline, Manuel F&\#228;hndrich posted to pldi01 types by bec on 2006-04-18 22:50:14 as along with 3 people pedagand laurobeltrao criswell
	Adoption and focus: practical linear types for imperative programming [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 13-24. by Manuel Fahndrich, Robert Deline posted to pldi02 types by bec on 2006-04-18 22:45:58 as along with 4 people and 1 group tov pedagand dherman voigt NU-PRL
	Systematic design of program transformation frameworks by abstract interpretation [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 178-190. by Patrick Cousot, Radhia Cousot posted to popl02 program-analysis by bec on 2006-04-11 18:43:02 as along with 2 people robotact ddemange
	Putting static analysis to work for verification: A case study [My Copy] In ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 25, No. 5. (September 2000), pp. 26-38. by Tal Lev-Ami, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm posted to data-structures program-analysis sorting by bec on 2006-04-06 19:23:19 as along with 1 person schuh
	Joining dataflow with predicates [My Copy] In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, Vol. 30, No. 5. (September 2005), pp. 227-236. by Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar posted to fse05 program-analysis by bec on 2006-03-13 21:23:20 as along with 1 person jfischer
	Verifying safety properties using separation and heterogeneous abstractions [My Copy] In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 25-34. by Eran Yahav, G. Ramalingam posted to data-structures pldi04 verification by bec on 2006-02-22 01:05:58 as
	Race checking by context inference [My Copy] In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 1-13. by Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar posted to concurrency pldi04 race-detection by bec on 2006-02-22 01:04:44 as along with 1 person shimomura
	Guarded recursive datatype constructors [My Copy] In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 224-235. by Hongwei Xi, Chiyan Chen, Gang Chen posted to popl03 types by bec on 2006-02-20 23:40:26 as along with 1 person eaubin
	Lazy abstraction [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 58-70. by Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gr&\#233;goire Sutre posted to popl02 program-analysis by bec on 2006-02-15 22:48:45 as along with 6 people and 1 group streetlightios rhishi shimomura pganty msakai zuleger groupverif
	Data groups: specifying the modification of extended state [My Copy] In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 33, No. 10. (October 1998), pp. 144-153. by Rustan posted to oopsla98 verification by bec on 2006-02-14 20:44:31 as along with 1 person and 1 group kiniry SRG_at_UCD
	$My PDF m&\#248;ller_01_pointer.pdf$ The pointer assertion logic engine [My Copy] In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Vol. 36, No. 5. (May 2001), pp. 221-231. by Anders M&\#248;ller, Michael I. Schwartzbach posted to data-structures pldi01 types verification by bec on 2006-02-08 00:31:03 as
	Graph types [My Copy] In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 196-205. by Nils Klarlund, Michael I. Schwartzbach posted to data-structures popl93 types by bec on 2006-02-08 00:00:03 as along with 2 people ansobol jrw
	Verifying properties of well-founded linked lists [My Copy] In POPL'06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 115-126. by Shuvendu K. Lahiri, Shaz Qadeer posted to data-structures popl06 verification by bec on 2006-02-07 22:48:17 as
	Role analysis [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 17-32. by Viktor Kuncak, Patrick Lam, Martin Rinard posted to popl02 program-analysis by bec on 2006-02-07 21:41:32 as
	Refinement types for ML [My Copy] In PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, Vol. 26, No. 6. (June 1991), pp. 268-277. by Tim Freeman, Frank Pfenning posted to pldi91 types by bec on 2006-02-07 20:13:23 as along with 1 person radico
	A semantics for procedure local heaps and its abstractions [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 296-309. by Noam Rinetzky, J&\#246;rg Bauer, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm posted to data-structures popl05 by bec on 2006-01-31 21:56:29 as
	Region-based shape analysis with tracked locations [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 310-323. by Brian Hackett, Radu Rugina posted to popl05 shape-analysis by bec on 2006-01-31 21:56:16 as
	A framework for numeric analysis of array operations [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 338-350. by Denis Gopan, Thomas Reps, Mooly Sagiv posted to popl05 by bec on 2006-01-31 21:55:59 as
	Scalable error detection using boolean satisfiability [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 351-363. by Yichen Xie, Alex Aiken posted to popl05 program-analysis sat by bec on 2006-01-31 21:08:21 as
	Associated types with class [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13. by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones, Simon Marlow posted to haskell popl05 types by bec on 2006-01-31 21:05:05 as along with 10 people and 2 groups samth greenrd zednenem voigt msakai bonotake spl gkuan americovargas jpbernardy NU-PRL SRG_at_UCD
	Flow-sensitive type qualifiers [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 1-12. by Jeffrey S. Foster, Tachio Terauchi, Alex Aiken posted to pldi02 types by bec on 2006-01-31 01:29:21 as along with 3 people hyas amorkan keigoi
	Composing security policies with polymer [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 305-314. by Lujo Bauer, Jay Ligatti, David Walker posted to pldi05 by bec on 2006-01-19 21:49:22 as along with 1 person jfischer
	Permission-based ownership: encapsulating state in higher-order typed languages [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 96-106. by Neel Krishnaswami, Jonathan Aldrich posted to ownership pldi05 types by bec on 2006-01-19 21:49:04 as along with 1 person thsutton
	Essential language support for generic programming [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 73-84. by Jeremy G. Siek, Jeremy Siek, Andrew Lumsdaine posted to pldi05 by bec on 2006-01-19 21:48:05 as along with 3 people yallop thsutton jsiek
	Checking type safety of foreign function calls [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 62-72. by Michael Furr, Jeffrey S. Foster posted to pldi05 types by bec on 2006-01-19 21:34:39 as
	VYRD: verifYing concurrent programs by runtime refinement-violation detection [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 27-37. by Tayfun Elmas, Serdar Tasiran, Shaz Qadeer posted to concurrency pldi05 verification by bec on 2006-01-19 21:34:25 as
	$My PDF l&\#228;mmel_05_scrap.pdf$ Scrap your boilerplate with class: extensible generic functions [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 204-215. by Ralf L&\#228;mmel, Simon P. Jones posted to haskell icfp05 by bec on 2006-01-19 17:35:01 as along with 8 people spl mkis hamish yallop voigt kavabean lomeo americovargas
	Type-based race detection for Java [My Copy] In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, Vol. 35, No. 5. (May 2000), pp. 219-232. by Cormac Flanagan, Stephen N. Freund posted to concurrency pldi00 race-detection types by bec on 2005-12-08 20:16:01 as along with 7 people mcclurmc ama08r web03 schuh srccheck newdawn zuleger
	Safety checking of machine code [My Copy] In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, Vol. 35, No. 5. (May 2000), pp. 70-82. by Zhichen Xu, Barton P. Miller, Thomas Reps posted to pldi00 by bec on 2005-11-10 07:41:38 as along with 1 person emiliorp
	Alias analysis of executable code [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 12-24. by Saumya Debray, Robert Muth, Matthew Weippert posted to popl98 by bec on 2005-11-10 07:40:33 as along with 1 person bunge
	Detecting equality of variables in programs [My Copy] In POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 1-11. by B. Alpern, M. N. Wegman, F. K. Zadeck posted to popl88 program-analysis by bec on 2005-11-10 02:54:29 as
	Composing dataflow analyses and transformations [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 270-282. by Sorin Lerner, David Grove, Craig Chambers posted to popl02 program-analysis by bec on 2005-11-04 03:51:23 as along with 2 people surana jpbernardy
	Scalable statistical bug isolation [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 15-26. by Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan posted to pldi05 by bec on 2005-11-04 01:15:27 as along with 2 people and 4 groups oliner lucaspanjer CHISEL sucs logmining SEGAL
	Incremental analysis of constraint logic programs [My Copy] ACM Trans. Program. Lang. Syst., Vol. 22, No. 2. (March 2000), pp. 187-223. by Manuel Hermenegildo, German Puebla, Kim Marriott, Peter J. Stuckey posted to program-analysis by bec on 2005-11-01 01:26:02 as
	Improving abstract interpretations by combining domains [My Copy] ACM Trans. Program. Lang. Syst., Vol. 17, No. 1. (January 1995), pp. 28-44. by Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria, Manuel Hermenegildo posted to program-analysis by bec on 2005-11-01 01:24:44 as
	Guarded commands, nondeterminacy and formal derivation of programs [My Copy] Commun. ACM, Vol. 18, No. 8. (August 1975), pp. 453-457. by Edsger W. Dijkstra posted to verification by bec on 2005-10-31 06:16:44 as along with 6 people and 1 group robertjohnsimmons lesandrop michaelbanks leonardo kapilv newdawn ConcertRG
	Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 1-15. by Rakesh Ghiya, Laurie J. Hendren posted to popl96 program-analysis by bec on 2005-10-10 03:23:26 as along with 1 person criswell
	Data Structure Specifications via Local Equality Axioms [My Copy] Lecture Notes in Computer Science In Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings, Vol. 3576 (2005) by Scott Mcpeak, George C. Necula edited by Kousha Etessami, Sriram K. Rajamani posted to cav05 verification by bec on 2005-09-29 18:13:57 as
	A decision procedure for an extensional theory of arrays [My Copy] Logic in Computer Science, 2001. Proceedings. 16th Annual IEEE Symposium on (2001), pp. 29-37. by A. Stump, C. W. Barrett, D. L. Dill, J. Levitt posted to lics01 theorem-proving by bec on 2005-09-20 18:34:06 as
	Abstract Interpretation Based Formal Methods and Future Challenges [My Copy] Lecture Notes in Computer Science, Vol. 2000 (January 2001), 138. by Patrick Cousot posted to program-analysis by bec on 2005-09-18 21:59:59 as along with 1 person bunge
	Extended Static Checking: A Ten-Year Perspective [My Copy] Lecture Notes in Computer Science, Vol. 2000 (January 2001), 157. by Leino edited by R. Wilhelm posted to verification by bec on 2005-09-18 21:53:33 as
	Local Reasoning about Programs that Alter Data Structures [My Copy] Lecture Notes in Computer Science, Vol. 2142 (January 2001), 1. by Peter O'Hearn, John Reynolds, Hongseok Yang posted to csl01 logic by bec on 2005-09-18 21:35:26 as
	Scalable Analysis of Linear Systems Using Mathematical Programming [My Copy] Lecture Notes in Computer Science, Vol. 3385 (January 2005), pp. 25-41. by Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna posted to vmcai05 by bec on 2005-09-15 19:56:42 as

Note: You may cite this page as: http://www.citeulike.org/user/bec

Result page: 1 2 Next

program-analysis	15
types	15
data-structures	9
pldi05	9
popl05	8
verification	8
logic	4
pldi04	4
popl02	4
concurrency	3
shape-analysis	3
cav05	2
haskell	2
pldi00	2
pldi01	2
pldi02	2
popl06	2
race-detection	2
vmcai05	2
csl01	1
fse05	1
icfp03	1
icfp05	1
lics01	1
lics02	1
low-level	1
object-oriented	1
oopsla98	1
ownership	1
pldi91	1
popl01	1
popl03	1
popl04	1
popl88	1
popl93	1
popl94	1
popl96	1
popl98	1
popl99	1
sat	1
sorting	1
systems-biology	1
tacas06	1
testing	1
theorem-proving	1

bec's library 61 articles Export

bec's tags