Joshua S. Auerbach

Publication Activity (10 Years)

Years Active: 1985-2017
Publications (10 Years): 3

Top Topics

Nested Relational

Aggregate Queries

Complex Queries

Top Venues

SIGMOD Conference

Proc. ACM Program. Lang.

Publications

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler. SIGMOD Conference (2017)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Q*cert: A Platform for Implementing and Verifying Query Compilers. SIGMOD Conference (2017)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Prototyping a query compiler using Coq (experience report). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla
Growing a Software Language for Hardware Design. SNAPL (2015)
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Steve Fink, Rodric M. Rabbah
The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime. ECOOP (2013)
Erik R. Altman, Joshua S. Auerbach, David F. Bacon, Ioana Baldini, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah
The Liquid Metal Blokus Duo Design. FPT (2013)
Joshua S. Auerbach, David F. Bacon, Ioana Burcea, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla
A compiler and runtime for heterogeneous computing. DAC (2012)
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah, Sunil Shukla
Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language. DAC (2011)
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah
Lime: a Java-compatible and synthesizable language for heterogeneous architectures. OOPSLA (2010)
Jia Zou, Joshua S. Auerbach, David F. Bacon, Edward A. Lee
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice. LCTES (2009)
Harald Röck, Joshua S. Auerbach, Christoph M. Kirsch, David F. Bacon
Avoiding unbounded priority inversion in barrier protocols using gang priority management. JTRES (2009)
Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer
Low-latency time-portable real-time programming with Exotasks. ACM Trans. Embed. Comput. Syst. 8 (2) (2009)
Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek
Flexible task graphs: a unified restricted thread programming model for java. LCTES (2008)
Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone
Tax-and-spend: democratic scheduling for real-time garbage collection. EMSOFT (2008)
Joshua S. Auerbach, David F. Bacon, Florian Bömers, Perry Cheng
Real-Time Music synthesis in Java using the Metronome Garbage Collector. ICMC (2007)
Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg
The ExoVM system for automatic VM and application reduction. PLDI (2007)
Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley
Design and implementation of a comprehensive real-time java virtual machine. EMSOFT (2007)
Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer
Java takes flight: time-portable real-time programming with exotasks. LCTES (2007)
Daniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove
Eventrons: a safe programming construct for high-frequency hard real-time applications. PLDI (2006)
Bowen Alpern, Joshua S. Auerbach, Vasanth Bala, Thomas Frauenhofer, Todd W. Mummert, Michael Pigott
PDS: a virtual execution environment for software deployment. VEE (2005)
Sumeer Bhola, Yuanyuan Zhao, Joshua S. Auerbach
Scalably Supporting Durable Subscriptions in a Publish/Subscribe System. DSN (2003)
Joshua S. Auerbach, Madan Gopal, Marc A. Kaplan, Shay Kutten
Multicast group membership management. IEEE/ACM Trans. Netw. 11 (1) (2003)
Sumeer Bhola, Robert E. Strom, Saurabh Bagchi, Yuanyuan Zhao, Joshua S. Auerbach
Exactly-once Delivery in a Content-based Publish-Subscribe System. DSN (2002)
Robert E. Strom, Joshua S. Auerbach
The Optimistic Readers Transformation. ECOOP (2001)
Lukasz Opyrchal, Mark Astley, Joshua S. Auerbach, Guruduth Banavar, Robert E. Strom, Daniel C. Sturman
Exploiting IP Multicast in Content-Based Publish-Subscribe Systems. Middleware (2000)
Joshua S. Auerbach, Charles Barton, Mark Chu-Carroll, Mukund Raghavachari
Mockingbird: Flexible Stub Compilation from Pairs of Declarations. ICDCS (1999)
Benjamin N. Grosof, David W. Levine, Hoi Y. Chan, Colin Parris, Joshua S. Auerbach
Reusable Architecture for Embedding Rule-based Intelligence in Information Agents. CIKM Information Agents Workshop (1995)
Joshua S. Auerbach, Ajei S. Gopal, Mark T. Kennedy, James R. Russell
Concert/C: Supporting Distributed Programming with Language Extensions and a Portable Multiprotocol Runtime. ICDCS (1994)
Joshua S. Auerbach, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Josyula R. Rao, James R. Russell
Concert/C: A Language for Distributed Programming. USENIX Winter (1994)
Joshua S. Auerbach, James R. Russell
The Concert Signature Representation: IDL as Intermediate Language. Workshop on Interface Definition Languages (1994)
Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini
High-level language support for programming distributed systems. ICCL (1992)
Joshua S. Auerbach, Madan Gopal, Marc A. Kaplan, Shay Kutten
Multicast group membership management in high speed wide area networks. ICDCS (1991)
Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini
High-level language support for programming distributed systems. CASCON (1991)
Joshua S. Auerbach
TACT: A Protocol Conversion Toolkit. IEEE J. Sel. Areas Commun. 8 (1) (1990)
Joshua S. Auerbach
A Protocol Conversion Software Toolkit. SIGCOMM (1989)
Joshua S. Auerbach
File Request Transparency Between Heterogeneous Systems. ICC (1986)
Francis N. Parr, Joshua S. Auerbach, Barry C. Goldstein
Distributed Processing Involving Personal Computers and Mainframe Hosts. IEEE J. Sel. Areas Commun. 3 (3) (1985)