science |
jonathan bachrach |
|
ALA and snap 2010 |
a new paradigm of computing which combines Petri nets, cellular automata (CA), and logic and a language for constructing ALA circuits combining both dataflow and layout. | |
3d jigsawer 2010 |
automatic creation of 3d jigsaw puzzles of arbitrary 3d shapes. | |
plate 2009 |
end to end workflow for making furniture composed of plates at right angles from each other. | |
paneler 2009 |
workflow for breaking a triangulated 3d mesh into n flat panels that when connected reconstruct the original 3d shape. | |
slicer 2009 |
workflow for slicing 3d solids into parts that reconstruct original. | |
dna toy 2009 |
the puzzle chain construction kit for the genetic age. | |
digital folding 2008-2011 |
workflow for automatic formation of irregular 3d objects using a folding mechanical protein consisting of space filling polyhedra. | |
protoswarm 2007 |
a robust and scalable language for programming robot swarms. | |
fast self healing gradients 2007 |
a self-healing gradient algorithm that provably reconfigures in O(diameter) time. | |
continuous time semantics 2007 |
continuous time semantics allowing self-scaling across computers with different communication and execution rates. | |
building spatial computers 2007 |
an approach to Spatial Computing where the application programmer controls a single spatial computer which fills the space through which the devices are scattered. |
|
programming snets as amorphous mediums 2006 |
programming sensor networks with a continuous spatial abstraction. | |
proto 2006 |
a new high level language for space-time programming of amorphous substrates. | |
simultaneous calibration and tracking 2004-2006 |
tracking a target in a sensor network while simultaneously localizing and calibrating the nodes of the sensor network. | |
localization chapter 2004 |
overview of position estimation for sensor networks. | |
gooze 2004 |
a modular stream processing language for audio and video. Combines offline and online/interactive computing. | |
coordinate formation in sensor networks 2002-2003 |
a demonstration that it is possible to achieve accurate localization and tracking of a target in a randomly placed wireless sensor network composed of inexpensive components of limited accuracy. | |
alien goo 2003 |
an ultra simple C language interface and embedding facility for dynamic languages like goo. | |
simple and efficient subclass tests 2002 |
a new subclass test encoding, called the Packed Vector Encoding (PVE), that is fast, simple and requires average case O(n log n) space. | |
preproto 2000-2001 |
a new type-based prefix syntaxed language that is meant to be simple, powerful and extensible. | |
design and imp of OODLs 2001 |
a course covering implementation techniques for advanced object-oriented dynamic languages (OODL). | |
efficient dispatch for dylan 2000 |
an investigation into predicate dispatch, its efficient general implementation, and results in using these techniques for implementing the Dylan programming language's method dispatch mechanism. | |
dylan procedural macros 1999 |
a demonstration that it is possible for a language with a rich, conventional syntax to provide Lisp-style macro power and simplicity. | |
partial dispatch 1999 |
optimizing dynamically-dispatched multimethod calls with compile-time types and tuntime feedback. |