Joshua S. Auerbach

37 papers A* 5A 9B 4Misc 2Journal 5Unranked 12

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