Publication

Linguistic contamination: an epistemological tool for interrogating vernacular tradition and contemporary architecture

Publications associées (24)

Satisfiability-Based Methods for Digital Circuit Design, Debug, and Optimization

Designing digital circuits well is notoriously difficult. This difficulty stems in part from the very many degrees of freedom inherent in circuit design, typically coupled with the need to satisfy various constraints. In this thesis, we demonstrate how for ...

EPFL2018

Design and implementation of an optimizing type-centric compiler for a high-level language

Dmytro Petrashko

Production compilers for programming languages face multiple requirements. They should be correct, as we rely on them to produce code. They should be fast, in order to provide a good developer experience. They should also be easy to maintain and evolve. Th ...

EPFL2017

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Quasiquotes have been shown to greatly simplify the task of metaprogramming. This is in part because they hide the data structures of the intermediate representation (IR), instead allowing metaprogrammers to use the concrete syntax of the language they man ...

ACM2017

Penser (par) la carte : l'espace public et la marche à Mumbai et à Tokyo

Carole Thérèse Lanoix

What do Marine Drive and Shibuya have in common? Both the long promenade at the southern end of Mumbai, and the gigantic pedestrian crossing in the heart of the Japanese capital, are places where one walks. This thesis discusses places of convergence and o ...

EPFL2017