Skip to main content
Theoretical Computer Science
James Koppel's user avatar
James Koppel's user avatar
James Koppel's user avatar
James Koppel
  • Member for 12 years, 6 months
  • Last seen more than 1 year ago
Profile Activity
Stats
455
reputation
2k
reached
3
answers
5
questions
Communities
View all
About

I'm a Ph. D. candidate in programming languages at MIT, where I work on making program transformation and synthesis tools easier to build and more general ("programs that write programs that write programs"). I also teach software engineers how to be better at software design ( www.jameskoppelcoaching.com ) and blog about how to write better code ( www.pathsensitive.com ).

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
9
bronze badges
Top tags
View all tags
10
Score
4
Posts
50
Posts %
9
Score
1
Posts
12
Posts %
8
Score
1
Posts
12
Posts %
8
Score
1
Posts
12
Posts %
8
Score
1
Posts
12
Posts %
2
Score
4
Posts
50
Posts %
Top posts
answer
9
Getting started with Program Synthesis
Jul 3, 2013
answer
8
Is it possible to compute whether two functions are extensional equal?
Oct 31, 2012
question
6
Is every well-founded simplification order a well-partial order?
Aug 24, 2016
question
6
Graph rewriting with one-to-many pattern matching?
Jun 19, 2017
question
5
Is there a notion of "inevitable reduction?"
Apr 16, 2019
question
5
Partial soundness proofs for pragmatic static analyses
Nov 25, 2012
answer
2
Graph rewriting with one-to-many pattern matching?
Jun 30, 2018
question
0
Establishing causality under conditions of certainty
Mar 20, 2015
Top network posts
View all network posts
29
Prevent simultaneous deploys with Ansible
21
Physical/pictoral interpretation of higher-order moments
19
Why do nested MaybeT's cause exponential allocation
16
Profiling Template Haskell
15
GADT's failed exhaustiveness checking