Robby Findler - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged meta programming

Random testing for higher-order, stateful programsCasey Klein, Matthew Flatt, Robby Findler. OOPSLA 2010: 555-566 [doi]

Operational semantics for multi-language programsJacob Matthews, Robby Findler. TOPLAS, 31(3), 2009. [doi]

Randomized Testing in PLT RedexCasey Klein, Robby Findler. In Workshop on Scheme and Functional Programming (SFP). 2009:

Semantics Engineering with PLT RedexMatthias Felleisen, Robby Findler, Matthew Flatt. MIT Press, 2009.

Efficient algorithms for constructing broadcast disks programs in asymmetric communication environmentsEleftherios Tiakas, Stefanos Ougiaroglou, Petros Nicopolitidis. telsys, 41(3):185-209, 2009. [doi]

A Program Suite for Distributed Simulation of Networks in Multi-core EnvironmentsLukasz Chrost, Agnieszka Brachman, Andrzej Chydzinski. icn 2009: 6-11 [doi]

Comparison of the effects of professional and pedagogical program development environments on novice programmersDieter Vogts, André P. Calitz, Jéan H. Greyling. saicsit 2008: 286-95 [doi]

Operational semantics for multi-language programsJacob Matthews, Robby Findler. POPL 2007: 3-10 [doi]

A Rewriting Semantics for Type InferenceGeorge Kuan, David MacQueen, Robby Findler. ESOP 2007: 426-440 [doi]

Adding delimited and composable control to a production programming environmentMatthew Flatt, Gang Yu, Robby Findler, Matthias Felleisen. ICFP 2007: 165-176 [doi]

Efficient broadcast disks program construction in asymmetric communication environmentsEletherios Tiakas, Stefanos Ougiaroglou, Petros Nicopolitidis. mswim 2007: 279-283 [doi]

A mathematical programming-based scheduling framework for multitasking environmentsShakib Shakeri, Rasaratnam Logendran. eor, 176(1):193-209, 2007. [doi]

A Visual Environment for Developing Context-Sensitive Term Rewriting SystemsJacob Matthews, Robby Findler, Matthew Flatt, Matthias Felleisen. RTA 2004: 301-311 [doi]

SpatialAgents: integrating user mobility and program mobility in ubiquitous computing environmentsIchiro Satoh. wicomm, 3(4):411-423, 2003. [doi]

A Three-Dimensional Visualization of Communications in Distributed Program EnvironmentsMariko Sasakura, Susumu Yamasaki. IV 2003: 132-137 [doi]

Programmable Agent Perception in Intelligent Virtual EnvironmentsSpyros Vosinakis, Themis Panayiotopoulos. iva 2003: 202-206 [doi]

On Programming Models for MobilityGérard Boudol. ictcs 2003: 22 [doi]

DrScheme: a programming environment for SchemeRobby Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen. JFP, 12(2):159-182, 2002.

MAGE: A Distributed Programming ModelEarl Barr, Raju Pandey, Michael Haungs. icdcs 2001: 303-312 [doi]

Programming High Performance Applications in Grid EnvironmentsDomenico Laforenza. pvm 2001: 8-9 [doi]

Applying the Distributed Programming Paradigm to Improve Scalability in Multi-user EnvironmentsErich R. Schmidt, Cristian Tapus, Daniel M. Zimmerman. ECOOPW 1999: 91-92

A cost-effective programmable environment for developing environmental decision support systemsR. Paggio, Genadi Agre, Christo Dichev, Gábor Umann, T. Rozman, L. Batachia, M. Stocchero. envsoft, 14(5):367-382, 1999.

SMLib: A Toolkit for Shared Memory Programming in Heterogeneous EnvironmentsHong H. Ong, Paul S. Wang. pdpta 1999: 2055-2058

Modular Object-Oriented Programming with Units and MixinsRobby Findler, Matthew Flatt. ICFP 1998: 94-104 [doi]

DrScheme: A Pedagogic Programming Environment for SchemeRobby Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen. plilp 1997: 369-388

Visual Environments for Designing Sequence Control Program with AI PlanningYasuo Namioka, Hiroyuki Mizutani. vl 1997: 434-441

Specifying QoS for Multimedia Communications within Distributed Programming EnvironmentsDan G. Waddington, Geoff Coulson, David Hutchison. cost 1996: 75-103

A Semantic Model of Program FaultsA. Jefferson Offutt, Jane Huffman Hayes. ISSTA 1996: 195-200 [doi]

The Oz Programming ModelGert Smolka. jelia 1996: 251

Programming Environments for Cellular AutomataThomas Worsch. acri 1997: 3-12

META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis SystemsMichael R. Lowry, Jeffrey Van Baalen. jckbse 1995: 2-10

Hypermedia Environments for Learning to ProgramTom Boyle, Martyn Davies. mhvr 1996: 216-229

The CRAFT Fortran Programming ModelDouglas M. Pase, Tom MacDonald, Andrew Meltzer. sp, 3(3):227-253, 1994. [doi]

LINDA and PVM: A Comparison Between Two Environments for Parallel ProgrammingAlfonso Matrone, Pasquale Schiano, Vittorio Puoti. pc, 19(8):949-957, 1993.

Programming Environments for Parallel Computing, Proceedings of the IFIP WG 10.3 Workshop on Programming Environments for Parallel Computing, Edinburgh, Scotland, 6-8 April, 1992Nigel P. Topham, Roland N. Ibbett, Thomas Bemmerl, editors, Volume A-11 of IFIP Transactions, North-Holland, 1992.

Visual Tools for Generating Iconic Programming EnvironmentsDavid W. McIntyre, Ephraim P. Glinert. vl 1992: 162-168 [doi]

Programming Environments for High-Level Scientific Problem Solving, Proceedings of the IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving, Karlsruhe, Germany, 23-27 September, 1991P. W. Gaffney, Elias N. Houstis, editors, Volume A-2 of IFIP Transactions, North-Holland, 1992.

ALADIN: A Scanner Generator for Incremental Programming EnvironmentsBernd Fischer, Carsten Hammer, Werner Struckmann. SPE, 22(11):1011-1025, 1992.

The RP3 program visualization environmentDouglas N. Kimelman, Ton A. Ngo. ibmrd, 35(5):635-652, 1991.

A Program Understanding Support EnvironmentLinore Cleveland. IBMSJ, 28(2):324-344, 1989.

Launching a Successful CPME Program In a Multi-Vendor EnvironmentRoger G. Ruckert, John D. Dean. sigops, 21(1):39-48, 1987.

Advanced Programming Environments, Proceedings of an International Workshop, Trondheim, Norway, June 16-18, 1986Reidar Conradi, Tor Didriksen, Dag H. Wanvik, editors, Volume 244 of Lecture Notes in Computer Science, Springer, 1986.

Towards Monolingual Programming EnvironmentsJan Heering, Paul Klint. TOPLAS, 7(2):183-213, 1985. [doi]

Structural Dimensions of Small Programming EnvironmentsGordon Lyon. SPE, 15(1):105-117, 1985.

The importance of Ada programming support environmentsThomas A. Standish. afips 1982: 333-339 [doi]

Transfer of Programs from Development to Runtime EnvironmentsDan Strömberg, Peter Fritzson. bit, 20(4):434-442, 1980.

Modifications of the Program Scheme ModelElaine J. Weyuker. jcss, 18(3):281-293, 1979.

Program Restructuring Algorithms for Global LRU EnvironmentsDomenico Ferrari, Makoto Kobayashi. icsym 1977: 277-283

A Decomposable Model of Program Paging BehaviourPierre-Jacques Courtois, Hendrik Vantilborgh. ACTA, 6:251-275, 1976.

Tailoring Programs to Models of Program BehaviorDomenico Ferrari. ibmrd, 19(3):244-251, 1975.

runs on WebDSL