2012
Rytz, L., Odersky, M. and Haller, P. (2012) Lightweight Polymorphic Effects - Proofs. Technical Report, 2012. [detailed record] [pdf] [bibtex]
2011
Miller, H., Haller, P. and Odersky, M. (2011) Tools and Frameworks for Big Learning in Scala: Leveraging the Language for High Productivity and Performance. To appear. [detailed record] [pdf] [bibtex]
Bagwell, P. and Rompf, T. (2011) RRB-Trees: Efficient Immutable Vectors. Technical Report, 2011. [detailed record] [pdf] [bibtex]
Prokopec, A., Bagwell, P. and Odersky, M. (2011) Cache-Aware Lock-Free Concurrent Hash Tries. Technical Report, 2011. [detailed record] [pdf] [bibtex]
Prokopec, A., Rompf, T., Bagwell, P. and Odersky, M. (2011) On A Generic Parallel Collection Framework. Technical Report, 2011. [detailed record] [pdf] [bibtex]
Haller, P. and Miller, H. (2011) Parallelizing Machine Learning- Functionally: A Framework and Abstractions for Parallel Graph Processing. To appear. [detailed record] [pdf] [bibtex]
Dubochet, G. and Odersky, M. (2011) Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming. Ph.D. Thesis, 2011. [detailed record] [pdf] [bibtex]
2010
Rytz, L. and Odersky, M. (2010) Named and default arguments for polymorphic object-oriented languages. Proceedings of the 2010 ACM Symposium on Applied Computing, pp. 2090-2095. [detailed record] [pdf] [bibtex]
Haller, P. and Odersky, M. (2010) Isolated Actors for Race-Free Concurrent Programming. Ph.D. Thesis, 2010. [detailed record] [pdf] [bibtex]
Dubochet, G. and Malayeri, D. (2010) Improving API Documentation for Java-like Languages. [detailed record] [pdf] [bibtex]
Rompf, T. and Odersky, M. (2010) Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs. Acm Sigplan Notices, 46 pp. 127-136. [detailed record] [pdf] [bibtex]
Chafi, H., DeVito, Z., Moors, A., Rompf, T., Sujeeth, A.K., Hanrahan, P., Odersky, M. and Olukotun, K. (2010) Language Virtualization for Heterogeneous Parallel Computing. [detailed record] [pdf] [bibtex]
Oliveira, B.C.d.S., Moors, A. and Odersky, M. (2010) Type Classes as Objects and Implicits. Proceedings of the ACM international conference on Object oriented programming systems languages and applications, pp. 341-360. [detailed record] [pdf] [bibtex]
Dragos, I. and Odersky, M. (2010) Compiling Scala for Performance. Ph.D. Thesis, 2010. [detailed record] [pdf] [bibtex]
Prokopec, A., Rompf, T., Bagwell, P. and Odersky, M. (2010) A Generic Parallel Collection Framework. Technical Report, 2010. [detailed record] [pdf] [bibtex]
Rompf, T. and Odersky, M. (2010) Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs. Technical Report, 2010. [detailed record] [pdf] [bibtex]
Chafi, H., DeVito, Z., Moors, A., Rompf, T., Sujeeth, A., Hanrahan, P., Odersky, M. and Olukotun, K. (2010) Language Virtualization for Heterogeneous Parallel Computing. Technical Report, 2010. [detailed record] [pdf] [bibtex]
Haller, P. and Odersky, M. (2010) Capabilities for Uniqueness and Borrowing. Proceedings of the 24th European Conference on Object-Oriented Programming. [detailed record] [pdf] [bibtex]
Maier, I., Rompf, T. and Odersky, M. (2010) Deprecating the Observer Pattern. Technical Report, 2010. [detailed record] [pdf] [bibtex]
2009
Lesani, M. and Montazeri, N. (2009) Fuzzy Trust Aggregation And Personalized Trust Inference In Virtual Social Networks. Computational Intelligence, 25 pp. 51-83. [detailed record] [bibtex]
Dragos, I. and Odersky, M. (2009) Compiling generics through user-directed type specialization. Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, pp. 42-47. [detailed record] [pdf] [bibtex]
Rompf, T., Maier, I. and Odersky, M. (2009) Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform. Proceedings of the 14th ACM SIGPLAN international conference on Functional programming. [detailed record] [pdf] [bibtex]
Haller, P. and Odersky, M. (2009) Capabilities for Uniqueness and Borrowing. Technical Report, 2009. [detailed record] [pdf] [bibtex]
Micheloud, S. and Odersky, M. (2009) Programming language abstractions for mobile code. Ph.D. Thesis, 2009. [detailed record] [pdf] [bibtex]
Lesani, M., Odersky, M. and Guerraoui, R. (2009) Transactors: Unifying Transactions and Actors. Technical Report, 2009. [detailed record] [pdf] [bibtex]
Rogers, I., Dubochet, G. and Odersky, M. (2009) Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective. Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, pp. 34-41. [detailed record] [pdf] [bibtex]
Exton, C., Buckley, J. and Dubochet, G. (2009) Computer Code as a Medium for Human Communication: Are Programming Languages Improving?. Proceedings of the 21st Working Conference on the Psychology of Programmers Interest Group, pp. 174-187. [detailed record] [pdf] [bibtex]
Lesani, M., Odersky, M. and Guerraoui, R. (2009) Concurrent Programming Paradigms, A Comparison in Scala. Technical Report, 2009. [detailed record] [pdf] [bibtex]
Haller, P. and Odersky, M. (2009) Capabilities for External Uniqueness. Technical Report, 2009. [detailed record] [pdf] [bibtex]
2008
Moors, A., Piessens, F. and Odersky, M. (2008) Generics of a Higher Kind. Acm Sigplan Notices, 43 pp. 423-438. [detailed record] [bibtex]
Haller, P. and Odersky, M. (2008) Scala actors: Unifying thread-based and event-based programming. Theoretical Computer Science. To appear. [detailed record] [pdf] [bibtex]
Dragos, I. (2008) Optimizing Higher-Order Functions in Scala. . [detailed record] [pdf] [bibtex]
Haller, P. and Van Cutsem, T. (2008) Implementing Joins using Extensible Pattern Matching. Proceedings of the 10th International Conference on Coordination Models and Languages, pp. 135-152. [detailed record] [pdf] [bibtex]
Dubochet, G. (2008) Scala. Presented at: I&C Research Day 2008, Lausanne, June 12, 2008. [detailed record] [pdf] [bibtex]
Briais, S., Nestmann, U. and Odersky, M. (2008) Theory and tool support for the formal verification of cryptographic protocols. Ph.D. Thesis, 2008. [detailed record] [pdf] [bibtex]
Fuzzati, R., Nestmann, U. and Schiper, A. (2008) A formal approach to fault tolerant distributed consensus. Ph.D. Thesis, 2008. [detailed record] [pdf] [bibtex]
2007
Dragos, I., Cunei, A. and Vitek, J. (2007) Continuations in the Java Virtual Machine. Second ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2007). [detailed record] [pdf] [bibtex]
Haller, P. and Van Cutsem, T. (2007) Implementing Joins using Extensible Pattern Matching. Technical Report, 2007. [detailed record] [pdf] [bibtex]
Emir, B. and Odersky, M. (2007) Object-oriented pattern matching. Ph.D. Thesis, 2007. [detailed record] [pdf] [bibtex]
Emir, B., Ma, Q. and Odersky, M. (2007) Translation Correctness for First-Order Object-Oriented Pattern Matching. Technical Report, 2007. [detailed record] [pdf] [bibtex]
Briais, S. (2007) A Symbolic Characterisation of Open Bisimulation for the Spi Calculus. 2007. [detailed record] [pdf] [bibtex]
Vitek, J., Murphy, A.L., Haller, P. and Odersky, M. (2007) Actors that Unify Threads and Events. Proceedings of the 9th International Conference on Coordination Models and Languages (COORDINATION), pp. 171-190. [detailed record] [pdf] [bibtex]
Haller, P. and Odersky, M. (2007) Actors that Unify Threads and Events. Technical Report, 2007. [detailed record] [pdf] [bibtex]
2006
Emir, B., Kennedy, A., Russo, C. and Yu, D. (2006) Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP), Berlin. 2006. [detailed record] [bibtex]
Emir, B., Odersky, M. and Williams, J. (2006) Matching Objects with Patterns. Technical Report, 2006. [detailed record] [pdf] [bibtex]
Briais, S. and Nestmann, U. (2006) A Formal Semantics For Protocol Narrations. Technical Report, 2006. [detailed record] [pdf] [bibtex]
Cremet, V., Garillot, F., Lenglet, S. and Odersky, M. (2006) A Core Calculus for Scala Type Checking. Proceedings of MFCS 2006. [detailed record] [pdf] [bibtex]
Lightfoot, D.E., Szyperski, C.A., Haller, P. and Odersky, M. (2006) Event-Based Programming without Inversion of Control. Modular Programming Languages, pp. 4-22. [detailed record] [pdf] [bibtex]
Spoon, S.A. (2006) Anti-Deprecation: Towards Complete Static Checking for API Evolution (Extended Version). Technical Report, 2006. [detailed record] [pdf] [bibtex]
Fuzzati, R., Merro, M. and Nestmann, U. (2006) Distributed Consensus, Revisited. Technical Report, 2006. [detailed record] [pdf] [bibtex]
Spoon, A. (2006) Package Universes: Which Components Are Real Candidates?. Technical Report, 2006. [detailed record] [pdf] [bibtex]
Dubochet, G. (2006) On Embedding Domain-specific Languages with User-friendly Syntax. Proceedings of the 1st Workshop on Domain-Specific Program Development, pp. 19–22. [detailed record] [pdf] [bibtex]
Cremet, V. and Odersky, M. (2006) Foundations for SCALA. Ph.D. Thesis, 2006. [detailed record] [pdf] [bibtex]
Odersky, M., Altherr, P., Cremet, V., Dragos, I., Dubochet, G., Emir, B., McDirmid, S., Micheloud, S., Mihaylov, N., Schinz, M., Spoon, L., Stenman, E. and Zenger, M. (2006) An Overview of the Scala Programming Language (2. Edition). Technical Report, 2006. [detailed record] [pdf] [bibtex]
Kennedy, A., Russo, C., Emir, B. and Yu, D. (2006) Variance and Generalized Constraints for C# Generics. Proc. of ECOOP 2006. [detailed record] [bibtex]
Borran-Dejnabadi, F. (2006) Efficient Semi-structured Queries in Scala using XQuery Shipping. 2006. [detailed record] [pdf] [bibtex]
Altherr, P. and Odersky, M. (2006) A typed intermediate language and algorithms for compiling scala by successive rewritings. Ph.D. Thesis, 2006. [detailed record] [pdf] [bibtex]
2005
Briais, S. and Nestmann, U. (2005) A Formal Semantics For Protocol Narrations. Proceedings (Revised Selected Papers) of Trustworthy Global Computing, pp. 163-181. [detailed record] [bibtex]
Dubochet, G. (2005) Better Relational Queries using For-comprehensions. Presented at: I&C Research Day, Lausanne, 23 June 2005. [detailed record] [pdf] [bibtex]
Dubochet, G. (2005) The SLinks Language. 2005. [detailed record] [pdf] [bibtex]
Bünzli, D.C., Mena, S. and Nestmann, U. (2005) Protocol Composition Frameworks, A Header Driven Model. Technical Report, 2005. [detailed record] [pdf] [bibtex]
Altherr, P. and Cremet, V. (2005) Inner Classes and Virtual Types. Technical Report, 2005. [detailed record] [pdf] [bibtex]
Odersky, M. and Zenger, M. (2005) Scalable Component Abstractions. Proceedings of OOPSLA 2005. [detailed record] [pdf] [bibtex]
Fuzzati, R. (2005) Organ Transplantation Management. Technical Report, 2005. [detailed record] [pdf] [bibtex]
Altherr, P. and Cremet, V. (2005) Inner Classes and Virtual Types. Technical Report, 2005. [detailed record] [pdf] [bibtex]
2004
Zenger, M. and Odersky, M. (2004) Independently Extensible Solutions to the Expression Problem. Technical Report, 2004. [detailed record] [pdf] [bibtex]
Emir, B. (2004) Compiling Regular Patterns to Sequential Machines. Technical Report, 2004. [detailed record] [pdf] [bibtex]
Busatto, G., Lohrey, M. and Maneth, S. (2004) Grammar-Based Tree Compression. Technical Report, 2004. [detailed record] [pdf] [bibtex]
Odersky, M. and Zenger, M. (2004) Scalable Component Abstractions. Technical Report, 2004. [detailed record] [pdf] [bibtex]
EPFL, M.O. and Google, M.Z. (2004) Scalable Component Abstractions. Technical Report, 2004. [detailed record] [bibtex]
Borgström, J. and Nestmann, U. (2004) On Bisimulations for the Spi Calculus. Technical Report, 2004. [detailed record] [pdf] [bibtex]
Borgström, J., Nestmann, U., Alima, L.O. and Gurov, D. (2004) Verifying a Structured Peer-to-peer Overlay Network: The Static Case. Technical Report, 2004. [detailed record] [pdf] [bibtex]
Emir, B. (2004) Compiling Regular Patterns to Sequential Machines. Technical Report, 2004. [detailed record] [pdf] [bibtex]
Odersky, M., Altherr, P., Cremet, V., Emir, B., Maneth, S., Micheloud, S., Mihaylov, N., Schinz, M., Stenman, E. and Zenger, M. (2004) An Overview of the Scala Programming Language. Technical Report, 2004. [detailed record] [pdf] [bibtex]
Zenger, M. and Odersky, M. (2004) Independently Extensible Solutions to the Expression Problem. Technical Report, 2004. [detailed record] [pdf] [bibtex]
Busatto, G., Lohrey, M. and Maneth, S. (2004) Grammar-Based Tree Compression. Technical Report, 2004. [detailed record] [pdf] [bibtex]
2003
Mens, T., Buckley, J., Zenger, M. and Rashid, A. (2003) Towards a Taxonomy of Software Evolution. Proceedings of the International Workshop on Unanticipated Software Evolution. [detailed record] [pdf] [bibtex]
Borgström, J. and Nestmann, U. (2003) On Bisimulations for the Spi Calculus. Technical Report, 2003. [detailed record] [pdf] [bibtex]
Nestmann, U., Fuzzati, R. and Merro, M. (2003) Modeling Consensus in a Process Calculus. Proceedings of CONCUR 2003. [detailed record] [pdf] [bibtex]
Nestmann, U. and Fuzzati, R. (2003) Unreliable Failure Detectors via Operational Semantics. Proceedings of ASIAN 2003. [detailed record] [pdf] [bibtex]
Cremet, V. and Odersky, M. (2003) PiLib: A Hosted Language for Pi-Calculus Style Concurrency. Proceedings of Domain-Specific Program Generation: International Seminar. [detailed record] [pdf] [bibtex]
Black, A.P., Cremet, V., Guerraoui, R. and Odersky, M. (2003) An Equational Theory for Transactions. Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2003). [detailed record] [pdf] [bibtex]
Nestmann, U., Fuzzati, R. and Merro, M. (2003) Modeling Consensus in a Process Calculus. CONCUR 2003 - Concurrency Theory, pp. 399-414. [detailed record] [pdf] [bibtex]
Nestmann, U. and Fuzzati, R. (2003) Unreliable Failure Detectors via Operational Semantics. Advances in Computing Science - ASIAN 2003, pp. 54-71. [detailed record] [pdf] [bibtex]
Borgström, J. and Nestmann, U. (2003) On Bisimulations for the Spi Calculus. Technical Report, 2003. [detailed record] [pdf] [bibtex]
Black, A.P., Cremet, V., Guerraoui, R. and Odersky, M. (2003) An Equational Theory for Transactions. Technical Report, 2003. [detailed record] [pdf] [bibtex]
2002
Zenger, M. (2002) Type-Safe Prototype-Based Component Evolution. Technical Report, 2002. [detailed record] [pdf] [bibtex]
Bagwell, P. (2002) Fast Functional Lists, Hash-Lists, Deques, and Variable Length Arrays. Technical Report, 2002. [detailed record] [pdf] [bibtex]
Briais, S. and Nestmann, U. (2002) Mobile Objects "Must" Move Safely. [detailed record] [pdf] [bibtex]
Zenger, M. (2002) Evolving Software with Extensible Modules. Proceedings of the International Workshop on Unanticipated Software Evolution. [detailed record] [pdf] [bibtex]
Odersky, M., Cremet, V., Röckl, C. and Zenger, M. (2002) A Nominal Theory of Objects with Dependent Types. Technical Report, 2002. [detailed record] [pdf] [bibtex]
Merro, M., Kleist, J. and Nestmann, U. (2002) Mobile Objects as Mobile Processes. Technical Report, 2002. [detailed record] [pdf] [bibtex]
Odersky, M., Cremet, V., Roeckl, C. and Zenger, M. (2002) A Nominal Theory of Objects with Dependent Types. Technical Report, 2002. [detailed record] [pdf] [bibtex]
Bagwell, P. (2002) Fast Functional Lists, Hash-Lists, Deques and Variable Length Arrays. Technical Report, 2002. [detailed record] [pdf] [bibtex]
Zenger, M. (2002) Type-Safe Prototype-Based Component Evolution. Technical Report, 2002. [detailed record] [pdf] [bibtex]
2001
Odersky, M., Zenger, C. and Zenger, M. (2001) Colored Local Type Inference (colored version) (black and white version). Proceedings of POPL 2001. [detailed record] [pdf] [bibtex]
Odersky, M. and Zenger, C. (2001) Nested Types. Proceedings FOOL8, Workshop on Foundations of Object-Oriented Languages. [detailed record] [pdf] [bibtex]
Kramer, S. (2001) A Formal Specification for a Real-Time Train Controller. 2001. [detailed record] [pdf] [bibtex]
Nestmann, U. (2001) Local pi-Calculus at Work: Mobile Objects as Mobile Processes (Full version). Technical Report, 2001. [detailed record] [pdf] [bibtex]
Zenger, M. and Odersky, M. (2001) Implementing Extensible Compilers. Proceedings of the ECOOP 2001 Workshop on Multiparadigm Programming with Object-Oriented Languages. [detailed record] [pdf] [bibtex]
