shimomura's Majumdar:R [8 articles] Export Sort

Recent papers posted to shimomura's library by the author Majumdar:R. You can also see everyone's Majumdar:R.

Hide details

	Thread-Modular Abstraction Refinement [My Copy] Computer Aided Verification (2003), pp. 262-274. by Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer posted to 2003 concurrent verification by shimomura on 2008-09-23 14:29:11 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 2004 concurrent modelchecking verification by shimomura on 2008-07-14 11:05:12 as along with 1 person bec
	The software model checker Blast [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (1 October 2007), pp. 505-525. by Dirk Beyer, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar posted to 2007 blast modelchecking read verification by shimomura on 2008-05-28 03:29:09 as along with 5 people zhensong streetlightios uisiong msakai zuleger
	The Blast Query Language for Software Verification [My Copy] Static Analysis (2004), pp. 2-18. by Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar posted to 2004 blast modelchecking slam verification by shimomura on 2008-05-28 03:16:54 as
	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 2002 blast modelchecking slam verification by shimomura on 2008-05-28 03:15:05 as along with 6 people and 1 group streetlightios rhishi bec pganty msakai zuleger groupverif
	Checking Memory Safety with Blast [My Copy] Fundamental Approaches to Software Engineering (2005), pp. 2-18. by Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar posted to 2005 blast modelchecking by shimomura on 2008-05-14 06:47:42 as along with 2 people yoriyuki msakai
	Software Verification with BLAST [My Copy] Model Checking Software (2003), pp. 624-624. by Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre posted to 2003 blast modelchecking slam by shimomura on 2008-05-14 06:37:15 as along with 2 people streetlightios msakai
	Automatic predicate abstraction of C programs [My Copy] SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 203-213. by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani posted to 2001 c modelchecking read by shimomura on 2008-05-13 10:17:11 as along with 4 people streetlightios emerson yuichi0619 msakai

Note: You may cite this page as: http://www.citeulike.org/user/shimomura/author/Majumdar:R

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

modelchecking	63
read	52
gui	47
verification	33
type	29
haskell	26
testing	21
pi	20
2003	19
2005	19
2002	18
2008	16
2001	15
2006	15
2007	13
2004	13
2000	12
blast	11
concurrent	10
slam	9
dependenttype	9
java	8
1999	8
specification	7
proof	7
timed	6
1997	6
1998	6
bandera	6
arrow	5
sessiontype	5
frp	5
bounded	5
automata	5
programming	5
1993	4
tool	4
slide	4
1996	4
abstraction	4
booleanprogram	4
layout	3
theoremproving	3
pict	3
software	3
epp	3
ws-cdl	3
agda	3
coq	3
event	2
cdl	2
continuation	2
2009	2
resource	2
ccs	2
1991	2
xml	2
science	2
gradualtyping	2
flow	2
gadt	2
compiler	2
thread	2
logic	2
bebop	2
sat	2
modeconfusion	2
prolog	1
uppaal	1
testcasegeneration	1
1990	1
javascript	1
debug	1
exception	1
operationalsematics	1
usability	1
1985	1
sos	1
1982	1
predicate	1
optimization	1
c	1
functional	1
se	1
erlang	1
trs	1
1994	1
meta	1
python	1
scala	1
1981	1
engineer	1
1987	1
nepi	1
cml	1
swing	1
systemf	1
linertype	1
chr	1
caml	1
transformation	1
plan9	1
1988	1
technicalreport	1
1978	1
deadlock	1
information	1
web	1
property	1
designpattern	1
semantics	1
analysis	1
implementation	1
xslt	1
wxhaskell	1
ltl	1
refactoring	1
distributed	1
scheme	1
multicore	1
smtsolver	1
1992	1
secure	1
1995	1
slicing	1
require	1

shimomura's Majumdar:R [8 articles] Export Sort

shimomura's tags