Rishiyur S. Nikhil is co-founder and CTO of Bluespec, Inc., which develops tools that dramatically improve correctness, productivity, reuse and maintainability in ...
Journal special issues of selected papers from PEPM meetings Special issue of Higher-Order and Symbolic Computation for PEPM'10 Special issue of Higher-Order and ...
PEPM 2012 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Best Paper Award Local Information Venue Registration ...
Journal special issues of selected papers from PEPM meetings Special issue of Higher-Order and Symbolic Computation for PEPM'12, forthcoming Special issue of Higher ...
PEPM 2013 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Best Paper Award Program Local Information ...
Journal special issues of selected papers from PEPM meetings Special issue of Higher-Order and Symbolic Computation for PEPM'12, forthcoming Special issue of Higher ...
PEPM 2014 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Best Paper Award Program Local Information ...
Conferences / Workshops / Journals / Special Issues devoted to DomainSpecificLanguages. (Listed in reverse chronological ordering of the submission date) Workshop ...
Journals with an interest in ProgramTransformation ACM AppliedComputingReview ACM Transactions on Programming Languages and Systems ( ACM Transactions on Software ...