Nada Amin

According to our database1, Nada Amin authored at least 17 papers between 2009 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Collapsing towers of interpreters.
PACMPL, 2018

2017
LMS-Verify: abstraction without regret for verified systems programming.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Type soundness proofs with definitional interpreters.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
Type soundness for dependent object types (DOT).
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

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, 2016

The Essence of Dependent Object Types.
Proceedings of the A List of Successes That Can Change the World, 2016

2015
From F to DOT: Type Soundness Proofs with Definitional Interpreters.
CoRR, 2015

Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Functional pearl: a SQL to C compiler in 500 lines of code.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014
Computing with an SMT Solver.
Proceedings of the Tests and Proofs - 8th International Conference, 2014

Foundations of path-dependent types.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

What are the Odds?: probabilistic programming in Scala.
Proceedings of the 4th Workshop on Scala, 2013

A flow-insensitive, modular effect system for purity.
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

2012
Scala-Virtualized: linguistic reuse for deep embeddings.
Higher-Order and Symbolic Computation, 2012

JavaScript as an Embedded DSL.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2009
Computer-aided design for microfluidic chips based on multilayer soft lithography.
Proceedings of the 27th International Conference on Computer Design, 2009


  Loading...