Publications in Programming Languages and Analysis
Publications
- Mike Barnett, Manuel Fahndrich, and Francesco Logozzo, Embedded Contract Languages, in ACM SAC - OOPS, Association for Computing Machinery, Inc., March 2010
- Vincent Laviron and Francesco Logozzo, Refining Abstract Interpretation-based Static Analyses with Hints, in Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009), Springer Verlag, December 2009
- Songtao Xia, Manuel Fahndrich, and Francesco Logozzo, Infer Dataflow Properties of User Defined Table Processors, in Proceeding of the 16th International Static Analysis Symposium (SAS'09), Springer Verlag, August 2009
- Juan Chen, A Typed Intermediate Language for Supporting Interfaces, in 11th Workshop on Formal Techniques for Java-like Programs (FTfJP 2009), Association for Computing Machinery, Inc., July 2009
- Michael Barnett, Manuel Fahndrich, Francesco Logozzo, Peli de Halleux, and Nikolai Tillmann, Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract, in Proc. 31st International Conference on Software Engineering (ICSE'2009) , IEEE, May 2009
- Francesco Logozzo and Vincent Laviron, SubPolyhedra: A (more) scalable approach to infer linear inequalities, in Proceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'09), Springer Verlag, January 2009
- Francesco Logozzo and Manuel Fahndrich, Pentagons: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses, in Science of Computer Programming, Springer Verlag, 2009
- Ross Tate, Juan Chen, and Chris Hawblitzel, A Flexible Framework for Type Inference with Existential Quantification, no. MSR-TR-2008-184, December 2008
- Pietro Ferrara, Francesco Logozzo, and Manuel Fähndrich, Safer unsafe code for .NET, in Proceedings of the 23rd ACM Conference on Object-Oriented Programming (OOPSLA'08), Association for Computing Machinery, Inc., October 2008
- Juan Chen, Chris Hawblitzel, Frances Perry, Mike Emmi, Jeremy Condit, Derrick Coetzee, and Polyvios Pratikakis, Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers, in ACM Conference on Programming Language Design and Implementation (PLDI 08), Association for Computing Machinery, Inc., June 2008
- Francesco Logozzo and Manuel Fähndrich, Pentagons: A weakly relational domain for the efficient validation of array accesses, in Proceedings of the 23th ACM Symposium on Applied Computing , Association for Computing Machinery, Inc., March 2008
- Daan Leijen and Wolfram Schulte, The Design of a Task Parallel Library, 2008
- Francesco Logozzo and Manuel Fähndrich, On the Relative Completeness of Bytecode Analysis versus Source Code Analysis, in Proceedings of the International Conference on Compiler Construction, Springer Verlag, 2008
- Manuel Fähndrich and Songtao Xia, Establishing Object Invariants with Delayed Types, in Proceedings of the 22nd ACM Conference on Object-Oriented Programming, Systems, and Applications, ACM, October 2007
- Daan Leijen, HMF: Simple Type Inference for First-Class Polymorphism, no. MSR-TR-2007-118, September 2007
- Frances Perry, Chris Hawblitzel, and Juan Chen, Simple and Flexible Stack Types, in International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 07), July 2007
- Juan Chen, A Typed Intermediate Language for Compiling Multiple Inheritance, in ACM Symposium on Principles of Programming Languages (POPL 07), Association for Computing Machinery, Inc., January 2007
- Chris Hawblitzel, Heng Huang, Lea Wittie, and Juan Chen, A Garbage-Collecting Typed Assembly Language, in ACM Workshop on Types in Language Design and Implementation (TLDI 07), Association for Computing Machinery, Inc., January 2007
- Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, James R. Larus, and Steven Levi, Language Support for Fast and Reliable Message-based Communication in Singularity OS, in Proceedings of the EuroSys 2006 Conference, Association for Computing Machinery, Inc., April 2006
- Juan Chen and David Tarditi, A simple typed intermediate language for object - oriented languages, in ACM Symposium on Principles of Programming Languages (POPL 05), Association for Computing Machinery, Inc., January 2005
- Juan Chen, Decidable subclassing-bounded quantification, in ACM Workshop on Types in Language Design and Implementation (TLDI 05), Association for Computing Machinery, Inc., January 2005
