
SketchGen: Generating Constrained CAD Sketches
Computeraided design (CAD) is the most widely used modeling approach fo...
read it

Retrofitting Effect Handlers onto OCaml
Effect handlers have been gathering momentum as a mechanism for modular ...
read it

Generative Layout Modeling using Constraint Graphs
We propose a new generative model for layout generation. We generate lay...
read it

Retrofitting Parallelism onto OCaml
OCaml is an industrialstrength, multiparadigm programming language, wi...
read it

A local epsilon version of Reed's Conjecture
In 1998, Reed conjectured that every graph G satisfies χ(G) ≤1/2(Δ(G) + ...
read it

On the density of critical graphs with no large cliques
A graph G is kcritical if χ(G) = k and every proper subgraph of G is (k...
read it

Fractional coloring with local demands
We investigate fractional colorings of graphs in which the amount of col...
read it

Simplifying Urban Data Fusion with BigSUR
Our ability to understand data has always lagged behind our ability to c...
read it

FrankenGAN: Guided Detail Synthesis for Building MassModels Using StyleSynchonized GANs
Coarse building mass models are now routinely generated at scales rangin...
read it

Induced 2degenerate Subgraphs of Trianglefree Planar Graphs
A graph is kdegenerate if every subgraph has minimum degree at most k. ...
read it
Tom Kelly
is this you? claim profile