Manuel Fähndrich

2008
31	EE	Francesco Logozzo, Manuel Fähndrich: On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. CC 2008: 197-212
30	EE	Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich: Safer unsafe code for .NET. OOPSLA 2008: 329-346
29	EE	Francesco Logozzo, Manuel Fähndrich: Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. SAC 2008: 184-188
28	EE	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	EE	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	EE	Manuel Fähndrich, Songtao Xia: Establishing object invariants with delayed types. OOPSLA 2007: 337-350
2006
25	EE	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	EE	Manuel Fähndrich, Michael Carbin, James R. Larus: Reflective program generation with patterns. GPCE 2006: 275-284
23	EE	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	EE	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	EE	Robert DeLine, Manuel Fähndrich: Typestates for Objects. ECOOP 2004: 465-490
19	EE	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	EE	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	EE	Manuel Fähndrich, K. Rustan M. Leino: Declaring and checking non-null types in an object-oriented language. OOPSLA 2003: 302-312
2002
16	EE	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	EE	Jakob Rehof, Manuel Fähndrich: Type-base flow analysis: from polymorphic subtyping to CFL-reachability. POPL 2001: 54-66
13	EE	Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof: Estimating the Impact of Scalable Pointer Analysis on Optimization. SAS 2001: 260-278
2000
12	EE	Manuel Fähndrich, Jakob Rehof, Manuvir Das: Scalable context-sensitive flow analysis using instantiation constraints. PLDI 2000: 253-263
11	EE	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	EE	Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting races in Relay Ladder Logic programs. STTT 3(1): 93-105 (2000)
1999
8	EE	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	EE	Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200
5	EE	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]
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	Chris Hawblitzel	[23] [25] [27]
12	Orion Hodson	[25] [27]
13	Galen C. Hunt	[23] [25] [27]
14	Bart Jacobs	[21]
15	James R. Larus	[19] [23] [24] [25] [27]
16	K. Rustan M. Leino	[17] [18] [21]
17	Steven Levi	[25] [27]
18	Raph Levien	[1]
19	Ben Liblit	[13]
20	Francesco Logozzo	[29] [30] [31]
21	J. Gregory Morrisett (Greg Morrisett)	[22]
22	Jonathan D. Pincus	[19]
23	Sriram K. Rajamani	[19]
24	Jakob Rehof	[12] [13] [14] [28]
25	Wolfram Schulte	[18] [21]
26	Bjarne Steensgaard	[27]
27	Zhendong Su	[5] [6] [7] [9] [11]
28	David Tarditi	[27]
29	Ramanathan Venkatapathy	[19]
30	Herman Venter	[21]
31	Ted Wobber	[27]
32	Songtao Xia	[26]

Colors in the list of coauthors