Ted Kaminski
Contact information
Office: 6-204 EE/CS
tedinski@cs.umn.edu
My blog "Generic language"
Twitter @tedinski
Facebook
Mailing address:
4-192 EE/CS Building
200 Union Street SE
Minneapolis, MN 55455
Useful links
About me
I am a fifth year PhD student studying programming languages under Eric Van Wyk. I am currently working on the extensible languages tool Silver. I'm interested in improving the design, implementation, and translation of attribute grammars, analyzing correctness of attribute grammar specifications, verifying semantic composability of language extensions, and generating tool support (IDEs, debuggers) for extended languages.
My thesis work focuses on guaranteeing the composition of language extension semantics into a working compiler.
I have also participated in a number of interdisciplinary projects involing climate science, chemical engineering, high-performance computing, and modeling in aerospace engineering.
Recent happenings
- Spring 2013
- Thesis proposal - completed!
- Fall 2012
- Presenting "Verifiable composition of language extensions" to the SLE 2012 Doctoral Symposium.
- Presenting "Modular well-definedness analysis for attribute grammars" at SLE 2012.
- Visiting CWI in Amsterdam for a day on Oct 2nd.
- Appointed Treasurer and COGS representative for CSGSA '12-'13
- Presenting "Modular well-definedness analysis for attribute grammars" at SLE 2012.
- Spring 2012
- Ran the first Silver Hackathon.
- Released Silver 0.3.5. (Now hosted by Google Code.)
- Fall 2011
- Will be at Midwest Verification Day 2011 (ssshh. It's secretly two days.)
- Served as the convener for the PL seminar reading group.
- Appointed Treasurer for the CSGSA '11-'12
- Served as the convener for the PL seminar reading group.
- Summer 2011
- Attended OPLSS again this summer.
- Attended GTTSE.
- Presented "Integrating attribute grammar and functional programming language features" at SLE 2011.
- Attended GTTSE.
- Spring 2011
- Released Silver 0.3.2.
- Entered Silver into the LDTA 2011 tool challenge at ETAPS.
- Fall 2010
- Released Silver 0.3.1.
Invited talk: "Language specification and extension using Silver." for Adventium Labs.
Gave a talk "Objects, data types, and language extension" to CSGSA's Grad Colloquium. - Summer 2010
- Elected Secretary of the CSGSA '10-'11
Attended OPLSS June 15-25
Competed in the ICFP programming contest on team "ooplss2010." We came in 62nd. - Spring 2010
- Co-Instructor: CSci 1113: C/C++ for Scientists and Engineers
- Fall 2009
- GAANN Fellow '09-'10
Participated in the PFF program - Summer 2009
- TA: CSci 1902: Structure of Computer Programming II
Elected President of the CS grad student association (CSGSA) '09-'10 - Spring 2009
- TA: CSci 4041: Algorithms & Data Structures
- Fall 2008
- TA: CSci 4041: Algorithms & Data Structures
TA: PubH 6000: e-Public Health