dblp.uni-trier.dewww.uni-trier.de

Manuel Fähndrich Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
33EEMichael 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
32EESongtao Xia, Manuel Fähndrich, Francesco Logozzo: Inferring Dataflow Properties of User Defined Table Processors. SAS 2009: 19-35
2008
31EEFrancesco Logozzo, Manuel Fähndrich: On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. CC 2008: 197-212
30EEPietro Ferrara, Francesco Logozzo, Manuel Fähndrich: Safer unsafe code for .NET. OOPSLA 2008: 329-346
29EEFrancesco Logozzo, Manuel Fähndrich: Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. SAC 2008: 184-188
28EEManuel Fähndrich, Jakob Rehof: Type-based flow analysis and context-free language reachability. Mathematical Structures in Computer Science 18(5): 823-894 (2008)
2007
27EEGalen 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
26EEManuel Fähndrich, Songtao Xia: Establishing object invariants with delayed types. OOPSLA 2007: 337-350
2006
25EEManuel 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
24EEManuel Fähndrich, Michael Carbin, James R. Larus: Reflective program generation with patterns. GPCE 2006: 275-284
23EEMark 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
21EEMichael 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
20EERobert DeLine, Manuel Fähndrich: Typestates for Objects. ECOOP 2004: 465-490
19EEJames 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)
18EEMichael 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
17EEManuel Fähndrich, K. Rustan M. Leino: Declaring and checking non-null types in an object-oriented language. OOPSLA 2003: 302-312
2002
16EEManuel 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
14EEJakob Rehof, Manuel Fähndrich: Type-base flow analysis: from polymorphic subtyping to CFL-reachability. POPL 2001: 54-66
13EEManuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof: Estimating the Impact of Scalable Pointer Analysis on Optimization. SAS 2001: 260-278
2000
12EEManuel Fähndrich, Jakob Rehof, Manuvir Das: Scalable context-sensitive flow analysis using instantiation constraints. PLDI 2000: 253-263
11EEZhendong 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
9EEAlexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting races in Relay Ladder Logic programs. STTT 3(1): 93-105 (2000)
1999
8EEJeffrey 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
6EEAlexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200
5EEAlexander 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

1Alexander Aiken (Alex Aiken) [1] [2] [3] [5] [6] [7] [8] [9] [10] [11]
2Mark Aiken [23] [25] [27]
3Thomas Ball [19]
4Michael Barnett [18] [21] [33]
5John Tang Boyland (John Boyland) [4]
6Michael Carbin [24]
7Manuvir Das [12] [13] [19]
8Robert DeLine [15] [16] [18] [19] [20] [21]
9Pietro Ferrara [30]
10Jeffrey S. Foster [5] [7] [8] [10]
11Peli de Halleux [33]
12Chris Hawblitzel [23] [25] [27]
13Orion Hodson [25] [27]
14Galen C. Hunt [23] [25] [27]
15Bart Jacobs [21]
16James R. Larus [19] [23] [24] [25] [27]
17K. Rustan M. Leino [17] [18] [21]
18Steven Levi [25] [27]
19Raph Levien [1]
20Ben Liblit [13]
21Francesco Logozzo [29] [30] [31] [32] [33]
22J. Gregory Morrisett (Greg Morrisett) [22]
23Jonathan D. Pincus [19]
24Sriram K. Rajamani [19]
25Jakob Rehof [12] [13] [14] [28]
26Wolfram Schulte [18] [21]
27Bjarne Steensgaard [27]
28Zhendong Su [5] [6] [7] [9] [11]
29David Tarditi [27]
30Nikolai Tillmann [33]
31Ramanathan Venkatapathy [19]
32Herman Venter [21]
33Ted Wobber [27]
34Songtao Xia [26] [32]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)