2018

Haller, P., Miller, H. and Müller, N. (2018) A Programming Model and Foundation for Lineage-Based Distributed Computation. Journal of Functional Programming. To appear. [detailed record] [pdf] [bibtex]

2017

Petrashko, D. (2017) Design and implementation of an optimizing type-centric compiler for a high-level language. Ph.D. Thesis, 2017. [detailed record] [pdf] [bibtex]

Stucki, S. (2017) Higher-Order Subtyping with Type Intervals. Ph.D. Thesis, 2017. [detailed record] [pdf] [bibtex]

Clancy, K., Miller, H. and Meiklejohn, C. (2017) Monotonicity Types. Submitted for publication. [detailed record] [pdf] [bibtex]

Liu, F. and Burmako, E. (2017) Two approaches to portable macros. Technical Report, 2017. [detailed record] [pdf] [bibtex]

Clancy, K. and Miller, H. (2017) Monotonicity Types for Distributed Dataflow. Proceedings of the 2nd Workshop on Programming Models and Languages for Distributed Computing. To appear. [detailed record] [pdf] [bibtex]

Odersky, M., Blanvillain, O., Liu, F., Biboudis, A., Miller, H. and Stucki, S. (2017) Simplicitly: Foundations and Applications of Implicit Function Types. [detailed record] [pdf] [bibtex]

Odersky, M., Biboudis, A., Liu, F. and Blanvillain, O. (2017) Foundations of Implicit Function Types. Technical Report, 2017. [detailed record] [pdf] [bibtex]

Petrashko, D., Lhoták, O. and Odersky, M. (2017) Miniphases: Compilation using Modular and Efficient Tree Transformations. Acm Sigplan Notices, 52(6) pp. 201-216. To appear. [detailed record] [pdf] [bibtex]

Amin, N. and Rompf, T. (2017) LMS-Verify: Abstraction without Regret for Verified Systems Programming’. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. [detailed record] [pdf] [bibtex]

Amin, N. and Rompf, T. (2017) Type Soundness Proofs with Definitional Interpreters. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. [detailed record] [pdf] [bibtex]

Burmako, E. (2017) Unification of Compile-Time and Runtime Metaprogramming in Scala. Ph.D. Thesis, 2017. [detailed record] [pdf] [bibtex]

Beguet, R.M., Stucki, N.A., Petrashko, D. and Odersky, M. (2017) Call-graph-based Optimizations in Scala. Technical Report, 2017. [detailed record] [pdf] [bibtex]

2016

Rompf, T. and Amin, N. (2016) Type Soundness for Dependent Object Types’. Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. [detailed record] [pdf] [bibtex]

Amin, N. and Tate, R. (2016) Java and Scala's Type Systems are Unsound The Existential Crisis of Null Pointers. Acm Sigplan Notices, 51(10) pp. 838-848. [detailed record] [pdf] [bibtex]

Rompf, T. and Amin, N. (2016) Type Soundness for Dependent Object Types (DOT). Acm Sigplan Notices, 51(10) pp. 624-641. [detailed record] [pdf] [bibtex]

Odersky, M., Burmako, E. and Petrashko, D. (2016) A TASTY Alternative. Technical Report, 2016. [detailed record] [pdf] [bibtex]

Odersky, M., Burmako, E. and Petrashko, D. (2016) TASTY Reference Manual. Technical Report, 2016. [detailed record] [pdf] [bibtex]

Liu, F. (2016) A generic algorithm for checking exhaustivity of pattern matching. SCALA 2016 Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala. [detailed record] [pdf] [bibtex]

Doeraene, S., Schlatter, T. and Stucki, N. (2016) Semantics-Driven Interoperability between Scala.js and JavaScript. Scala'16: Proceedings Of The 2016 7th ACM SIGPLAN Symposium On Scala, pp. 85-94. [detailed record] [pdf] [bibtex]

Liu, F. (2016) A Generic Algorithm for Checking Exhaustivity of Pattern Matching. Scala'16: Proceedings Of The 2016 7Th Acm Sigplan Symposium On Scala, pp. 61-64. [detailed record] [bibtex]

Amin, N. (2016) Dependent Object Types. Ph.D. Thesis, 2016. [detailed record] [pdf] [bibtex]

Jonnalagedda, M. (2016) Specialising Parsers for Queries. Ph.D. Thesis, 2016. [detailed record] [pdf] [bibtex]

Odersky, M., Martres, G. and Petrashko, D. (2016) Implementing Higher-Kinded Types in Dotty. Proceedings of the Scala Symposium 2016. [detailed record] [pdf] [bibtex]

Renucci, A.V.R. and Petrashko, D. (2016) Auto-Collections for Scala. Technical Report, 2016. [detailed record] [pdf] [bibtex]

Alfonso Peterssen, A. and Petrashko, D. (2016) Delaying arrays. Technical Report, 2016. [detailed record] [pdf] [bibtex]

Haller, P., Müller, N. and Miller, H. (2016) The Function Passing Model: Types, Proofs, and Semantics. Technical Report, 2016. [detailed record] [pdf] [bibtex]

Liu, F. (2016) A Study of Capability-Based Effect Systems. 2016. [detailed record] [pdf] [bibtex]

Jovanovic, V. (2016) Uniting Language Embeddings for Fast and Friendly DSLs. Ph.D. Thesis, 2016. [detailed record] [pdf] [bibtex]

Petrashko, D., Ureche, V., Lhot\'{a}k, O. and Odersky, M. (2016) Call Graphs for Languages with Parametric Polymorphism. Technical Report, 2016. [detailed record] [pdf] [bibtex]

Amin, N., Grütter, K.S., Odersky, M., Rompf, T. and Stucki, S. (2016) The Essence of Dependent Object Types. A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 249-272. [detailed record] [pdf] [bibtex]

Plociniczak, H. (2016) Decrypting Local Type Inference. Ph.D. Thesis, 2016. [detailed record] [pdf] [bibtex]

Miller, H., Haller, P., Müller, N. and Boullier, J. (2016) Function Passing: A Model for Typed, Distributed Functional Programming. Onward!'16: Proceedings Of The 2016 Acm International Symposium On New Ideas, New Paradigms, And Reflections On Programming And Software, pp. 82-97. [detailed record] [pdf] [bibtex]

2015

Amin, N. and Tate, R. (2015) Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers. Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. [detailed record] [pdf] [bibtex]

Rompf, T. and Amin, N. (2015) Functional Pearl: A SQL to C Compiler in 500 Lines of Code’. Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming. [detailed record] [pdf] [bibtex]

Renucci, A.V.R., Petrashko, D. and Odersky, M. (2015) Common Subexpression Elimination in Dotty. Technical Report, 2015. [detailed record] [pdf] [bibtex]

Sikiaridis, A.J.D., Petrashko, D. and Odersky, M. (2015) Implementing Method Type Specialisation In Dotty. Technical Report, 2015. [detailed record] [pdf] [bibtex]

Duhem, M. and Burmako, E. (2015) Parser Macros for Scala. Technical Report, 2015. [detailed record] [pdf] [bibtex]

Demarne, M. and Burmako, E. (2015) Style Checking With Scala.Meta. Technical Report, 2015. [detailed record] [pdf] [bibtex]

Rompf, T. and Amin, N. (2015) Functional Pearl: A SQL to C Compiler in 500 Lines of Code. Acm Sigplan Notices, 50(9) pp. 2-9. [detailed record] [pdf] [bibtex]

Denys Shabalin, M.O. (2015) Region-based off-heap memory for Scala. Technical Report, 2015. [detailed record] [pdf] [bibtex]

Stucki, N.A., Rompf, T., Bagwell, P., Ureche, V. and Odersky, M. (2015) RRB Vector: A Practical General Purpose Immutable Sequence. Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, pp. 342--354. [detailed record] [pdf] [bibtex]

Miller, H. (2015) Language Support for Distributed Functional Programming. Ph.D. Thesis, 2015. [detailed record] [pdf] [bibtex]

Jovanovic, V., Shaikhha, A., Stucki, S., Nikolaev, V., Koch, C. and Odersky, M. (2015) Yin-Yang: Concealing the Deep Embedding of DSLs. Acm Sigplan Notices, 50(3) pp. 73-82. [detailed record] [bibtex]

Stojanovic, M. (2015) Interoperation between Miniboxing and Other Generics Translations. 2015. [detailed record] [pdf] [bibtex]

Danos, V., Heindel, T., Honorato-Zimmer, R. and Stucki, S. (2015) Moment Semantics for Reversible Rule-Based Systems. Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings, pp. 3-26. [detailed record] [pdf] [bibtex]

Jonnalagedda, M. and Stucki, S. (2015) Fold-based fusion as a library: a generative programming pearl. Proceedings of the 6th ACM SIGPLAN Symposium on Scala - SCALA 2015, pp. 41-50. [detailed record] [pdf] [bibtex]

Beguet, R.M. (2015) Miniboxing and the MbArray API. 2015. [detailed record] [pdf] [bibtex]

Ureche, V., Stojanovic, M., Beguet, R.M., Stucki, N.A. and Odersky, M. (2015) Improving the Interoperation between Generics Translations. [detailed record] [pdf] [bibtex]

Ureche, V., Biboudis, A., Smaragdakis, Y. and Odersky, M. (2015) Automating Ad hoc Data Representation Transformations. Acm Sigplan Notices, 50(10) pp. 801-820. [detailed record] [pdf] [bibtex]

Stucki, N. (2015) Turning Relaxed Radix Balanced Vector from Theory into Practice for Scala Collections (Master Thesis). 2015. [detailed record] [pdf] [bibtex]

Haller, P. and Miller, H. (2015) Distributed Programming via Safe Closure Passing. To appear. [detailed record] [pdf] [bibtex]

Duhem, M.N. and Burmako, E. (2015) Macros in sbt: Problem Solved!. Technical Report, 2015. [detailed record] [pdf] [bibtex]

Ghosn, A. and Burmako, E. (2015) Obey: Code Health for Scala.Meta. Technical Report, 2015. [detailed record] [pdf] [bibtex]

Beguet, E. and Burmako, E. (2015) Traversal Query Language For Scala.Meta. Technical Report, 2015. [detailed record] [pdf] [bibtex]

2014

Amin, N., Leino, R. and Rompf, T. (2014) Computing with an SMT Solver. [detailed record] [bibtex]

Angel, A., Petrashko, D. and Odersky, M. (2014) BlitzViews - lazy parallel operations for Scala collections. Technical Report, 2014. [detailed record] [pdf] [bibtex]

Shabalin, D. (2014) Hygiene for Scala. 2014. [detailed record] [pdf] [bibtex]

Danos, V., Heindel, T., Honorato-Zimmer, R. and Stucki, S. (2014) Approximations for Stochastic Graph Rewriting. Formal Methods and Software Engineering -- 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, pp. 1-10. [detailed record] [pdf] [bibtex]

Salvisberg, V. (2014) Better Loop Fusion for LMS. 2014. [detailed record] [pdf] [bibtex]

Jonnalagedda, M., Coppey, T., Stucki, S., Rompf, T. and Odersky, M. (2014) Staged Parser Combinators for Efficient Data Processing. Acm Sigplan Notices, 49(10) pp. 637-653. [detailed record] [bibtex]

Amin, N., Rompf, T. and Odersky, M. (2014) Foundations of Path-Dependent Types. Acm Sigplan Notices, 49(10) pp. 233-249. [detailed record] [bibtex]

Rompf, T., Sujeeth, A.K., Brown, K.J., Lee, H., Chafi, H. and Olukotun, K. (2014) Surgical Precision JIT Compilers. Acm Sigplan Notices, 49(6) pp. 41-52. [detailed record] [bibtex]

Prokopec, A. and Odersky, M. (2014) Near Optimal Work-Stealing Tree Scheduler for Highly Irregular Data-Parallel Workloads. Languages And Compilers For Parallel Computing, Lcpc 2013, 8664 pp. 55-86. [detailed record] [bibtex]

Jovanovic, V., Shaikhha, A., Stucki, S., Nikolaev, V., Koch, C. and Odersky, M. (2014) Yin-yang: concealing the deep embedding of DSLs. Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences - GPCE 2014, pp. 73-82. [detailed record] [pdf] [bibtex]

Jonnalagedda, M., Coppey, T., Stucki, S., Rompf, T. and Odersky, M. (2014) Staged parser combinators for efficient data processing. Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14, pp. 637-653. [detailed record] [pdf] [bibtex]

Sujeeth, A.K., Brown, K.J., Lee, H., Rompf, T., Chafi, H., Odersky, M. and Olukotun, K. (2014) Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages. Acm Transactions On Embedded Computing Systems, 13. [detailed record] [bibtex]

Sujeeth, A.K., Gibbons, A., Brown, K.J., Lee, H., Rompf, T., Odersky, M. and Olukotun, K. (2014) Forge: Generating a High Performance DSL Implementation from a Declarative Specification. Acm Sigplan Notices, 49(3) pp. 145-154. [detailed record] [bibtex]

Ofenbeck, G., Rompf, T., Stojanov, A., Odersky, M. and Pueschel, M. (2014) Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries. Acm Sigplan Notices, 49(3) pp. 125-134. [detailed record] [bibtex]

Prokopec, A. (2014) Data Structures and Algorithms for Data-Parallel Computing in a Managed Runtime. Ph.D. Thesis, 2014. [detailed record] [pdf] [bibtex]

Ureche, V., Burmako, E. and Odersky, M. (2014) Late Data Layout: Unifying Data Representation Transformations. Proceedings of the 2014 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and Applications, 49(10) pp. 397-416. [detailed record] [pdf] [bibtex]

Bastin, C., Ureche, V. and Odersky, M. (2014) ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant. Proceedings of the Fifth Annual Scala Workshop. [detailed record] [pdf] [bibtex]

Béguet, E. and Jonnalagedda, M. (2014) Accelerating parser combinators with macros. Proceedings of the Fifth Anuual Scala Workshop on - SCALA '14, pp. 7-17. [detailed record] [pdf] [bibtex]

Jovanovic, V., Shaikhha, A., Stucki, S., NIkolaev, V., Koch, C. and Odersky, M. (2014) Yin-Yang: Concealing the Deep Embedding of DSLs. Technical Report, 2014. [detailed record] [bibtex]

Prokopec, A., Haller, P. and Odersky, M. (2014) Containers and Aggregates, Mutators and Isolates for Reactive Programming. To appear. [detailed record] [pdf] [bibtex]

Ureche, V. (2014) Additional Material for "Unifying Data Representation Transformations". Technical Report, 2014. [detailed record] [pdf] [bibtex]

Genêt, A., Ureche, V. and Odersky, M. (2014) Improving the Performance of Scala Collections with Miniboxing. Technical Report, 2014. [detailed record] [pdf] [bibtex]

Duhem, M.N. and Burmako, E. (2014) Making sbt Macro-Aware. Technical Report, 2014. [detailed record] [pdf] [bibtex]

Demarne, M.B., Ghosn, A. and Burmako, E. (2014) Scala AST Persistence. Technical Report, 2014. [detailed record] [pdf] [bibtex]

Miller, H., Haller, P., Oliveira, d.S. and Bruno, C. (2014) Self-Assembly: Lightweight Language Extension and Datatype Generic Programming, All-in-One!. Submitted for publication. [detailed record] [pdf] [bibtex]

Odersky, M. and Rompf, T. (2014) Unifying Functional and Object-Oriented Programming with Scala. Communications Of The Acm, 57(4) pp. 76-86. [detailed record] [bibtex]

Klonatos, I., Koch, C., Rompf, T. and Chafi, H. (2014) Building Efficient Query Engines in a High-Level Language. Proceedings of the VLDB Endowment, 7(10). [detailed record] [pdf] [bibtex]

Plociniczak, H., Miller, H. and Odersky, M. (2014) Improving Human-Compiler Interaction Through Customizable Type Feedback. Submitted for publication. [detailed record] [pdf] [bibtex]

Prokopec, A., Petrashko, D. and Odersky, M. (2014) On Lock-Free Work-stealing Iterators for Parallel Data Structures. Technical Report, 2014. [detailed record] [pdf] [bibtex]

Rytz, L. (2014) A Practical Effect System for Scala. Ph.D. Thesis, 2014. [detailed record] [pdf] [bibtex]

Miller, H., Haller, P. and Odersky, M. (2014) Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. Submitted for publication. [detailed record] [pdf] [bibtex]

Miller, H., Haller, P., Rytz, L. and Odersky, M. (2014) Functional Programming For All! Scaling a MOOC for Students and Professionals Alike. To appear. [detailed record] [pdf] [bibtex]

2013

Shaikhha, A. (2013) An Embedded Query Language in Scala. 2013. [detailed record] [pdf] [bibtex]

Stucki, N. (2013) Using Reified Types for Specialization. 2013. [detailed record] [pdf] [bibtex]

Rompf, T., Amin, N., Moors, A., Haller, P. and Odersky, M. (2013) Scala-Virtualized: Linguistic Reuse for Deep Embeddings. Higher Order and Symbolic Computation, August-September pp. 1-43. [detailed record] [pdf] [bibtex]

Stucki, S., Amin, N., Jonnalagedda, M. and Rompf, T. (2013) What are the Odds? Probabilistic programming in Scala. Proceedings of the 4th Workshop on Scala, (11) pp. 11:1--11:9. [detailed record] [pdf] [bibtex]

Miller, H., Haller, P., Burmako, E. and Odersky, M. (2013) Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization. Acm Sigplan Notices, 48(10) pp. 183-201. [detailed record] [bibtex]

Miller, H. and Haller, P. (2013) Spores, Formally. Technical Report, 2013. [detailed record] [pdf] [bibtex]

Doeraene, S. (2013) Scala.js: Type-Directed Interoperability with Dynamically Typed Languages. Technical Report, 2013. [detailed record] [pdf] [bibtex]

Coppey, T. (2013) DynaProg for Scala. 2013. [detailed record] [pdf] [bibtex]

Rompf, T., Sujeeth, A.K., Amin, N., Brown, K.J., Jovanovic, V., Lee, H., Jonnalagedda, M., Olukotun, K. and Odersky, M. (2013) Optimizing Data Structures in High-Level Programs New Directions for Extensible Compilers based on Staging. Acm Sigplan Notices, 48(1) pp. 497-510. [detailed record] [bibtex]

Prokopec, A. and Odersky, M. (2013) On a Near Optimal Work-Stealing Tree Data-Parallel Scheduler for Highly Irregular Workloads. Technical Report, 2013. [detailed record] [pdf] [bibtex]

Haller, P. and Miller, H. (2013) RAY: Integrating Rx and Async for Direct-Style Reactive Streams. Submitted for publication. [detailed record] [pdf] [bibtex]

Maier, I. (2013) Reactive Programming Abstractions for Complex Event Logic and Dynamic Data Dependencies. Ph.D. Thesis, 2013. [detailed record] [pdf] [bibtex]

Stucki, N. and Ureche, V. (2013) Bridging Islands of Specialized Code using Macros and Reified Types. Proceedings of the 4th Workshop on Scala - SCALA '13. [detailed record] [pdf] [bibtex]

Powered by Infoscience