We stand with Ukraine  

João Dias

Affiliations:
  • Tufts University, Medford, MA, USA


According to our database1, João Dias authored at least 5 papers between 2005 and 2011.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code.
[BibTeX]
[DOI]
Norman Ramsey
,
João Dias
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2010
Automatically generating instruction selectors using declarative machine descriptions.
[BibTeX]
[DOI]
João Dias
,
Norman Ramsey
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Hoopl: a modular, reusable library for dataflow analysis and transformation.
[BibTeX]
[DOI]
Norman Ramsey
,
João Dias
,
Simon L. Peyton Jones
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2006
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions.
[BibTeX]
[DOI]
João Dias
,
Norman Ramsey
Proceedings of the Compiler Construction, 15th International Conference, 2006

2005
An Applicative Control-Flow Graph Based on Huet's Zipper.
[BibTeX]
[DOI]
Norman Ramsey
,
João Dias
Proceedings of the ACM-SIGPLAN Workshop on ML, 2005


  Loading...