Joshua S. Auerbach

According to our database, Joshua S. Auerbach authored at least 37 papers between 1985 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

Prototyping a query compiler using Coq (experience report).

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proc. ACM Program. Lang., 2017

Q*cert: A Platform for Implementing and Verifying Query Compilers.

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler.

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

2015

Growing a Software Language for Hardware Design.

Joshua S. Auerbach, David F. Bacon, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2013

The Liquid Metal Blokus Duo Design.

Erik R. Altman, Joshua S. Auerbach, David F. Bacon, Ioana Baldini, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah

Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime.

Joshua S. Auerbach, David F. Bacon, Perry Cheng, Steve Fink, Rodric M. Rabbah

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

A compiler and runtime for heterogeneous computing.

Joshua S. Auerbach, David F. Bacon, Ioana Burcea, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language.

Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah, Sunil Shukla

Proceedings of the 48th Design Automation Conference, 2011

2010

Lime: a Java-compatible and synthesizable language for heterogeneous architectures.

Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

Low-latency time-portable real-time programming with Exotasks.

Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer

ACM Trans. Embed. Comput. Syst., 2009

PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice.

Jia Zou, Joshua S. Auerbach, David F. Bacon, Edward A. Lee

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

Avoiding unbounded priority inversion in barrier protocols using gang priority management.

Harald Röck, Joshua S. Auerbach, Christoph M. Kirsch, David F. Bacon

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

2008

Flexible task graphs: a unified restricted thread programming model for java.

Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

Tax-and-spend: democratic scheduling for real-time garbage collection.

Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

2007

The ExoVM system for automatic VM and application reduction.

Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Java takes flight: time-portable real-time programming with exotasks.

Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer

Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

Real-Time Music synthesis in Java using the Metronome Garbage Collector.

Joshua S. Auerbach, David F. Bacon, Florian Bömers, Perry Cheng

Proceedings of the 2007 International Computer Music Conference, 2007

Design and implementation of a comprehensive real-time java virtual machine.

Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006

Eventrons: a safe programming construct for high-frequency hard real-time applications.

Daniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

2005

PDS: a virtual execution environment for software deployment.

Bowen Alpern, Joshua S. Auerbach, Vasanth Bala, Thomas Frauenhofer, Todd W. Mummert, Michael Pigott

Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

2003

Multicast group membership management.

Joshua S. Auerbach, Madan Gopal, Marc A. Kaplan, Shay Kutten

IEEE/ACM Trans. Netw., 2003

Scalably Supporting Durable Subscriptions in a Publish/Subscribe System.

Sumeer Bhola, Yuanyuan Zhao, Joshua S. Auerbach

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002

Exactly-once Delivery in a Content-based Publish-Subscribe System.

Sumeer Bhola, Robert E. Strom, Saurabh Bagchi, Yuanyuan Zhao, Joshua S. Auerbach

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

The Optimistic Readers Transformation.

Robert E. Strom, Joshua S. Auerbach

Proceedings of the ECOOP 2001, 2001

2000

Exploiting IP Multicast in Content-Based Publish-Subscribe Systems.

Lukasz Opyrchal, Mark Astley, Joshua S. Auerbach, Guruduth Banavar, Robert E. Strom, Daniel C. Sturman

Proceedings of the Middleware 2000, 2000

1999

Mockingbird: Flexible Stub Compilation from Pairs of Declarations.

Joshua S. Auerbach, Charles Barton, Mark Chu-Carroll, Mukund Raghavachari

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

1995

Reusable Architecture for Embedding Rule-based Intelligence in Information Agents.

Benjamin N. Grosof, David W. Levine, Hoi Y. Chan, Colin Parris, Joshua S. Auerbach

Proceedings of the CIKM 1995 Intelligent Information Agents Workshop, 1995

1994

Concert/C: A Language for Distributed Programming.

Joshua S. Auerbach, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Josyula R. Rao, James R. Russell

Proceedings of the USENIX Winter 1994 Technical Conference, 1994

The Concert Signature Representation: IDL as Intermediate Language.

Joshua S. Auerbach, James R. Russell

Proceedings of the Workshop on Interface Definition Languages, 1994

Concert/C: Supporting Distributed Programming with Language Extensions and a Portable Multiprotocol Runtime.

Joshua S. Auerbach, Ajei S. Gopal, Mark T. Kennedy, James R. Russell

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

1992

High-level language support for programming distributed systems.

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

Proceedings of the ICCL'92, 1992

1991

Multicast group membership management in high speed wide area networks.

Joshua S. Auerbach, Madan Gopal, Marc A. Kaplan, Shay Kutten

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

High-level language support for programming distributed systems.

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

Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, 1991

1990

TACT: A Protocol Conversion Toolkit.

Joshua S. Auerbach

IEEE J. Sel. Areas Commun., 1990

1989

A Protocol Conversion Software Toolkit.

Joshua S. Auerbach

Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989

1986

File Request Transparency Between Heterogeneous Systems.

Joshua S. Auerbach

Proceedings of the IEEE International Conference on Communications: Integrating the World Through Communications, 1986

1985

Distributed Processing Involving Personal Computers and Mainframe Hosts.

Francis N. Parr, Joshua S. Auerbach, Barry C. Goldstein

IEEE J. Sel. Areas Commun., 1985