Sebastian Burckhardt

	2012
23		Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi: What's Decidable about Weak Memory Models? ESOP 2012: 26-46
22		Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv: Eventually Consistent Transactions. ESOP 2012: 67-86
21		Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang: Concurrent Library Correctness on the TSO Memory Model. ESOP 2012: 87-107
	2011
20		Sebastian Burckhardt, Daan Leijen: Semantics of Concurrent Revisions. ESOP 2011: 116-135
19		Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt: Prettier concurrency: purely functional concurrent revisions. Haskell 2011: 83-94
18		Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball: Two for the price of one: a model for parallel and incremental computation. OOPSLA 2011: 427-444
17		S. Tucker Taft, Joshua Bloch, Robert Bocchino, Sebastian Burckhardt, Hassan Chafi, Russ Cox, Benedict R. Gaster, Guy L. Steele Jr., David Ungar: Multicore, manycore, and cloud computing: is a new programming language paradigm required? OOPSLA Companion 2011: 165-170
16		Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub: Practical parallel and concurrent programming. SIGCSE 2011: 189-194
15		Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer: Predictable and Progressive Testing of Multithreaded Code. IEEE Software 28(3): 75-83 (2011)
	2010
14		Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte: A randomized scheduler with probabilistic guarantees of finding bugs. ASPLOS 2010: 167-178
13		Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh: Verifying Local Transformations on Relaxed Memory Models. CC 2010: 104-123
12		Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen: Concurrent programming with revisions and isolation types. OOPSLA 2010: 691-707
11		John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk: Effective Data-Race Detection for the Kernel. OSDI 2010: 151-162
10		Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan: Line-up: a complete and automatic linearizability checker. PLDI 2010: 330-340
9		Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi: On the verification problem for weak memory models. POPL 2010: 7-18
8		Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi: GAMBIT: effective unit testing for concurrency libraries. PPOPP 2010: 15-24
7		Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer: Preemption Sealing for Efficient Concurrency Testing. TACAS 2010: 420-434
	2009
6		Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer: Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
5		Daan Leijen, Wolfram Schulte, Sebastian Burckhardt: The design of a task parallel library. OOPSLA 2009: 227-242
	2008
4		Sebastian Burckhardt, Madanlal Musuvathi: Effective Program Verification for Relaxed Memory Models. CAV 2008: 107-120
	2007
3		Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin: CheckFence: checking consistency of concurrent data types on relaxed memory models. PLDI 2007: 12-21
	2006
2		Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin: Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study. CAV 2006: 489-502
	2005
1		Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin: Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. VMCAI 2005: 130-145

Coauthor Index

1	Rajeev Alur	[1] [2] [3]
2	Mohamed Faouzi Atig	[9] [23]
3	Alexandro Baldassin	[12]
4	Thomas Ball	[6] [7] [15] [16] [18]
5	Judith Bishop (Judith Mary Bishop, Judy M. Bishop)	[16]
6	Joshua Bloch	[17]
7	Robert Bocchino	[17]
8	Ahmed Bouajjani	[9] [23]
9	Hassan Chafi	[17]
10	Katherine E. Coons	[7] [8]
11	Russ Cox	[17]
12	Chris Dern	[10]
13	John Erickson	[11]
14	Manuel Fähndrich	[19] [22]
15	Benedict R. Gaster	[17]
16	Ganesh Gopalakrishnan	[16]
17	Alexey Gotsman	[21]
18	Jonathan de Halleux	[6]
19	Peli de Halleux	[15]
20	Pravesh Kothari	[14]
21	Daan Leijen	[5] [12] [18] [19] [20] [22]
22	Milo M. K. Martin	[1] [2] [3]
23	Joseph Mayo	[16]
24	Madan Musuvathi	[15]
25	Madanlal Musuvathi	[4] [6] [7] [8] [9] [10] [11] [13] [14] [16] [21] [23]
26	Santosh Nagarakatte	[14]
27	Kirk Olynyk	[11]
28	Shaz Qadeer	[6] [7] [15] [16]
29	Caitlin Sadowski	[16] [18]
30	Shmuel Sagiv (Mooly Sagiv)	[22]
31	Wolfram Schulte	[5]
32	Vasu Singh	[13]
33	Guy L. Steele Jr.	[17]
34	S. Tucker Taft	[17]
35	Roy Tan	[10]
36	Stephen Toub	[16]
37	David Ungar	[17]
38	Hongseok Yang	[21]
39	Jaeheon Yi	[18]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page