Manuel Fähndrich

	2009
34		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
33		Manuel Fähndrich: Language-agnostic specification and verification: invited talk. PLPV 2009: 1-2
32		Songtao Xia, Manuel Fähndrich, Francesco Logozzo: Inferring Dataflow Properties of User Defined Table Processors. SAS 2009: 19-35
	2008
31		Francesco Logozzo, Manuel Fähndrich: On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. CC 2008: 197-212
30		Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich: Safer unsafe code for .NET. OOPSLA 2008: 329-346
29		Francesco Logozzo, Manuel Fähndrich: Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. SAC 2008: 184-188
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] [34]
5	John Tang Boyland (John Boyland)	[4]
6	Michael Carbin	[24]
7	Manuvir Das	[12] [13] [19]
8	Robert DeLine	[15] [16] [18] [19] [20] [21]
9	Pietro Ferrara	[30]
10	Jeffrey S. Foster	[5] [7] [8] [10]
11	Peli de Halleux	[34]
12	Chris Hawblitzel	[23] [25] [27]
13	Orion Hodson	[25] [27]
14	Galen C. Hunt	[23] [25] [27]
15	Bart Jacobs	[21]
16	James R. Larus	[19] [23] [24] [25] [27]
17	K. Rustan M. Leino	[17] [18] [21]
18	Steven Levi	[25] [27]
19	Raph Levien	[1]
20	Ben Liblit	[13]
21	Francesco Logozzo	[29] [30] [31] [32] [34]
22	J. Gregory Morrisett (Greg Morrisett)	[22]
23	Jonathan D. Pincus	[19]
24	Sriram K. Rajamani	[19]
25	Jakob Rehof	[12] [13] [14] [28]
26	Wolfram Schulte	[18] [21]
27	Bjarne Steensgaard	[27]
28	Zhendong Su	[5] [6] [7] [9] [11]
29	David Tarditi	[27]
30	Nikolai Tillmann	[34]
31	Ramanathan Venkatapathy	[19]
32	Herman Venter	[21]
33	Ted Wobber	[27]
34	Songtao Xia	[26] [32]