HOME /

CV

Work Address


Harvard John A. Paulson School of Engineering and Applied Sciences
4.413 Science and Engineering Complex
150 Western Avenue, Allston, MA 02134
namin@seas.harvard.edu
namin.seas.harvard.edu

Nada Amin

Personal Address


namin@alum.mit.edu

Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS)

Cambridge, MA, USA 2019 - Present
Assistant Professor of Computer Science

Papers | Talks and Meetings | Professional Service | Education |Experience (Academia) | Experience (Industry)

  • '‘Staged Relational Programming for Synthesis’’ (with William Byrd), AP2S: Automated Program and Proof Synthesis Bridge Program, Part of the AAAI-23 Bridge Program, February 7, 2023.
  • ‘‘Systems Programming’’, Lorentz center workshop on new challenges in programming language semantics, Leiden, Netherlands, November 28, 2022.
  • ‘‘Staged Relational Interpreters: Running with Holes, Faster’’, IFIP WG2.11 (Working Group on Program Generation), Odense, Denmark, August 16, 2022
  • ‘‘Reconciling Family Polymorphism with Pattern Matching via Extensible Cases’’, IFIP WG2.16 (Working Group on Language Design), March 8, 2022
  • ‘‘Programming Languages + Artificial Intelligence’’, Museum of Science (Science Live!), February 23, 2022
  • ‘‘Beyond Collapsing Towers: Staging a Relational Interpreter’’, Northeastern University, October 29, 2021
  • ‘‘Beyond Collapsing Towers: Staging a Relational Interpreter’’, Boston University (Principles of Programming & Verification Seminar), October 26, 2021
  • ‘‘Prolog-Style Meta-Programming miniKanren’’ (with William Byrd), miniKanren and Relational Programming Workshop, August 26, 2021
  • ‘‘Adventures in extending miniKanren’’, keynote at miniKanren and Relational Programming Workshop, August 26, 2021
  • ‘‘Staged Relational Interpreters: Running Backwards, Faster’’, keynote at European Lisp Symposium (ELS), May 4, 2021
  • ‘‘Functional Programming for COVID-19 Drug Repurposing’’, (PLMW), ICFP, August 23, 2020
  • IFIP WG2.8 (Working Group on Functional Programming), Bordeaux, France, May 20 — 24, 2019
  • ‘‘Generating C from Scala’’, invited seminar at University of Leicester, Uk, October 26, 2018
  • ‘‘Generating C from Scala’’, invited seminar at University City London (UCL), Uk, October 5, 2018
  • Heidelberg Laureate Forum, per invitation of Sir Tony Hoare, Germany, September 23 — 29, 2018
  • ‘‘CLP(SMT)’’, Invited Talk at ClojuTRE, Helsinki, Finland, September 14, 2018
  • IFIP WG2.8 (Working Group on Functional Programming), Asilomar, Ca, Usa, June 10 — 15, 2018
  • NII Shonan Meeting Seminar on Meta-Programming for Statistical Machine Learning, Japan, May 21 — 25, 2018
  • IFIP WG2.16 (Working Group on Language Design), Antwerp, Belgium, May 14-18, 2018
  • ‘‘Hands-on Generative Programming: Write an Interpreter, Build a Compiler’’, Invited Talk at PLAS seminar, University of Kent, Canterbury, Uk, November 20, 2017
  • ‘‘Collapsing Towers of Interpreters’’, codemesh.io, London, Uk, November 8, 2017
  • ‘‘Collapsing Towers of Interpreters’’, Invited Talk at Meta (Workshop on Meta-Programming Techniques and Reflection), SPLASH, Vancouver, bc, Canada, October 22, 2017
  • ‘‘DOT: Scala Types in Theory and Practice’’, Scala.World, Penrith, Uk, September 18, 2017
  • ‘‘Scala: Types in Theory and Practice’’, Programming Language Mentoring Workshop (PLMW), ICFP, Oxford, Uk, September 3, 2017
  • IFIP WG2.16 (Working Group on Language Design), Park City, Ut, Usa, August 28 — September 1, 2017
  • ‘‘Generative Programming & Verification’’, Keynote at EuroClojure, Berlin, Germany, July 21, 2017
  • ‘‘Collapsing Towers of Interpreters’’, IFIP WG2.11 (Working Group on Program Generation), Koblenz, Germany, July 18, 2017
  • ‘‘Types: Safety Net & Springboard’’, Invited Talk
    • Aarhus University, Denmark, April 10, 2017
    • Microsoft Research, Cambridge, Uk, March 30, 2017
    • USI, Lugano, Switzerland, March 27, 2017
    • Microsoft Research, Redmond, Wa, Usa, March 21, 2017
    • University of Cambridge, Uk, March 16, 2017
    • Harvard University, Cambridge, Ma, Usa, March 9, 2017
    • ETH Zürich, Switzerland, March 7, 2017
    • UCLA, Los Angeles, Ca, Usa, February 28, 2017
  • ‘‘The cake and eating it: writing expressive high-level programs that generate fast low-level code at runtime’’, Kats Conf 2, Dublin, Ireland, February 18, 2017
  • ‘‘Thinking About Recursion’’ (with William Byrd), Kats Conf 2, Dublin, Ireland, February 17, 2017
  • Theory and Applications of Behavioural Types, Dagstuhl Seminar 17051, Germany, January 29 — February 3, 2017
  • ‘‘LMS-Verify: Abstraction Without Regret for Verified Systems Programming’’, POPL, Paris, France, January 20, 2017
  • Panel of Young Researchers, Programming Language Mentoring Workshop (PLMW), POPL, Paris, France, January 17, 2017
  • ‘‘Type Soundness for Dependent Object Types (DOT)’’, OOPSLA, Amsterdam, Netherlands, November 3, 2016
  • Panel of Young Researchers, Programming Language Mentoring Workshop (PLMW), SPLASH, Amsterdam, Netherlands, November 1, 2016
  • ‘‘Generative Programming: from High-Performance to Safety-Critical Applications’’, Invited Talk at Mobile!, Amsterdam, Netherlands, October 31, 2016
  • ‘‘LMS: Generative Programming in Scala’’, EPFL - Novi Sad SCOPES meeting, Lausanne, Switzerland, June 29, 2016
  • ‘‘The DOT Calculus’’, ECOOP PC Workshop, Brown University, Providence, Ri, Usa, February 28, 2016
  • IFIP WG2.16 (Working Group on Language Design), UCLA, Los Angeles, Ca, Usa, January 25 — 29, 2016
  • ‘‘LMS: a Perspective on Generative Programming’’, Invited Talk at PEPM, St Petersburg, Fl, Usa, January 18, 2016
  • ‘‘Programming should eat itself’’, Keynote at Strange Loop, St Louis, Mo, Usa, September 19, 2014 (code)
  • ‘‘Batteries Included: Generative Programming with Scala and LMS’’ (with Tiark Rompf), Tutorial at CUFP, Gothenburg, Sweden, September 5, 2014
  • ‘‘Implicits in Practice’’ (with Tiark Rompf), Demo at ML Family Workshop, Gothenburg, Sweden, September 4, 2014
  • ‘‘The DOT Calculus’’, Scala Days, Berlin, Germany, June 18, 2014
  • ‘‘Patterns for Generative Programming’’, EcoCloud Annual Event, Lausanne, Switzerland, June 6, 2014
  • NII Shonan Meeting Seminar on Staging and High-Performance Computing, Japan, May 26 — 30, 2014
  • ‘‘The DOT Calculus’’, flatMap(Oslo), Norway, May 12, 2014
  • ‘‘Mind the Gap’’ (with Tiark Rompf), OBT'14, San Diego, Ca, Usa, January 25, 2014
  • ‘‘Meta-Programming in Logic Programming’’ (with William Byrd), codemesh.io, London, Uk, December 5, 2013 (code)
  • ‘‘From Greek to Clojure!’’ (with William Byrd), Clojure/conj, Alexandria, Va, Usa, November 14, 2013 (code)
  • ‘‘Program Transformations’’ (with William Byrd), Hacker School (Recurse Center), New York, Ny, Usa, July 22, 2013
  • ‘‘Staging: Runtime code generation for ‘abstraction without regret’’’, Hacker School (Recurse Center), New York, Ny, Usa, July 15, 2013
  • ‘‘Program Transformations’’ (with William Byrd), LambdaJam, Chicago, Il, Usa, July 9, 2013 (code)
  • ‘‘How to write your next POPL paper in Dafny’’, Microsoft Research, Redmond, Wa, Usa, July 2, 2013 (code)
  • ‘‘Lightweight Modular Staging’’ (with Tiark Rompf et al.), Tutorial at PLDI, Seattle, Wa, Usa, June 16, 2013
  • ‘‘core.logic.nominal’’, miniKanren Confo (associated with Clojure/West), Portland, Or, Usa, March 19, 2013 (code)
  • ‘‘Dependent Object Types’’, FOOL, Tucson, Az, USA, October 22, 2012
  • Participant at the Oregon Programming Languages Summer School (OPLSS), Eugene, Or, Usa, July 16-28, 2012
  • ‘‘JavaScript as an Embedded DSL’’, ECOOP, Beijing, China, June 15, 2012
  • ‘‘JavaScript as an Embedded DSL’’, Scala Days, London, Uk, April 17, 2012