Manuel Fähndrich

65 papers A* 11A 13B 11C 2Misc 2Journal 12Unranked 13

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Scaling static analyses at Facebook. Commun. ACM Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn
2015	A	`conf`	Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. ECOOP Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich
2015	J	`jnl`	User-aware privacy control via extended static-information-flow analysis. Autom. Softw. Eng. Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie
2014	C	`conf`	Lessons from a web-based IDE and runtime. PEPM Manuel Fähndrich
2014	J	`jnl`	SAS2013 artifact submission experience report. ACM SIGPLAN Notices Manuel Fähndrich, Francesco Logozzo
2014	A*	`conf`	Verification modulo versions: towards usable verification. PLDI Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear
2013	J	`jnl`	Abstracting Runtime Heaps for Program Understanding. IEEE Trans. Software Eng. Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich
2013	B	`conf`	Automatic Inference of Necessary Preconditions. VMCAI Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo
2013	A*	`conf`	It's alive! continuous feedback in UI programming. PLDI Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato
2013	B	`ed.`	Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings SAS Francesco Logozzo, Manuel Fähndrich
2012	—	`conf`	A semantic integrated development environment. SPLASH Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot
2012	J	`jnl`	Abstracting Runtime Heaps for Program Understanding CoRR Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich
2012	A	`conf`	Cloud Types for Eventual Consistency. ECOOP Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood
2012	—	`conf`	Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. CSEE&T Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
2012	A	`conf`	Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
2012	A	`conf`	Eventually Consistent Transactions. ESOP Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv
2012	B	`conf`	Inference of Necessary Field Conditions with Abstract Interpretation. APLAS Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich
2012	—	`conf`	Integrating a set of contract checking tools into visual studio. TOPI@ICSE Manuel Fähndrich, Michael Barnett, Daan Leijen, Francesco Logozzo
2012	B	`conf`	The future of teaching programming is on mobile devices. ITiCSE Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie
2012	—	`conf`	TouchDevelop: app development on mobile devices. SIGSOFT FSE Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt
2012	A*	`conf`	User-aware privacy control via extended static-information-flow analysis. ASE Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal
2011	—	`conf`	Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. NSAD@SAS Manuel Fähndrich, Francesco Logozzo
2011	C	`conf`	Prettier concurrency: purely functional concurrent revisions. Haskell Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt
2011	J	`jnl`	Specification and verification: the Spec# experience. Commun. ACM Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter
2011	—	`conf`	TouchDevelop: programming cloud-connected mobile devices via touchscreen. Onward! Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich
2010	Misc	`conf`	Embedded contract languages. SAC Manuel Fähndrich, Michael Barnett, Francesco Logozzo
2010	J	`jnl`	Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. Sci. Comput. Program. Francesco Logozzo, Manuel Fähndrich
2010	A	`conf`	SPUR: a trace-based JIT compiler for CIL. OOPSLA Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter
2010	—	`conf`	Static Contract Checking with Abstract Interpretation. FoVeOOS Manuel Fähndrich, Francesco Logozzo
2010	B	`conf`	Static Verification for Code Contracts. SAS Manuel Fähndrich
2009	—	`conf`	Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann
2009	B	`conf`	Inferring Dataflow Properties of User Defined Table Processors. SAS Songtao Xia, Manuel Fähndrich, Francesco Logozzo
2009	—	`conf`	Language-agnostic specification and verification: invited talk. PLPV Manuel Fähndrich
2008	J	`jnl`	A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. J. Object Technol. Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte
2008	B	`conf`	On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. CC Francesco Logozzo, Manuel Fähndrich
2008	Misc	`conf`	Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. SAC Francesco Logozzo, Manuel Fähndrich
2008	A	`conf`	Safer unsafe code for .NET. OOPSLA Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich
2008	J	`jnl`	Type-based flow analysis and context-free language reachability. Math. Struct. Comput. Sci. Manuel Fähndrich, Jakob Rehof
2007	A	`conf`	Establishing object invariants with delayed types. OOPSLA Manuel Fähndrich, Songtao Xia
2007	A	`conf`	Sealing OS processes to improve dependability and safety. EuroSys Galen C. Hunt, Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
2006	—	`conf`	Deconstructing process isolation. Memory System Performance and Correctness Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus
2006	A	`conf`	Language support for fast and reliable message-based communication in singularity OS. EuroSys Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, Steven Levi
2006	B	`conf`	Reflective program generation with patterns. GPCE Manuel Fähndrich, Michael Carbin, James R. Larus
2005	—	`ed.`	Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005 TLDI J. Gregory Morrisett, Manuel Fähndrich
2005	—	`conf`	The Spec# Programming System: Challenges and Directions. VSTTE Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter
2004	J	`jnl`	Righting Software. IEEE Softw. James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy
2004	A	`conf`	Typestates for Objects. ECOOP Robert DeLine, Manuel Fähndrich
2004	J	`jnl`	Verification of Object-Oriented Programs with Invariants. J. Object Technol. Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
2003	A	`conf`	Declaring and checking non-null types in an object-oriented language. OOPSLA Manuel Fähndrich, K. Rustan M. Leino
2002	A*	`conf`	Adoption and Focus: Practical Linear Types for Imperative Programming. PLDI Manuel Fähndrich, Robert DeLine
2001	A*	`conf`	Enforcing High-Level Protocols in Low-Level Software. PLDI Robert DeLine, Manuel Fähndrich
2001	B	`conf`	Estimating the Impact of Scalable Pointer Analysis on Optimization. SAS Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof
2001	A*	`conf`	Type-base flow analysis: from polymorphic subtyping to CFL-reachability. POPL Jakob Rehof, Manuel Fähndrich
2000	J	`jnl`	Detecting races in Relay Ladder Logic programs. Int. J. Softw. Tools Technol. Transf. Alexander Aiken, Manuel Fähndrich, Zhendong Su
2000	B	`conf`	Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. SAS Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
2000	A*	`conf`	Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL Zhendong Su, Manuel Fähndrich, Alexander Aiken
2000	A*	`conf`	Scalable context-sensitive flow analysis using instantiation constraints. PLDI Manuel Fähndrich, Jakob Rehof, Manuvir Das
1999	A*	`conf`	A Theory of Type Qualifiers. PLDI Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
1998	—	`conf`	A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Types in Compilation Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
1998	A	`conf`	Detecting Races in Relay Ladder Logic Programs. TACAS Alexander Aiken, Manuel Fähndrich, Zhendong Su
1998	A*	`conf`	Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken
1997	B	`conf`	Program Analysis Using Mixed Term and Set Constraints. SAS Manuel Fähndrich, Alexander Aiken
1997	A	`conf`	Statically Checkable Pattern Abstractions. ICFP Manuel Fähndrich, John Boyland
1995	A*	`conf`	Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. PLDI Alexander Aiken, Manuel Fähndrich, Raph Levien
1995	—	`conf`	Dynamic Typing and Subtype Inference. FPCA Alexander Aiken, Manuel Fähndrich