Code | CV | Research
Technology in NJPh.D from 🐯Princeton Computer Science. B.S. from 🐻Cornell Computer Science
email: daniel@dantasfiles.com
Technical Guides & Occasional News
-
Retrieving user information from AWS Amplify authentication
This is a guide to three methods of retrieving user information from AWS Amplify authentication: Auth.currentSession(), Auth.currentUserInfo, and Auth.currentAuthenticatedUser() -
The Year in Tech
Learning about technology from 2018 -
The Year in Tech
Learning about technology from 2017 -
The Year in Tech
Learning about technology from 2016 -
The Year in Tech
Learning about technology from 2015 -
Remove notes to avoid MAX_ITEMS error pull request to fix Netflix Notes Chrome extension
-
The Year in Tech
Learning about technology from 2014 -
The Year in Tech
Learning about technology from 2013 -
Provided feedback on draft programming languages textbook, which was incorporated into final version
-
The Year in Tech
Learning about technology from 2012 -
The Year in Tech
Learning about technology from 2011 -
The Year in Tech
Learning about technology from 2010 -
The Year in Tech
Learning about technology from 2009 -
Language Support for Processing Distributed Ad-hoc Data published at ACM Principles & Practice of Declarative Programming (PPDP)
This paper presents the design, theory and implementation of Gloves, a domain-specific language that allows users to specify the provenance (the derivation history starting from the origins), syntax and semantic properties of collections of distributed data sources. -
The Year in Tech
Learning about technology from 2008 -
Language Support for Processing Ad Hoc Data published as preprint
This paper presents PADS/D, a system that generates monitoring, analysis and transformation tools for distributed ad hoc data from declarative specifications. The system generates libraries for application developers, including modules for parsing, printing, error management, data traversal and transformation which developers can use to create their own application-specific tools. -
AspectML: A Polymorphic Aspect-oriented Functional Programming Language published at ACM Transactions on Programming Languages & Systems (TOPLAS)
This article defines AspectML, a typed functional, aspect-oriented programming language. The main contribution of AspectML is the seamless integration of polymorphism, run-time type analysis and aspect-oriented programming language features. -
AFOSR Continues History of Success with NDSEG Fellowship Program
NDSEG is a Department of Defense (DoD) fellowship program that funds graduate students to improve our nation's science and engineering education. AFOSR selected Dr. Daniel Dantas as an NDSEG Fellow in computer science. Dr. Dantas' research focused on using aspect-oriented programming languages for computer security. -
The Year in Tech
Learning about technology from 2007 -
A Simple & Expressive Semantic Framework for Policy Composition in Access Control published at ACM Formal Methods in Security Engineering (FMSE)
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. We define an access control policy as a four-valued predicate that maps accesses to either grant, deny, conflict, or unspecified.