Manuel Fähndrich mainly investigates Programming language, Programmer, Theoretical computer science, Software and Compiler. His Region-based memory management research extends to Programming language, which is thematically connected. His Programmer research incorporates elements of Multimedia, Touchscreen, Mobile device and Structured programming.
His research integrates issues of Algorithm, Type inference, Register allocation and Software pipelining in his study of Theoretical computer science. His studies deal with areas such as Distributed computing and Kernel as well as Software. Manuel Fähndrich has researched Compiler in several fields, including Floating point, Loop invariant, Integer, Abstract interpretation and Predicate transformer semantics.
Manuel Fähndrich mostly deals with Programming language, Theoretical computer science, Software, Program analysis and Compiler. His work investigates the relationship between Programming language and topics such as Code that intersect with problems in State. His Theoretical computer science research is multidisciplinary, incorporating elements of Algorithm, Aliasing, Scalability and Static analysis.
His Software study integrates concerns from other disciplines, such as Process, Metadata and Software engineering. His work focuses on many connections between Program analysis and other disciplines, such as Functional programming, that overlap with his field of interest in Abstract syntax tree. The study incorporates disciplines such as Correctness, Software development and Programmer in addition to Compiler.
Manuel Fähndrich mainly focuses on Mobile device, Programming language, Multimedia, Cloud computing and Human–computer interaction. He has researched Mobile device in several fields, including Masking, Touchscreen, Distributed computing and Reference model. His research links Code with Programming language.
He focuses mostly in the field of Code, narrowing it down to topics relating to Theoretical computer science and, in certain cases, Static analysis, State and Correctness. His Human–computer interaction research incorporates elements of Mobile technology, Mobile Web, High-level programming language and Artifact. The various areas that Manuel Fähndrich examines in his Abstract interpretation study include Calculus and Programmer.
The scientist’s investigation covers issues in Distributed computing, Mobile device, Eventual consistency, Cloud computing and Theoretical computer science. His Distributed computing research is multidisciplinary, relying on both Data model, Masking, Asynchronous communication and Reference model. His Mobile device research incorporates themes from Multimedia and Touchscreen, Human–computer interaction.
His research investigates the connection with Cloud computing and areas like Server which intersect with concerns in Protocol. His Theoretical computer science research includes themes of Correctness and Code. Manuel Fähndrich performs multidisciplinary study on Modulo and Programming language in his works.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Enforcing high-level protocols in low-level software
Robert DeLine;Manuel Fähndrich.
programming language design and implementation (2001)
Verification of object-oriented programs with invariants
Michael Barnett;Robert DeLine;Manuel Fähndrich;K. Rustan M. Leino.
The Journal of Object Technology (2004)
A theory of type qualifiers
Jeffrey S. Foster;Manuel Fähndrich;Alexander Aiken.
programming language design and implementation (1999)
Adoption and focus: practical linear types for imperative programming
Manuel Fahndrich;Robert DeLine.
programming language design and implementation (2002)
Language support for fast and reliable message-based communication in singularity OS
Manuel Fähndrich;Mark Aiken;Chris Hawblitzel;Orion Hodson.
european conference on computer systems (2006)
Typestates for Objects
Robert DeLine;Manuel Fähndrich.
european conference on object-oriented programming (2004)
Partial online cycle elimination in inclusion constraint graphs
Manuel Fähndrich;Jeffrey S. Foster;Zhendong Su;Alexander Aiken.
programming language design and implementation (1998)
Declaring and checking non-null types in an object-oriented language
Manuel Fähndrich;K. Rustan M. Leino.
conference on object oriented programming systems languages and applications (2003)
An Overview of the Singularity Project
Galen Hunt;James Larus;Martín Abadi;Mark Aiken.
ACM Transactions on Storage (2005)
Specification and verification: the Spec# experience
Mike Barnett;Manuel Fähndrich;K. Rustan M. Leino;Peter Müller.
Communications of The ACM (2011)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: