Search results for "side-effects"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Stephan Herhut, Sven-Bodo Scholz, Clemens Grelck	Controlling chaos: on safe side-effects in data-parallel operations.	DAMP	2009	DBLP DOI BibTeX RDF	concurrent side-effects, non-determinism, functional programming languages
57	Shawn Outman	Identifying task-level parallelism by functional transformation with side-effect domains.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	static optimization, parallel programming, side effects
49	Jon D. Duke, Anthony Faiola, Hadi Kharrazi	A Novel Visualization Tool for Evaluating Medication Side-Effects in Multi-drug Regimens.	HCI (4)	2009	DBLP DOI BibTeX RDF	adverse reactions, information visualization, medical informatics, medications, side-effects
49	Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon	XML query optimization in the presence of side effects.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	optimization, xquery, xml, updates, algebra, side-effects
49	Carlo Curino, Yuanyuan Jia, Bruce Lambert, Patricia M. West, Clement T. Yu	Mining officially unrecognized side effects of drugs by combining web search and machine learning.	CIKM	2005	DBLP DOI BibTeX RDF	accurate retrieval, mining side effects of drugs, machine learning, precision
49	K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou	Using Data Groups to Specify and Check Side Effects.	PLDI	2002	DBLP DOI BibTeX RDF	alias confinement, data groups, frame conditions, modifies lists, modular soundness, owner exclusion, pivot uniqueness, verification, side effects
47	David von Oheimb, Tobias Nipkow	Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited.	FME	2002	DBLP DOI BibTeX RDF	Java, Hoare logic, side effects, dynamic binding, Isabelle/HOL, auxiliary variables
45	Don Ihde	Technology and prognostic predicaments.	AI Soc.	1999	DBLP DOI BibTeX RDF	Assessment, Ethics, Side effects, Research and development, Prognosis
44	Nahid Shahmehri, Peter Fritzson	Algorithmic Debugging for Imperative Languages with Side-Effects (Abstract).	CC	1990	DBLP DOI BibTeX RDF
43	Tachio Terauchi, Alexander Aiken	Witnessing side-effects.	ICFP	2005	DBLP DOI BibTeX RDF	functional languages, side-effects
41	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Shifting the stage: staging with delimited control.	PEPM	2009	DBLP DOI BibTeX RDF	delimited control, multilevel languages, mutable state, staged programming, code generation, continuations, side effects
40	Zhiyi Huang 0001, Chengzheng Sun, Abdul Sattar 0001	Selective Recomputation for Handling Side-Effects in Parallel Logic Programs.	PLILP	1997	DBLP DOI BibTeX RDF	OR-forest, Parallel Processing, Logic Programming, Side-effect, OR-parallelism, AND-parallelism
38	Jon G. Riecke, Ramesh Viswanathan	Isolating Side Effects in Sequential Languages.	POPL	1995	DBLP DOI BibTeX RDF	Standard ML
37	John M. Lucassen, David K. Gifford	Polymorphic Effect Systems.	POPL	1988	DBLP DOI BibTeX RDF
37	Tachio Terauchi, Alex Aiken	Witnessing side effects.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Mutable state, side effects
37	Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang	Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.	ISSTA	1998	DBLP DOI BibTeX RDF	interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity
36	Peiyi Tang	Exact Side Effects for Interprocedural Dependence Analysis.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF
35	Edward H. Bensley, Thomas J. Brando, J. C. Fohlin, Myra Jean Prelle, Ann Wollrath	MITRE's future generation computer architectures program.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Flemming Nielson, Hanne Riis Nielson	Type and Effect Systems.	Correct System Design	1999	DBLP DOI BibTeX RDF	Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness
33	Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa	Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects.	PEPM	1997	DBLP DOI BibTeX RDF
32	Ho-Leung Chan, Jeff Edmonds, Kirk Pruhs	Speed scaling of processes with arbitrary speedup curves on a multiprocessor.	SPAA	2009	DBLP DOI BibTeX RDF	scheduling, speed scaling
32	Yi-Hung Wu, Chia-Ming Chiang, Arbee L. P. Chen	Hiding Sensitive Association Rules with Limited Side Effects.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	rule hiding, data mining, Association rules, mining methods and algorithms
32	Takao Tenma, Yasuomi Sato, Yasuhiko Morimoto, Minoru Tanaka, Tadao Ichikawa	A Modification Support System - Automatic Correction of Side-Effects Caused by Type Modifications.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
31	Albert Tannous, Jonathan T. Trostle, Mohamed Hassan, Stephen E. McLaughlin, Trent Jaeger	New Side Channels Targeted at Passwords.	ACSAC	2008	DBLP DOI BibTeX RDF
31	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan	Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.	MERLIN	2003	DBLP DOI BibTeX RDF	logical foundations of programming, object-based calculi with side-effects, program and system verification, logical frameworks, interactive theorem proving
31	Rainer Leupers, Peter Marwedel	Time-constrained code compaction for DSPs.	ISSS	1995	DBLP DOI BibTeX RDF	code generation techniques, digital signal processing algorithms, encoding restrictions, exact timing behavior, hard real-time constraints, integer programming model, local code compaction, programmable DSP, rigid heuristics, time-constrained code compaction, real-time systems, timing, integer programming, instruction-level parallelism, source coding, automatic programming, digital signal processing chips, side-effects
31	Pierre David	Semantic Analysis for Parallelizing C.	CONPAR	1992	DBLP DOI BibTeX RDF	compilation, types, automatic parallelization, pointers, C language, side effects
30	José Javier Dolado, Mark Harman, Mari Carmen Otero, Lin Hu 0005	An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Side-effect-free programs, crossover designs, program comprehension
29	Jong-Deok Choi, Michael G. Burke, Paul R. Carini	Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects.	POPL	1993	DBLP DOI BibTeX RDF
28	Adrian Lienhard, Tudor Gîrba, Orla Greevy, Oscar Nierstrasz	Test Blueprint - Exposing Side Effects in Execution Traces to Support Writing Unit Tests.	CSMR	2008	DBLP DOI BibTeX RDF
28	Mark Harman, Malcolm Munro, Lin Hu 0005, Xingyuan Zhang	Side-Effect Removal Transformation.	IWPC	2001	DBLP DOI BibTeX RDF
27	Atanas Rountev	Precise Identification of Side-Effect-Free Methods in Java.	ICSM	2004	DBLP DOI BibTeX RDF
25	Christoph von Praun, Florian T. Schneider, Thomas R. Gross	Load Elimination in the Presence of Side Effects, Concurrency and Precise Exceptions.	LCPC	2003	DBLP DOI BibTeX RDF
25	Ole Hanseth, Claudio U. Ciborra, Kristin Braa	The control devolution: ERP and the side effects of globalization.	Data Base	2001	DBLP DOI BibTeX RDF	Enterprise Resourse Planning, Control, Globalization
25	Paul E. Black, Phillip J. Windley	Formal Verification of Secure Programs in the Presence of Side Effects.	HICSS (3)	1998	DBLP DOI BibTeX RDF
25	Md. Imtiaz Hasan, Mehjabin Hossain, Md. Nazmul Hossain, Kawser Irom Rushee	Possible Side Effects after Getting COVID-19 Vaccine Based on Pre-Existing Disease: Asthma: Analysis of Side Effects after using Moderna, Pfizer and Janssen Vaccine Based on VAERS Dataset.	ICCA	2022	DBLP DOI BibTeX RDF
24	Sebastian Fischer 0001, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy non-deterministic programming.	ICFP	2009	DBLP DOI BibTeX RDF	call-time choice, continuations, monads, side effects
24	Haiying Xu, Christopher J. F. Pickett, Clark Verbrugge	Dynamic purity analysis for java programs.	PASTE	2007	DBLP DOI BibTeX RDF	purity, Java, software metrics, dynamic analysis, memoization, side effects, escape analysis
24	Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst	Tools for enforcing and inferring reference immutability in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, side effects, readonly, immutability, mutable
24	Sihem Amer-Yahia, Sophie Cluet	A declarative approach to optimize bulk loading into databases.	ACM Trans. Database Syst.	2004	DBLP DOI BibTeX RDF	Declarative bulk loading, recovery, algebra, side-effects
24	Mark Harman, Lin Hu 0005, Malcolm Munro, Xingyuan Zhang	GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation.	WCRE	2001	DBLP DOI BibTeX RDF	Amorphous Slicing, Transformation, Side Effects, Coq Proof Assistant
23	Mark Harman, Lin Hu 0005, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener	A Post-Placement Side-Effect Removal Algorithm.	ICSM	2002	DBLP DOI BibTeX RDF
23	Giorgio Ghelli, Christopher Ré, Jérôme Siméon	XQuery!: An XML Query Language with Side Effects.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
21	Carine Simon, Sergi Ventosa, Martin Schimmel, Alexander Heldring, Juan José Dañobeitia, Josep Gallart, Antoni Mánuel	The S-Transform and Its Inverses: Side Effects of Discretizing and Filtering.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
21	Gao Cong, Wenfei Fan, Floris Geerts	Annotation propagation revisited for key preserving views.	CIKM	2006	DBLP DOI BibTeX RDF	annotations, provenance, view updates
20	Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Z. Altucher	A schema for interprocedural modification side-effect analysis with pointer aliasing.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF
20	Kenichi Asai	Integrating Partial Evaluators into Interpreters.	SAIG	2001	DBLP DOI BibTeX RDF
20	Jiandong Lu, Guo Chen, Xiaolei Wang, Yuqiang Feng	Bright-side and Dark-side Effects of Gamification on Consumers' Adoption of Gamified Recommendation.	PACIS	2022	DBLP BibTeX RDF
20	Sejoon Lee, Kwang H. Lee, Min Song 0001, Doheon Lee	Building the process-drug-side effect network to discover the relationship between biological Processes and side effects.	BMC Bioinform.	2011	DBLP DOI BibTeX RDF
19	Naveen Neelakantam, David R. Ditzel, Craig B. Zilles	A real system evaluation of hardware atomicity for software speculation.	ASPLOS	2010	DBLP DOI BibTeX RDF	optimization, checkpoint, atomicity, speculation, dynamic translation
19	Alexandru Baltag, Sonja Smets	A Dynamic-Logical Perspective on Quantum Behavior.	Stud Logica	2008	DBLP DOI BibTeX RDF	Dynamic Quantum Logic, Philosophy of Quantum Information, Logical Dynamics, Dynamic Epistemic Logic
19	Bom Soo Kim, Young Dae Kim, Chan Kyou Hwang, Jae-Hyoung Yoo	A Mechanism of KEDB-Centric Fault Management to Optimize the Realization of ITIL Based ITSM.	APNOMS	2007	DBLP DOI BibTeX RDF	ITSM, KEDB, Change Management, Fault Management, ITIL, Incident Management, Service Support, Problem Management
19	Alexander Egyed	Fixing Inconsistencies in UML Design Models.	ICSE	2007	DBLP DOI BibTeX RDF
19	Hideki Ando, Chikako Nakanishi, Tetsuya Hara, Masao Nakaya	Unconstrained Speculative Execution with Predicated State Buffering.	ISCA	1995	DBLP DOI BibTeX RDF	MIPS R3000
19	José Félix Costa, Amílcar Sernadas, Cristina Sernadas	Data Encapsulation and Modularity: Three Views of Inheritance.	MFCS	1993	DBLP DOI BibTeX RDF
19	Eric T. Freeman, Daniel P. Friedman	Characterizing the Paralation Model using Dynamic Assignment.	PARLE	1992	DBLP DOI BibTeX RDF
19	Jan Hidders, Jacek Sroka	Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF
19	Yu Chen 0005, Lars Henning Pedersen, Wesley W. Chu, Jorn Olsen	Drug exposure side effects from mining pregnancy data.	SIGKDD Explor.	2007	DBLP DOI BibTeX RDF	epidemiology data analysis, side effect of drug exposure, association rule mining
19	Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon	A Better Semantics for XQuery with Side-Effects.	DBPL	2007	DBLP DOI BibTeX RDF
19	Bjorn De Sutter, Hans Vandierendonck, Bruno De Bus, Koenraad De Bosschere	On the side-effects of code abstraction.	LCTES	2003	DBLP DOI BibTeX RDF	code abstraction, performance, code compaction
19	Oksana Tkachuk, Matthew B. Dwyer	Adapting side effects analysis for modular program model checking.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	modular flow analysis, model checking, assume-guarantee
19	Ioana Singureanu	Clinical Trial Automation: New, Revolutionary Therapies and Fewer Side-Effects using Mobile Internet Technologies.	WETICE	2001	DBLP DOI BibTeX RDF	Pharmaceutical, Food and Drug Administration, Internet, WAP, Clinical Trial, Therapy
19	Merlin Hughes, P. David Stotts	Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects.	ISSTA	1996	DBLP DOI BibTeX RDF
19	Paul Havlak, Ken Kennedy	Experience with interprocedural analysis of array side effects.	SC	1990	DBLP DOI BibTeX RDF	LINPACK
19	Görel Hedin	Incremental Attribute Evaluation with Side-effects.	CC	1988	DBLP DOI BibTeX RDF
19	Hans-Juergen Boehm	Side Effects and Aliasing Can Have Simple Axiomatic Descriptions.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
18	Jonathan Edwards	Coherent reaction.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bidirectional functions, synchronous reactive programming, trees, interactive systems, reactive systems, functional reactive programming
18	Vitoantonio Bevilacqua, Paolo Pannarale, Giuseppe Mastronardi, Amalia Azzariti, Stefania Tommasi, Filippo Menolascina, Francesco Iorio, Diego di Bernardo, Angelo Paradiso, Nicola A. Colabufo, Francesco Berardi, Roberto Perrone, Roberto Tagliaferri	High-Throughput Analysis of the Drug Mode of Action of PB28, MC18 and MC70, Three Cyclohexylpiperazine Derivative New Molecules.	ICIC (2)	2008	DBLP DOI BibTeX RDF
18	Gary Lindstrom	Functional Programming and the Logical Variable.	POPL	1985	DBLP DOI BibTeX RDF
17	Henner Gimpel, Fabian Schmied	Risks and Side effects of Digitalization: a Multi-Level Taxonomy of the Adverse effects of using Digital Technologies and Media.	ECIS	2019	DBLP BibTeX RDF
17	Neele Engelmann, Michael R. Waldmann	Moral Reasoning with Multiple Effects: Justification and Moral Responsibility for Side Effects.	CogSci	2019	DBLP BibTeX RDF
17	Amir Moradi 0002, Elisabeth Paulet	A causal loop analysis of the austerity policy adopted to address the Euro crisis - effects and side effects.	Int. J. Appl. Decis. Sci.	2015	DBLP DOI BibTeX RDF
17	Justin Klekota, Erik Brauner, Frederick P. Roth, Stuart L. Schreiber	Using High-Throughput Screening Data To Discriminate Compounds with Single-Target Effects from Those with Side Effects.	J. Chem. Inf. Model.	2006	DBLP DOI BibTeX RDF
17	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Closing the stage: from staged code to typed closures.	PEPM	2008	DBLP DOI BibTeX RDF	multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism
16	George W. Ernst, Raymond J. Hookway, William F. Ogden	Modular Verification of Data Abstractions with Shared Realizations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	shared realizations, realization level data structure, abstract specification, data structures, semantics, program verification, specification languages, data abstractions, quantification, modular verification, modular specification
15	Anthony Danalis, Lori L. Pollock, D. Martin Swany, John Cavazos	MPI-aware compiler optimizations for improving communication-computation overlap.	ICS	2009	DBLP DOI BibTeX RDF	mpi-aware compiler optimizations, data flow analysis, communication-computation overlap
15	Erik Meijer 0001	Fundamentalist functional programming.	GPCE	2008	DBLP DOI BibTeX RDF	pure functional programming, concurrency, monads, lazy evaluation, linq
15	Chun-Ting Chou, Kang G. Shin	Smooth handoff with enhanced packet buffering-and-forwarding in wireless/mobile networks.	Wirel. Networks	2007	DBLP DOI BibTeX RDF	Smooth handoff, MobileIP, TCP congestion control
15	Gérard Boudol	Fair Cooperative Multithreading.	CONCUR	2007	DBLP DOI BibTeX RDF
15	Chun-Ting Chou, Kang G. Shin	Smooth Handoff with Enhanced Packet Buffering-and-Forwarding in Wireless/Mobile Networks.	QSHINE	2005	DBLP DOI BibTeX RDF	Smooth handoff, MobileIP, fast retransmit, TCP congestion control, retransmission timeout
15	William Landi, Barbara G. Ryder, Sean Zhang	Interprocedural Side Effect Analysis With Pointer Aliasing.	PLDI	1993	DBLP DOI BibTeX RDF	C
15	John H. Williams, Edward L. Wimmers	Sacrificing Simplicity for Convenience: Where Do You Draw the Line?	POPL	1988	DBLP DOI BibTeX RDF	FP
14	Erich Christian Teppan, Alexander Felfernig	Calculating Decoy Items in Utility-Based Recommendation.	IEA/AIE	2009	DBLP DOI BibTeX RDF
14	Lory D. Molesky, Krithi Ramamritham	Recovery Protocols for Shared Memory Database Systems.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF
14	M. Lynne Markus	Finding a Happy Medium: Explaining the Negative Effects of Electronic Communication on Social Life at Work.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	depersonalization, etiquette, social distance, electronic mail, politics, connectedness
14	Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo	Designing aspects for side-effect localization.	PEPM	2009	DBLP DOI BibTeX RDF	lazy semantics, aspect-oriented programming, side-effect
14	Byron Choi, Gao Cong, Wenfei Fan, Stratis Viglas	Updating Recursive XML Views of Relations.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	XML, view update, XML views, XML publishing
14	Shan Lu 0001, Pin Zhou, Wei Liu 0014, Yuanyuan Zhou 0001, Josep Torrellas	PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection.	MICRO	2006	DBLP DOI BibTeX RDF
14	Shyue-Liang Wang, Ayat Jafari	Using unknowns for hiding sensitive predictive association rules.	IRI	2005	DBLP DOI BibTeX RDF
14	Eva-Martin Mueckstein	Controlled natural language interfaces (extended abstract): the best of three worlds.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
13	Islam Qudah, Peter Leijdekkers, Valérie Gay	Using mobile phones to improve medication compliance and awareness for cardiac patients.	PETRA	2010	DBLP DOI BibTeX RDF	ambulatory monitoring, cardiac rehabilitation, medication compliance, tele-monitoring
13	Renran Tian, Vincent G. Duffy, Carol Birk, Steve R. Abel, Kyle Hultgren	The Performance of BCMA-Aided Healthcare Service: Implementation Factors and Results.	HCI (11)	2009	DBLP DOI BibTeX RDF	BCMA, New Technology Acceptance, Healthcare, Medication Error
13	Shyue-Liang Wang, Ting-Zheng Lai, Tzung-Pei Hong, Yu-Lung Wu	Hiding Predictive Association Rules on Horizontally Distributed Data.	IEA/AIE	2009	DBLP DOI BibTeX RDF	horizontally distributed, data mining, association rule, Privacy preserving, collaborative recommendation
13	Éric Tanter	Contextual values.	DLS	2008	DBLP DOI BibTeX RDF
13	Dionisio de Niz	Architectural Concurrency Equivalence with Chaotic Models.	MOMPES	2008	DBLP DOI BibTeX RDF
13	Ashraf Armoush, Falk Salewski, Stefan Kowalewski	Effective Pattern Representation for Safety Critical Embedded Systems.	CSSE (4)	2008	DBLP DOI BibTeX RDF
13	Mark Crowley 0001, Brent Boerlage, David Poole 0001	Adding Local Constraints to Bayesian Networks.	Canadian AI	2007	DBLP DOI BibTeX RDF	chain graphs, complementary priors, Bayesian networks, constraints, graphical models, mixed networks, Bayesian modelling
13	Prasun Dewan, Henry McEuen	Active notifications.	CollaborateCom	2007	DBLP DOI BibTeX RDF
13	Janardhan R. Iyengar, Paul D. Amer, Randall R. Stewart	Concurrent multipath transfer using SCTP multihoming over independent end-to-end paths.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	load balancing, multipath, SCTP, load sharing, transport layer, end-to-end
13	Chris Barker, Chung-chieh Shan	Types as Graphs: Continuations in Type Logical Grammar.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	type-logical grammar, resource sensitivity, polarity licensing, superiority, evaluation order, continuations, binding, quantification, staging, delimited continuations