Manuel Fähndrich

	2012
45		Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv: Eventually Consistent Transactions. ESOP 2012: 67-86
44		Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie: Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE 2012: 663
43		Mark Marron, Cesar Sanchez, Zhendong Su, Manuel Fähndrich: Abstracting Runtime Heaps for Program Understanding CoRR abs/1201.1327: (2012)
	2011
42		Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt: Prettier concurrency: purely functional concurrent revisions. Haskell 2011: 83-94
41		Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter: Specification and verification: the Spec# experience. Commun. ACM 54(6): 81-91 (2011)
	2010
40		Manuel Fähndrich, Francesco Logozzo: Static Contract Checking with Abstract Interpretation. FoVeOOS 2010: 10-30
39		Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter: SPUR: a trace-based JIT compiler for CIL. OOPSLA 2010: 708-725
38		Manuel Fähndrich, Michael Barnett, Francesco Logozzo: Embedded contract languages. SAC 2010: 2103-2110
37		Manuel Fähndrich: Static Verification for Code Contracts. SAS 2010: 2-5
36		Francesco Logozzo, Manuel Fähndrich: Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. Sci. Comput. Program. 75(9): 796-807 (2010)
	2009
35		Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann: Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402
34		Manuel Fähndrich: Language-agnostic specification and verification: invited talk. PLPV 2009: 1-2
33		Songtao Xia, Manuel Fähndrich, Francesco Logozzo: Inferring Dataflow Properties of User Defined Table Processors. SAS 2009: 19-35
	2008
32		Francesco Logozzo, Manuel Fähndrich: On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. CC 2008: 197-212
31		Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich: Safer unsafe code for .NET. OOPSLA 2008: 329-346
30		Francesco Logozzo, Manuel Fähndrich: Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. SAC 2008: 184-188
29		Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte: A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. Journal of Object Technology 7(5): 5-23 (2008)
28		Manuel Fähndrich, Jakob Rehof: Type-based flow analysis and context-free language reachability. Mathematical Structures in Computer Science 18(5): 823-894 (2008)
	2007
27		Galen C. Hunt, Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber: Sealing OS processes to improve dependability and safety. EuroSys 2007: 341-354
26		Manuel Fähndrich, Songtao Xia: Establishing object invariants with delayed types. OOPSLA 2007: 337-350
	2006
25		Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, Steven Levi: Language support for fast and reliable message-based communication in singularity OS. EuroSys 2006: 177-190
24		Manuel Fähndrich, Michael Carbin, James R. Larus: Reflective program generation with patterns. GPCE 2006: 275-284
23		Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus: Deconstructing process isolation. Memory System Performance and Correctness 2006: 1-10
	2005
22		J. Gregory Morrisett, Manuel Fähndrich: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005 ACM 2005
21		Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter: The Spec# Programming System: Challenges and Directions. VSTTE 2005: 144-152
	2004
20		Robert DeLine, Manuel Fähndrich: Typestates for Objects. ECOOP 2004: 465-490
19		James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy: Righting Software. IEEE Software 21(3): 92-100 (2004)
18		Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte: Verification of Object-Oriented Programs with Invariants. Journal of Object Technology 3(6): 27-56 (2004)
	2003
17		Manuel Fähndrich, K. Rustan M. Leino: Declaring and checking non-null types in an object-oriented language. OOPSLA 2003: 302-312
	2002
16		Manuel Fähndrich, Robert DeLine: Adoption and Focus: Practical Linear Types for Imperative Programming. PLDI 2002: 13-24
	2001
15		Robert DeLine, Manuel Fähndrich: Enforcing High-Level Protocols in Low-Level Software. PLDI 2001: 59-69
14		Jakob Rehof, Manuel Fähndrich: Type-base flow analysis: from polymorphic subtyping to CFL-reachability. POPL 2001: 54-66
13		Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof: Estimating the Impact of Scalable Pointer Analysis on Optimization. SAS 2001: 260-278
	2000
12		Manuel Fähndrich, Jakob Rehof, Manuvir Das: Scalable context-sensitive flow analysis using instantiation constraints. PLDI 2000: 253-263
11		Zhendong Su, Manuel Fähndrich, Alexander Aiken: Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL 2000: 81-95
10		Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken: Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. SAS 2000: 175-198
9		Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting races in Relay Ladder Logic programs. STTT 3(1): 93-105 (2000)
	1999
8		Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken: A Theory of Type Qualifiers. PLDI 1999: 192-203
	1998
7		Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken: Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI 1998: 85-96
6		Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200
5		Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su: A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Types in Compilation 1998: 78-96
	1997
4		Manuel Fähndrich, John Boyland: Statically Checkable Pattern Abstractions. ICFP 1997: 75-84
3		Manuel Fähndrich, Alexander Aiken: Program Analysis Using Mixed Term and Set Constraints. SAS 1997: 114-126
	1995
2		Alexander Aiken, Manuel Fähndrich: Dynamic Typing and Subtype Inference. FPCA 1995: 182-191
1		Alexander Aiken, Manuel Fähndrich, Raph Levien: Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. PLDI 1995: 174-185

Coauthor Index

1	Alexander Aiken (Alex Aiken)	[1] [2] [3] [5] [6] [7] [8] [9] [10] [11]
2	Mark Aiken	[23] [25] [27]
3	Thomas Ball	[19]
4	Michael Barnett	[18] [21] [35] [38]
5	Mike Barnett	[41]
6	Michael Bebenita	[39]
7	John Tang Boyland (John Boyland)	[4]
8	Florian Brandner	[39]
9	Sebastian Burckhardt	[42] [45]
10	Michael Carbin	[24]
11	Manuvir Das	[12] [13] [19]
12	Robert DeLine	[15] [16] [18] [19] [20] [21]
13	Pietro Ferrara	[31]
14	Jeffrey S. Foster	[5] [7] [8] [10]
15	Diego Garbervetsky	[29]
16	Jonathan de Halleux	[44]
17	Peli de Halleux	[35]
18	Chris Hawblitzel	[23] [25] [27]
19	Orion Hodson	[25] [27]
20	Galen C. Hunt	[23] [25] [27]
21	Bart Jacobs	[21]
22	James R. Larus	[19] [23] [24] [25] [27]
23	Daan Leijen	[42] [45]
24	K. Rustan M. Leino	[17] [18] [21] [41]
25	Steven Levi	[25] [27]
26	Raph Levien	[1]
27	Ben Liblit	[13]
28	Francesco Logozzo	[30] [31] [32] [33] [35] [36] [38] [39] [40]
29	Mark Marron	[43]
30	J. Gregory Morrisett (Greg Morrisett)	[22]
31	Michal Moskal	[44]
32	Peter Müller	[41]
33	Jonathan D. Pincus	[19]
34	Sriram K. Rajamani	[19]
35	Jakob Rehof	[12] [13] [14] [28]
36	Shmuel Sagiv (Mooly Sagiv)	[45]
37	Cesar Sanchez	[43]
38	Wolfram Schulte	[18] [21] [29] [39] [41]
39	Bjarne Steensgaard	[27]
40	Zhendong Su	[5] [6] [7] [9] [11] [43]
41	David Tarditi	[27]
42	Nikolai Tillmann	[35] [39] [44]
43	Ramanathan Venkatapathy	[19]
44	Herman Venter	[21] [39] [41]
45	Ted Wobber	[27]
46	Songtao Xia	[26] [33]
47	Tao Xie	[44]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page