BibSLEIGH — program stem

Used together with:

logic (1487)
analysi (691)
use (620)
languag (581)
base (510)

Stem program$ (all stems)

7534 papers:

CBSE-2015-RuchkinSG #abstraction #architecture #hybrid #source code: Architectural Abstractions for Hybrid Programs (IR, BRS, DG), pp. 65–74.
CASE-2015-AlfonsoXA #approach #capacity #programming #representation #scheduling: A simulation-optimization approach for capacity planning and appointment scheduling of blood donors based on mathematical programming representation of event dynamics (EA, XX, VA), pp. 728–733.
CASE-2015-BlanchiniFGP #programming: Inverse kinematics by means of convex programming: Some developments (FB, GF, GG, FAP), pp. 515–520.
CASE-2015-ClevelandTDPKDB #automation #programming #recognition #segmentation #semantics: An automated system for semantic object labeling with soft object recognition and dynamic programming segmentation (JC, DT, PD, CJP, TK, KD, JB, VK), pp. 683–690.
CASE-2015-DiganiHSS #approach #coordination #multi #polynomial #programming: A Quadratic Programming approach for coordinating multi-AGV systems (VD, MAH, LS, CS), pp. 600–605.
CASE-2015-FrigerioSM #energy #programming #tool support: Dynamic programming for energy control of machine tools in manufacturing (NF, JGS, AM), pp. 39–44.
CASE-2015-KamraA #integer #multi #programming: A mixed integer programming model for timed deliveries in multirobot systems (NK, NA), pp. 612–617.
CASE-2015-KouiderHOO #approach #graph #integer #linear #scheduling #source code: Mixed integer linear programs and tabu search approach to solve mixed graph coloring for unit-time job shop scheduling (AK, HAH, SO, AO), pp. 1177–1181.
CASE-2015-LuSJSX #approach #multi #nondeterminism #programming: A chance constrained programming approach for multi-product multi-stage integrated production planning under internal and external uncertainties (SL, HS, CJ, HS, LX), pp. 880–885.
CASE-2015-LyuWC #algorithm #heuristic #integer #programming: Mixed integer programming model and heuristic algorithm for production planning of continuous casting and hot rolling (ML, ZW, FTSC), pp. 1503–1508.
CASE-2015-ProdelAXJL #database #integer #linear #mining #process #programming #using: Discovery of patient pathways from a national hospital database using process mining and integer linear programming (MP, VA, XX, BJ, LL), pp. 1409–1414.
DAC-2015-AsadJ #programming #using #verification: Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming (HuA, KDJ), p. 6.
DAC-2015-LeeNL #optimisation #performance: Optimizing stream program performance on CGRA-based systems (HL, DN, JL), p. 6.
DAC-2015-ZolotovF #integer #linear #programming: Variation aware cross-talk aggressor alignment by mixed integer linear programming (VZ, PF), p. 6.
DATE-2015-CastrillonTSSJA #manycore #programming #question: Multi/many-core programming: where are we standing? (JC, LT, LS, WS, BHHJ, MAM, AP, RJ, VR, RL), pp. 1708–1717.
DATE-2015-KauerNLSC #geometry #optimisation #programming #using: Inductor optimization for active cell balancing using geometric programming (MK, SN, ML, SS, SC), pp. 281–284.
DATE-2015-KimKK #memory management #programming: Subpage programming for extending the lifetime of NAND flash memory (JHK, SHK, JSK), pp. 555–560.
DATE-2015-PaulinoFBC #configuration management #execution #hardware #using: Transparent acceleration of program execution using reconfigurable hardware (NMCP, JCF, JB, JMPC), pp. 1066–1071.
DATE-2015-RiefertCSRB #automation #generative #on the #source code: On the automatic generation of SBST test programs for in-field test (AR, RC, MS, MSR, BB), pp. 1186–1191.
DATE-2015-TouatiBDGVBR #functional #power management #source code #testing: Exploring the impact of functional test programs re-used for power-aware testing (AT, AB, LD, PG, AV, PB, MSR), pp. 1277–1280.
DATE-2015-TrinadhBSPK #approach #named #programming #testing: DP-fill: a dynamic programming approach to X-filling for minimizing peak test power in scan tests (ST, CSB, SGS, SP, VK), pp. 836–841.
DATE-2015-ZhuM #linear #machine learning #optimisation #programming #using: Optimizing dynamic trace signal selection using machine learning and linear programming (CSZ, SM), pp. 1289–1292.
DRR-2015-RabaevCEK #documentation #programming #using: Aligning transcript of historical documents using dynamic programming (IR, RC, JES, KK).
SIGMOD-2015-0002KBDHKFG #coordination #program analysis #protocol #transaction: The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis (SR, LK, GB, BD, HH, CK, NF, JG), pp. 1311–1326.
VLDB-2015-DeutchGM #datalog #query #source code #using: Selective Provenance for Datalog Programs Using Top-K Queries (DD, AG, YM), pp. 1394–1405.
VLDB-2015-GreenOW #approach #live programming #programming: Live Programming in the LogicBlox System: A MetaLogiQL Approach (TJG, DO, GW), pp. 1782–1793.
CSEET-2015-Robinson #distributed #industrial #scalability: Insights from Creating and Deploying a Large, Globally Distributed Industrial Training Program (BPR), p. 2.
ITiCSE-2015-AndersonNM #programming: Facilitating Programming Success in Data Science Courses through Gamified Scaffolding and Learn2Mine (PEA, TN, RAM), pp. 99–104.
ITiCSE-2015-Annamaa #ide #learning #programming #python: Thonny, : a Python IDE for Learning Programming (AA), p. 343.
ITiCSE-2015-AntonucciENPM #automation #incremental #programming: An Incremental Hint System For Automated Programming Assignments (PA, HCE, DN, MP, BM), pp. 320–325.
ITiCSE-2015-Ben-Ari #programming: In Defense of Programming (MBA), p. 2.
ITiCSE-2015-BlauM #automation #feedback #java #student: FrenchPress Gives Students Automated Feedback on Java Program Flaws (HB, JEBM), pp. 15–20.
ITiCSE-2015-BrindaKHR #object-oriented #programming #towards: Towards a Competency Model for Object-Oriented Programming (TB, MK, PH, AR), p. 345.
ITiCSE-2015-ChaudhariD #formal method: Introducing Formal Methods via Program Derivation (DLC, OPD), pp. 266–271.
ITiCSE-2015-GrandeP #gender #motivation #programming: Motivation and Grade Gap Related to Gender in a Programming Course (VG, JP), p. 349.
ITiCSE-2015-Harms #community #learning #source code: Department Programs to Encourage and Support Service Learning and Community Engagement (DEH), p. 330.
ITiCSE-2015-Kumar #problem #semantics: Solving Code-tracing Problems and its Effect on Code-writing Skills Pertaining to Program Semantics (ANK), pp. 314–319.
ITiCSE-2015-MagnenatBKS #artificial reality #feedback #programming #visual notation: Enhancing Robot Programming with Visual Feedback and Augmented Reality (SM, MBA, SK, RWS), pp. 153–158.
ITiCSE-2015-MartinezGB #comparison #concept #framework #learning #multi #programming: A Comparison of Preschool and Elementary School Children Learning Computer Science Concepts through a Multilanguage Robot Programming Platform (MCM, MJG, LB), pp. 159–164.
ITiCSE-2015-PalI #programming: Classroom Versus Screencast for Native Language Learners: Effect of Medium of Instruction on Knowledge of Programming (YP, SI), pp. 290–295.
ITiCSE-2015-QuinsonO #education #learning #programming: A Teaching System to Learn Programming: the Programmer’s Learning Machine (MQ, GO), pp. 260–265.
ITiCSE-2015-Rubio #analysis #automation #categorisation #clustering #programming #student #using: Automatic Categorization of Introductory Programming Students using Cluster Analysis (MAR), p. 340.
ITiCSE-2015-ScottG #assessment #code review #education #quality #reliability: Reliability in the Assessment of Program Quality by Teaching Assistants During Code Reviews (MJS, GG), p. 346.
ITiCSE-2015-ThevathayanH #flexibility #incremental #programming #visual notation: Supporting Diverse Novice Programming Cohorts through Flexible and Incremental Visual Constructivist Pathways (CT, MH), pp. 296–301.
ITiCSE-2015-TollOEW #programming #student: Detailed Recordings of Student Programming Sessions (DT, TO, ME, AW), p. 328.
ITiCSE-2015-UraiUO #analysis #distributed #programming: Enhancements to Support Functions of Distributed Pair Programming Based on Action Analysis (TU, TU, NO), pp. 177–182.
ITiCSE-2015-WangZQS #programming: A TUI-based Programming Tool for Children (DW, LZ, YQ, FS), pp. 219–224.
ESOP-2015-0002S #automation #cost analysis #parallel #source code: Automatic Static Cost Analysis for Parallel Programs (JH, ZS), pp. 132–157.
ESOP-2015-BattyMNPS #concurrent #problem #programming language #semantics: The Problem of Programming Language Concurrency Semantics (MB, KM, KN, JPP, PS), pp. 283–307.
ESOP-2015-CoxCR #abstraction #multi #source code: Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages (AC, BYEC, XR), pp. 483–509.
ESOP-2015-DavidKL #source code #strict #termination: Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs (CD, DK, ML), pp. 183–204.
ESOP-2015-DavidKL15a #reasoning #safety #source code #termination: Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs (CD, DK, ML), pp. 661–684.
ESOP-2015-EmmiGMR #analysis #source code: Analysis of Asynchronous Programs with Event-Based Synchronization (ME, PG, RM, FRV), pp. 535–559.
ESOP-2015-GordonRSBRGT #probability #query #source code #spreadsheet: Probabilistic Programs as Spreadsheet Queries (ADG, CVR, MS, JB, NR, TG, DT), pp. 1–25.
ESOP-2015-Penninckx0P #behaviour #composition #source code #verification: Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs (WP, BJ, FP), pp. 158–182.
ESOP-2015-TorontoMH #probability #source code: Running Probabilistic Programs Backwards (NT, JM, DVH), pp. 53–79.
FoSSaCS-2015-CloustonBGB #induction #programming #reasoning #recursion: Programming and Reasoning with Guarded Recursion for Coinductive Types (RC, AB, HBG, LB), pp. 407–421.
TACAS-2015-BloemCJK #concurrent #source code #synthesis: Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information (RB, KC, SJ, RK), pp. 517–532.
TACAS-2015-ChenHTWW #contest #named #program transformation #recursion #source code #text-to-text #verification: CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation — (Competition Contribution) (YFC, CH, MHT, BYW, FW), pp. 426–428.
TACAS-2015-ChistikovDM #approximate #estimation #probability #smt #source code: Approximate Counting in SMT and Value Estimation for Probabilistic Programs (DVC, RD, RM), pp. 320–334.
TACAS-2015-DanglLW #contest #float #recursion #source code: CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic — (Competition Contribution) (MD, SL, PW), pp. 423–425.
TACAS-2015-DemasiCRMA #fault tolerance #named #source code #specification: syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications (RD, PFC, NR, TSEM, NA), pp. 188–193.
TACAS-2015-GurfinkelKN #c #contest #framework #named #source code #verification: SeaHorn: A Framework for Verifying C Programs (Competition Contribution) (AG, TK, JAN), pp. 447–450.
TACAS-2015-Nguyen0TP #bound #c #contest #lazy evaluation #source code: Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches — (Competition Contribution) (TLN, BF, SLT, GP), pp. 461–463.
TACAS-2015-StroderAFHG #c #contest #memory management #named #safety #source code #termination: AProVE: Termination and Memory Safety of C Programs — (Competition Contribution) (TS, CA, FF, JH, JG), pp. 417–419.
TACAS-2015-TomascoI0TP15a #concurrent #memory management #source code #verification: Verifying Concurrent Programs by Memory Unwinding (ET, OI, BF, SLT, GP), pp. 551–565.
TACAS-2015-TschannenFNP #functional #named #object-oriented #source code #verification: AutoProof: Auto-Active Functional Verification of Object-Oriented Programs (JT, CAF, MN, NP), pp. 566–580.
SCAM-J-2013-MarcozziVH15 #database #execution #relational #source code #sql #symbolic computation #testing: Relational symbolic execution of SQL code for unit testing of database programs (MM, WV, JLH), pp. 44–72.
ICPC-2015-FittkauFHW #comprehension #visualisation: Comparing trace visualizations for program comprehension through controlled experiments (FF, SF, WH, JW), pp. 266–276.
ICPC-2015-MacLeodSB #developer #documentation #how #using: Code, camera, action: how software developers document and share program knowledge using YouTube (LM, MAS, AB), pp. 104–114.
ICPC-2015-Roehm #comprehension #developer: Two user perspectives in program comprehension: end users and developer users (TR), pp. 129–139.
ICSME-2015-MedicherlaKN #specification #using #verification: Program specialization and verification using file format specifications (RKM, RK, SN), pp. 191–200.
ICSME-2015-PoluriR #concurrent #detection: Deterministic dynamic race detection across program versions (SVP, MKR), pp. 181–190.
ICSME-2015-SumiHHK #automation #program repair #towards: Toward improving graftability on automated program repair (SS, YH, KH, SK), pp. 511–515.
MSR-2015-LabuschagneH #question #source code: Do Onboarding Programs Work? (AL, RH), pp. 381–385.
SANER-2015-LiZXBPGZ #named #online #programming: amAssist: In-IDE ambient search of online programming resources (HL, XZ, ZX, LB, XP, DG, WZ), pp. 390–398.
PEPM-2015-AsadaS0 #first-order #functional #refinement #relational #source code #verification: Verifying Relational Properties of Functional Programs by First-Order Refinement (KA, RS, NK), pp. 61–72.
PEPM-2015-LiWXH #adaptation #api #java #named #towards #type safety: SWIN: Towards Type-Safe Java Program Adaptation between APIs (JL, CW, YX, ZH), pp. 91–102.
PLDI-2015-BowmanMSD #metaprogramming: Profile-guided meta-programming (WJB, SM, VSA, RKD), pp. 403–412.
PLDI-2015-ChuJT #automation #imperative #induction #proving #source code: Automatic induction proofs of data-structures in imperative programs (DHC, JJ, MTT), pp. 457–466.
PLDI-2015-DeligiannisDKLT #analysis #programming #state machine #testing: Asynchronous programming, analysis and testing with state machines (PD, AFD, JK, AL, PT), pp. 154–164.
PLDI-2015-FaddegonC #algorithm #debugging #dependence #haskell #source code #stack: Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack (MF, OC), pp. 33–42.
PLDI-2015-Huang #concurrent #model checking #reduction #source code: Stateless model checking concurrent programs with maximal causality reduction (JH), pp. 165–174.
PLDI-2015-JohnsonWMC #dependence #graph #security: Exploring and enforcing security guarantees via program dependence graphs (AJ, LW, SM, SC), pp. 291–302.
PLDI-2015-LalQ #graph #source code: DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs (AL, SQ), pp. 280–290.
PLDI-2015-LuciaR #execution #programming: A simpler, safer programming and execution model for intermittent systems (BL, BR), pp. 575–585.
PLDI-2015-MehtaY #compilation #optimisation #scalability #source code: Improving compiler scalability: optimizing large programs at small price (SM, PCY), pp. 143–152.
PLDI-2015-NguyenH #higher-order #source code: Relatively complete counterexamples for higher-order programs (PCN, DVH), pp. 446–456.
PLDI-2015-NoriORV #performance #probability #source code #synthesis: Efficient synthesis of probabilistic programs (AVN, SO, SKR, DV), pp. 208–217.
PLDI-2015-OseraZ #synthesis: Type-and-example-directed program synthesis (PMO, SZ), pp. 619–630.
PLDI-2015-PrountzosMP #automation #graph #parallel #source code: Synthesizing parallel graph programs via automated planning (DP, RM, KP), pp. 533–544.
PLDI-2015-RenJKAK #execution #hardware #performance #recursion #source code: Efficient execution of recursive programs on commodity vector hardware (BR, YJ, SK, KA, MK), pp. 509–520.
PLDI-2015-SergeyNB #concurrent #fine-grained #source code #verification: Mechanized verification of fine-grained concurrent programs (IS, AN, AB), pp. 77–87.
PLDI-2015-SharmaBA #gpu #source code #verification: Verification of producer-consumer synchronization in GPU programs (RS, MB, AA), pp. 88–98.
PLDI-2015-SinghPV #performance #program analysis: Making numerical program analysis fast (GS, MP, MTV), pp. 303–313.
PLDI-2015-Sivaramakrishnan #consistency #declarative #programming: Declarative programming over eventually consistent data stores (KCS, GK, SJ), pp. 413–424.
SAS-2015-AlbertGG #analysis #interprocedural #source code: May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization (EA, SG, PG), pp. 72–89.
SAS-2015-GargR #integer #linear #programming: Synthesizing Heap Manipulations via Integer Linear Programming (AG, SR), pp. 109–127.
SAS-2015-MonniauxA #abstraction #array: A Simple Abstraction of Arrays and Maps by Program Translation (DM, FA), pp. 217–234.
SAS-2015-Terauchi #effectiveness #heuristic #refinement #verification: Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR (TT), pp. 128–144.
STOC-2015-CanettiH0V #obfuscation #ram #source code: Succinct Garbling and Indistinguishability Obfuscation for RAM Programs (RC, JH, AJ, VV), pp. 429–437.
STOC-2015-LeeRS #bound #programming: Lower Bounds on the Size of Semidefinite Programming Relaxations (JRL, PR, DS), pp. 567–576.
CIAA-2015-Ade-IbijolaES #programming: Introducing Code Adviser: A DFA-driven Electronic Programming Tutor (AAI, SE, IDS), pp. 307–312.
ICALP-v1-2015-BeiCZ #constraints #linear #programming: Solving Linear Programming with Constraints Unknown (XB, NC, SZ), pp. 129–142.
ICALP-v1-2015-BienvenuDS #question #source code #what: What Percentage of Programs Halt? (LB, DD, AS), pp. 219–230.
ICALP-v1-2015-GoldreichGR #branch #context-free grammar #proving #proximity #source code: Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs — (Extended Abstract) (OG, TG, RDR), pp. 666–677.
ICALP-v2-2015-BojanczykMW #bound #clique #datalog #monad #source code: Containment of Monadic Datalog Programs via Bounded Clique-Width (MB, FM, AW), pp. 427–439.
LATA-2015-FarzanHHKP #automation #verification: Automated Program Verification (AF, MH, JH, ZK, AP), pp. 25–46.
FM-2015-AlbertACGGMPR #analysis #concurrent #distributed #source code: Resource Analysis: From Sequential to Concurrent and Distributed Programs (EA, PA, JC, SG, MGZ, EMM, GP, GRD), pp. 3–17.
FM-2015-FengHTZ #model checking #named #protocol #quantum #source code: QPMC: A Model Checker for Quantum Programs and Protocols (YF, EMH, AT, LZ), pp. 265–272.
FM-2015-NelsonFK #difference #network #program analysis: Static Differential Program Analysis for Software-Defined Networks (TN, ADF, SK), pp. 395–413.
SEFM-2015-AmighiDBH #source code #specification #verification: Specification and Verification of Atomic Operations in GPGPU Programs (AA, SD, SB, MH), pp. 69–83.
SEFM-2015-BlomHZ #behaviour #concurrent #functional #source code #verification: History-Based Verification of Functional Behaviour of Concurrent Programs (SB, MH, MZS), pp. 84–98.
SEFM-2015-Muhlberg0DLP #learning #source code #verification: Learning Assertions to Verify Linked-List Programs (JTM, DHW, MD, GL, FP), pp. 37–52.
SEFM-2015-RochaBC #bound #c #generative #memory management #model checking #source code #testing #using: Memory Management Test-Case Generation of C Programs Using Bounded Model Checking (HR, RSB, LCC), pp. 251–267.
ICFP-2015-AvanziniLM #complexity #first-order #functional #higher-order #source code: Analysing the complexity of functional programs: higher-order meets first-order (MA, UDL, GM), pp. 152–164.
ICFP-2015-Bodik #synthesis: Program synthesis: opportunities for the next decade (RB), p. 1.
ICFP-2015-MatsudaW #bidirectional #lens #programming: Applicative bidirectional programming with lenses (KM, MW), pp. 62–74.
ICFP-2015-Sheeran #design #functional #hardware #programming #years after: Functional programming and hardware design: still interesting after all these years (MS), p. 165.
GaM-2015-BakFPR #graph #interpreter #programming language: A Reference Interpreter for the Graph Programming Language GP 2 (CB, GF, DP, CR), pp. 48–64.
GaM-2015-HochMS #graph #programming: Dynamic Programming on Nominal Graphs (NH, UM, MS), pp. 80–96.
GCM-2015-Flick #correctness #graph #on the #recursion #source code: On Correctness of Graph Programs Relative to Recursively Nested Conditions (NEF), pp. 97–112.
CHI-2015-MentisSPFS #programming: Being Seen: Co-Interpreting Parkinson’s Patient’s Movement Ability in Deep Brain Stimulation Programming (HMM, RS, SP, PF, LS), pp. 511–520.
DHM-EH-2015-YamamotoBAKHJSO #music: The Transfer of Expertise in Conducting a Participatory Music Therapy During a Combined Rehabilitation-Recreational Program in an Elderly Care Facility (AY, HCBJ, TA, HK, KH, MJ, MS, TO, AG, NK, NK, HH), pp. 500–511.
HCI-DE-2015-Alessandrini #challenge #interactive #physics #programming #prototype: Practices, Technologies, and Challenges of Constructing and Programming Physical Interactive Prototypes (AA), pp. 132–142.
LCT-2015-Ludi #programming: A Tablet-Based Lego Mindstorms Programming Environment for Children (SL), pp. 106–114.
LCT-2015-OrehovackiB #game studies #learning #programming #quality: Inspecting Quality of Games Designed for Learning Programming (TO, SB), pp. 620–631.
AdaEurope-2015-KhanfarLM #safety #slicing: Static Backward Program Slicing for Safety-Critical Systems (HK, BL, ANM), pp. 50–65.
ICML-2015-FouldsKG #framework #modelling #network #probability #programming #topic: Latent Topic Networks: A Versatile Probabilistic Programming Framework for Topic Models (JRF, SHK, LG), pp. 777–786.
ICML-2015-PerolatSPP #approximate #game studies #markov #programming: Approximate Dynamic Programming for Two-Player Zero-Sum Markov Games (JP, BS, BP, OP), pp. 1321–1329.
ICML-2015-PiechHNPSG #feedback #learning #student: Learning Program Embeddings to Propagate Feedback on Student Code (CP, JH, AN, MP, MS, LJG), pp. 1093–1102.
KDD-2015-BabaKNKGIAKIHKS #low cost #predict: Predictive Approaches for Low-Cost Preventive Medicine Program in Developing Countries (YB, HK, YN, EK, PPG, RIM, AA, MK, SI, TH, MK, SS, KK, KT, MS, MB, NU, MK, NN), pp. 1681–1690.
KDD-2015-HouWGD #clustering #programming #rank: Non-exhaustive, Overlapping Clustering via Low-Rank Semidefinite Programming (YH, JJW, DFG, ISD), pp. 427–436.
KDD-2015-VeeriahDQ #architecture #learning #predict: Deep Learning Architecture with Dynamically Programmed Layers for Brain Connectome Prediction (VV, RD, GJQ), pp. 1205–1214.
SEKE-2015-WuCZX15a #case study #comparative #object-oriented #programming language: A metrics-based comparative study on object-oriented programming languages (DW, LC, YZ, BX), pp. 272–277.
SEKE-2015-ZhuSCW #programming #scalability #stack overflow #taxonomy: Building a Large-scale Software Programming Taxonomy from Stackoverflow (JZ, BS, XC, HW), pp. 391–396.
ECOOP-2015-BostromM #composition #finite #source code #verification: Modular Verification of Finite Blocking in Non-terminating Programs (PB, PM), pp. 639–663.
ECOOP-2015-Choi #in the large #internet #programming: Programming in the Large for the Internet of Things (Invited Talk) (JDC), p. 2.
ECOOP-2015-ImamS #parallel #programming: The Eureka Programming Model for Speculative Task Parallelism (SI, VS), pp. 421–444.
ECOOP-2015-Stroustrup #inheritance #object-oriented #programming: Object-Oriented Programming without Inheritance (Invited Talk) (BS), p. 1.
Onward-2015-ProkopecO #composition #distributed #programming: Isolates, channels, and event streams for composable distributed programming (AP, MO), pp. 171–182.
OOPSLA-2015-BostonSGC #approximate #flexibility #probability #programming #type inference: Probability type inference for flexible approximate programming (BB, AS, DG, LC), pp. 470–487.
OOPSLA-2015-CrafaP #approach #programming: The chemical approach to typestate-oriented programming (SC, LP), pp. 917–934.
OOPSLA-2015-DaraisMH #composition #program analysis #reuse: Galois transformers and modular abstract interpreters: reusable metatheory for program analysis (DD, MM, DVH), pp. 552–571.
OOPSLA-2015-FelgentreffMBH #constraints #programming language #theorem proving: Checks and balances: constraint solving without surprises in object-constraint programming languages (TF, TDM, AB, RH), pp. 767–782.
OOPSLA-2015-KurajKJ #programming #set: Programming with enumerable sets of structures (IK, VK, DJ), pp. 37–56.
OOPSLA-2015-LeSS #compilation #debugging #probability: Finding deep compiler bugs via guided stochastic program mutation (VL, CS, ZS), pp. 386–399.
OOPSLA-2015-LopesO #how #java #source code: How scale affects structure in Java programs (CVL, JO), pp. 675–694.
OOPSLA-2015-LopezMMNSVY #message passing #parallel #source code #verification: Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.
OOPSLA-2015-OhYY #adaptation #learning #optimisation #program analysis: Learning a strategy for adapting a program analysis via bayesian optimisation (HO, HY, KY), pp. 572–588.
OOPSLA-2015-PolozovG #framework #induction #named #synthesis: FlashMeta: a framework for inductive program synthesis (OP, SG), pp. 107–126.
GPCE-2015-ByalikCT #automation #named #programming #synthesis: Native-2-native: automated cross-platform code synthesis from web-based programming resources (AB, SC, ET), pp. 99–108.
GPCE-2015-FlorenceFFTKWNY #named #programming language: POP-PL: a patient-oriented prescription programming language (SPF, BF, MF, WHT, TK, DPW, CN, PRY, RBF, SMB), pp. 131–140.
GPCE-2015-FoustJP #constraints #data flow #generative #multi #source code #user interface #visual notation: Generating reactive programs for graphical user interfaces from multi-way dataflow constraint systems (GF, JJ, SP), pp. 121–130.
GPCE-2015-KolesnichenkoPN #contract #gpu #programming: Contract-based general-purpose GPU programming (AK, CMP, SN, BM), pp. 75–84.
GPCE-2015-LopezCRC #programming: Safer SDN programming through Arbiter (ML, CJC, GDR, CC), pp. 65–74.
PPDP-2015-AngelisFPP #generative #semantics #verification: Semantics-based generation of verification conditions by program specialization (EDA, FF, AP, MP), pp. 91–102.
PPDP-2015-BartakDZ #logic programming #modelling #on the #problem: On modeling planning problems in tabled logic programming (RB, AD, NFZ), pp. 31–42.
PPDP-2015-CaballeroGS #constraints #datalog #debugging #source code: Debugging of wrong and missing answers for datalog programs with constraint handling rules (RC, YGR, FSP), pp. 55–66.
PPDP-2015-ChenLJZL #automation #declarative #network #safety #source code #verification: Automated verification of safety properties of declarative networking programs (CC, LKL, LJ, WZ, BTL), pp. 79–90.
PPDP-2015-MeiklejohnR #coordination #distributed #named #programming: Lasp: a language for distributed, coordination-free programming (CM, PVR), pp. 184–195.
PPDP-2015-Miller #logic programming #proving: Proof checking and logic programming (DM), p. 18.
PPDP-2015-RondogiannisT #logic programming #using: Expressing preferences in logic programming using an infinite-valued logic (PR, AT), pp. 208–219.
PPDP-2015-StievenartNMR #abstract interpretation #concurrent #debugging #detection #higher-order #source code: Detecting concurrency bugs in higher-order programs through abstract interpretation (QS, JN, WDM, CDR), pp. 232–243.
QAPL-2015-RosendahlK #analysis #probability: Probabilistic Output Analysis by Program Manipulation (MR, MHK), pp. 110–124.
PADL-2015-CruzR #compilation #linear #logic programming #on the #source code: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities (FC, RR), pp. 34–49.
PADL-2015-TamaritVCM #c #haskell #implementation #program transformation #rule-based #source code: A Haskell Implementation of a Rule-Based Program Transformation for C Programs (ST, GV, MC, JM), pp. 105–114.
PADL-2015-Tarau #combinator #generative #logic programming #normalisation #on the #type inference: On Logic Programming Representations of λ Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization (PT), pp. 115–131.
PADL-2015-VaugonWC #ml #programming: Programming Microcontrollers in OCaml: The OCaPIC Project (BV, PW, EC), pp. 132–148.
POPL-2015-Buneman #database #programming #question: Databases and Programming: Two Subjects Divided by a Common Language? (PB), p. 487.
POPL-2015-Chlipala #named #programming #web: Ur/Web: A Simple Model for Programming the Web (AC), pp. 153–165.
POPL-2015-Chlipala15a #case study #composition #interface #network #parallel #thread #verification #web: From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification (AC), pp. 609–622.
POPL-2015-CochranDLMV #synthesis: Program Boosting: Program Synthesis via Crowd-Sourcing (RAC, LD, BL, DM, MV), pp. 677–688.
POPL-2015-ElangoRPRS #complexity #data access #on the #source code: On Characterizing the Data Access Complexity of Programs (VE, FR, LNP, JR, PS), pp. 567–580.
POPL-2015-GarciaC #source code: Principal Type Schemes for Gradual Programs (RG, MC), pp. 303–315.
POPL-2015-GiacobazziLR #analysis #metaprogramming: Analyzing Program Analyses (RG, FL, FR), pp. 261–273.
POPL-2015-NgoMMP #black box #policy #runtime #security #source code: Runtime Enforcement of Security Policies on Black Box Reactive Programs (MN, FM, DM, FP), pp. 43–54.
POPL-2015-RaychevVK #predict: Predicting Program Properties from “Big Code” (VR, MTV, AK), pp. 111–124.
POPL-2015-SjobergW #congruence #programming: Programming up to Congruence (VS, SW), pp. 369–382.
POPL-2015-Staton #algebra #programming language #quantum: Algebraic Effects, Linearity, and Quantum Programming Languages (SS), pp. 395–406.
POPL-2015-VeanesMML #source code #string: Data-Parallel String-Manipulating Programs (MV, TM, DM, BL), pp. 139–152.
SAC-2015-JakobsW #analysis #data flow #proving #source code: Programs from proofs of predicated dataflow analyses (MCJ, HW), pp. 1729–1736.
SAC-2015-LopezR #analysis #metaprogramming: Meta-programming with well-typed code analysis (ML, GDR), pp. 2119–2121.
SAC-2015-ManhaesCZ #automation #performance #predict #source code #student #towards: Towards automatic prediction of student performance in STEM undergraduate degree programs (LMBM, SMSdC, GZ), pp. 247–253.
SAC-2015-MilewiczVTQP #c #runtime #source code: Runtime checking C programs (RM, RV, JT, DQ, PP), pp. 2107–2114.
SAC-2015-PianiniVB #named #programming: Protelis: practical aggregate programming (DP, MV, JB), pp. 1846–1853.
SAC-2015-RighiVRRCFA #parallel #source code: Rescheduling and checkpointing as strategies to run synchronous parallel programs on P2P desktop grids (RdRR, AV, VFR, GR, CAdC, KF, AMA), pp. 501–504.
SAC-2015-SakuraiM #debugging #object-oriented #source code: The omission finder for debugging what-should-have-happened bugs in object-oriented programs (KS, HM), pp. 1962–1969.
ESEC-FSE-2015-BangAB #automation #complexity #source code: Automatically computing path complexity of programs (LB, AA, TB), pp. 61–72.
ESEC-FSE-2015-BraioneDP #execution #source code #symbolic computation: Symbolic execution of programs with heap inputs (PB, GD, MP), pp. 602–613.
ESEC-FSE-2015-Cadar #execution #program transformation #symbolic computation: Targeted program transformations for symbolic execution (CC), pp. 906–909.
ESEC-FSE-2015-CaiC #detection #effectiveness #java #precise #source code: Effective and precise dynamic detection of hidden races for Java programs (YC, LC), pp. 450–461.
ESEC-FSE-2015-DharPDR #named #source code #string: CLOTHO: saving programs from malformed strings and incorrect string-handling (AD, RP, MD, SR), pp. 555–566.
ESEC-FSE-2015-GuoKWYG #execution #parallel #source code #symbolic computation #thread: Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.
ESEC-FSE-2015-Jain #automation #generative #programming language: Automated generation of programming language quizzes (SJ), pp. 1051–1053.
ESEC-FSE-2015-KargenS #slicing #source code #using: Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing (UK, NS), pp. 782–792.
ESEC-FSE-2015-LongR #program repair #staged #synthesis: Staged program repair with condition synthesis (FL, MR), pp. 166–178.
ESEC-FSE-2015-Makihara #named #programming: Pockets: a tool to support exploratory programming for novices and educators (EM), pp. 1066–1068.
ESEC-FSE-2015-MangalZNN #approach #program analysis: A user-guided approach to program analysis (RM, XZ, AVN, MN), pp. 462–473.
ESEC-FSE-2015-NguyenKN #slicing #web: Cross-language program slicing for dynamic web applications (HVN, CK, TNN), pp. 369–380.
ESEC-FSE-2015-ParkEZNH #approximate #composition #named #programming: FlexJava: language support for safe and modular approximate programming (JP, HE, XZ, MN, WH), pp. 745–757.
ESEC-FSE-2015-SmithBGB #automation #program repair: Is the cure worse than the disease? overfitting in automated program repair (EKS, ETB, CLG, YB), pp. 532–543.
ESEC-FSE-2015-Vinayakarao #comprehension: Spotting familiar code snippet structures for program comprehension (VV), pp. 1054–1056.
ESEC-FSE-2015-Yu #concurrent #named #source code #testing: TACO: test suite augmentation for concurrent programs (TY), pp. 918–921.
ICSE-v1-2015-GaoXMZYZXM #c #source code: Safe Memory-Leak Fixing for C Programs (QG, YX, YM, LZ, WY, ZZ, BX, HM), pp. 459–470.
ICSE-v1-2015-KusanoCW #generative #invariant #parallel #source code #thread: Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.
ICSE-v1-2015-MechtaevYR #named #program repair: DirectFix: Looking for Simple Program Repairs (SM, JY, AR), pp. 448–458.
ICSE-v1-2015-NanzF #case study #comparative #programming language: A Comparative Study of Programming Languages in Rosetta Code (SN, CAF), pp. 778–788.
ICSE-v1-2015-SadowskiGJSW #ecosystem #named #program analysis: Tricorder: Building a Program Analysis Ecosystem (CS, JvG, CJ, ES, CW), pp. 598–608.
ICSE-v1-2015-SahaZKP #approach #information retrieval #testing: An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes (RKS, LZ, SK, DEP), pp. 268–279.
ICSE-v1-2015-TerragniCZ #concurrent #effectiveness #named #source code #testing: RECONTEST: Effective Regression Testing of Concurrent Programs (VT, SCC, CZ), pp. 246–256.
ICSE-v1-2015-WeissRL #fault #program analysis #scalability: Database-Backed Program Analysis for Scalable Error Propagation (CW, CRG, BL), pp. 586–597.
ICSE-v1-2015-ZhuLL #programming: A Programming Model for Sustainable Software (HSZ, CL, YDL), pp. 767–777.
ICSE-v2-2015-DoligezFHM #development #functional #programming #security #validation #xml: Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator (DD, CF, TH, MM), pp. 209–218.
ICSE-v2-2015-GulwaniMNP #live programming #named #programming #synthesis: StriSynth: Synthesis for Live Programming (SG, MM, FN, RP), pp. 701–704.
ICSE-v2-2015-HaaranenISV #design #programming: In Search of the Emotional Design Effect in Programming (LH, PI, JS, AV), pp. 428–434.
ICSE-v2-2015-JankeBW #education #learning #object-oriented #programming #question: Does Outside-In Teaching Improve the Learning of Object-Oriented Programming? (EJ, PB, SW), pp. 408–417.
ICSE-v2-2015-Jayaram #framework #programming #towards: Towards Explicitly Elastic Programming Frameworks (KRJ), pp. 619–622.
ICSE-v2-2015-Jazayeri #case study #experience #learning #programming: Combining Mastery Learning with Project-Based Learning in a First Programming Course: An Experience Report (MJ), pp. 315–318.
ICSE-v2-2015-LegunsenMR #programming: Evolution-Aware Monitoring-Oriented Programming (OL, DM, GR), pp. 615–618.
ICSE-v2-2015-PadhyeDMS #programming: Smart Programming Playgrounds (RP, PD, SM, VSS), pp. 607–610.
ICSE-v2-2015-PeiFNM #automation #development #ide #program repair: Automated Program Repair in an Integrated Development Environment (YP, CAF, MN, BM), pp. 681–684.
ICSE-v2-2015-Rajan #programming: Capsule-Oriented Programming (HR), pp. 611–614.
ICSE-v2-2015-SalvaneschiMT #programming: Reactive Programming: A Walkthrough (GS, AM, GT), pp. 953–954.
ICSE-v2-2015-Schwartz-Narbonne #c #named #source code: VERMEER: A Tool for Tracing and Explaining Faulty C Programs (DSN, CO, MS, TW), pp. 737–740.
ICSE-v2-2015-Zieris #analysis #information management #programming: Qualitative Analysis of Knowledge Transfer in Pair Programming (FZ), pp. 855–858.
SLE-2015-RitschelE #composition #program transformation: Modular capture avoidance for program transformations (NR, SE), pp. 59–70.
ASPLOS-2015-AlglaveBDGKPSW #behaviour #concurrent #gpu #programming: GPU Concurrency: Weak Behaviours and Programming Assumptions (JA, MB, AFD, GG, JK, DP, TS, JW), pp. 577–591.
ASPLOS-2015-RingenburgSACG #approximate #debugging #monitoring #quality #source code: Monitoring and Debugging the Quality of Results in Approximate Programs (MFR, AS, IA, LC, DG), pp. 399–411.
ASPLOS-2015-StewartGMRVA #domain-specific language #named #programming: Ziria: A DSL for Wireless Systems Programming (GS, MG, GM, BR, DV, CLA), pp. 415–428.
CGO-2015-CampanoniHWB #named #parallel #semantics: HELIX-UP: relaxing program semantics to unleash parallelization (SC, GHH, GYW, DMB), pp. 235–245.
CGO-2015-KimHSLH #architecture #concurrent #cpu #modelling #programming #scheduling #thread: Locality-centric thread scheduling for bulk-synchronous programming models on CPU architectures (HSK, IEH, JAS, SSL, WmWH), pp. 257–268.
CGO-2015-LuciaC #concurrent #source code: Data provenance tracking for concurrent programs (BL, LC), pp. 146–156.
HPDC-2015-SabneSE #clustering #named #pipes and filters #programming: HeteroDoop: A MapReduce Programming System for Accelerator Clusters (AS, PS, RE), pp. 235–246.
ISMM-2015-MirandaB #object-oriented #performance #programming: A partial read barrier for efficient support of live object-oriented programming (EM, CB), pp. 93–104.
LCTES-2015-LinM #distributed #framework #named #programming #simulation #towards #verification: StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems (YL, SM), p. 10.
LCTES-2015-WoitheK #architecture #named #programming: TrilobiteG: A programming architecture for autonomous underwater vehicles (HCW, UK), p. 10.
PPoPP-2015-ChabbiLJSMI #parallel #source code: Barrier elision for production parallel programs (MC, WL, WdJ, KS, JMMC, CI), pp. 109–119.
PPoPP-2015-DasSR #communication #concurrent #detection #program analysis #thread: Section based program analysis to reduce overhead of detecting unsynchronized thread communication (MD, GS, JR), pp. 283–284.
PPoPP-2015-KimLV #multi #programming: An OpenACC-based unified programming model for multi-accelerator systems (JK, SL, JSV), pp. 257–258.
PPoPP-2015-McPhersonNSC #detection #legacy #source code: Fence placement for legacy data-race-free programs via synchronization read detection (AJM, VN, SS, MC), pp. 249–250.
PPoPP-2015-MuralidharanGCSH #performance #programming: A collection-oriented programming model for performance portability (SM, MG, BCC, AS, MWH), pp. 263–264.
PPoPP-2015-TangYKTGC #algorithm #parallel #programming #recursion: Cache-oblivious wavefront: improving parallelism of recursive dynamic programming algorithms without losing cache-efficiency (YT, RY, HK, JJT, PG, RAC), pp. 205–214.
PPoPP-2015-VassiliadisPCALBVN #energy #programming #runtime: A programming model and runtime system for significance-aware energy-efficient computing (VV, KP, CC, CDA, SL, NB, HV, DSN), pp. 275–276.
SOSP-2015-FangNXDL #memory management #scalability #source code: Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs (LF, KN, G(X, BD, SL), pp. 394–409.
SOSP-2015-MatveevSFM #concurrent #lightweight #named #programming: Read-log-update: a lightweight synchronization mechanism for concurrent programming (AM, NS, PF, PM), pp. 168–183.
CADE-2015-PientkaC #induction #programming #proving: Inductive Beluga: Programming Proofs (BP, AC), pp. 272–281.
CADE-2015-TiwariGD #synthesis #using: Program Synthesis Using Dual Interpretation (AT, AG, BD), pp. 482–497.
CAV-2015-LahiriSH #automation #equivalence: Automatic Rootcausing for Program Equivalence Failures in Binaries (SKL, RS, CH), pp. 362–379.
CAV-2015-MajumdarW #bound #model checking #named #source code: Bbs: A Phase-Bounded Model Checker for Asynchronous Programs (RM, ZW), pp. 496–503.
CAV-2015-ReinkingP #approach #program repair: A Type-Directed Approach to Program Repair (AR, RP), pp. 511–517.
CAV-2015-SinghG #predict #programming: Predicting a Correct Program in Programming by Example (RS, SG), pp. 398–414.
CAV-2015-HawblitzelPQT #automation #composition #concurrent #reasoning #refinement #source code: Automated and Modular Refinement Reasoning for Concurrent Programs (CH, EP, SQ, ST), pp. 449–465.
CAV-2015-JeonQSF #adaptation #parallel #synthesis: Adaptive Concretization for Parallel Program Synthesis (JJ, XQ, ASL, JSF), pp. 377–394.
CAV-2015-KneussKK #deduction #program repair: Deductive Program Repair (EK, MK, VK), pp. 217–233.
CAV-2015-KuwaharaSU0 #abstraction #functional #higher-order #source code #termination: Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs (TK, RS, HU, NK), pp. 287–303.
CAV-2015-ManoliosPP #framework #modulo theories #programming: The Inez Mathematical Programming Modulo Theories Framework (PM, JP, VP), pp. 53–69.
CSL-2015-SalvatiW #behaviour #higher-order #source code: A Model for Behavioural Properties of Higher-order Programs (SS, IW), pp. 229–243.
CSL-2015-SchwentickVZ #source code #static analysis: Static Analysis for Logic-based Dynamic Programs (TS, NV, TZ), pp. 308–324.
ICLP-2015-Charwat #diagrams #programming #research #summary #using: Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary (GC).
ICLP-2015-CruzRG #data-driven #logic programming #parallel #source code #thread: Thread-Aware Logic Programming for Data-Driven Parallel Programs (FC, RR, SCG).
ICLP-2015-DamasioMA #debugging #source code: Unifying Justifications and Debugging for Answer-Set Programs (CVD, JM, AA).
ICLP-2015-Dovier #bisimulation #logic programming: Logic Programming and Bisimulation (AD).
ICLP-2015-Harrison #formal method #programming #set: Formal Methods for Answer Set Programming (AH).
ICLP-2015-JohannKK #logic programming: Structural Resolution for Logic Programming (PJ, EK, VK).
ICLP-2015-KieslST #analysis #on the #source code: On Structural Analysis of Non-Ground Answer-Set Programs (BK, PS, HT).
ICLP-2015-LeeWZ #automation #programming #reasoning #set #using: Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming (JL, YW, YZ).
ICLP-2015-SchullerW #case study #programming #set: Answer Set Application Programming: a Case Study on Tetris (PS, AW).
ICLP-2015-VolkerI #automaton #logic programming: Logic Programming for Cellular Automata (MV, KI).
ICLP-2015-Wang #consistency #nondeterminism #probability #programming #set: Handling Probability and Inconsistency in Answer Set Programming (YW).
ICLP-2015-YangSZ #bottom-up #evaluation #logic programming #manycore #parallel #source code: Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines (MY, AS, CZ).
ICLP-2015-Zaniolo #algorithm #logic programming #source code: Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs (CZ).
ICLP-J-2015-AlvianoFG #programming #recursion #set: Rewriting recursive aggregates in answer set programming: back to monotonicity (MA, WF, MG), pp. 559–573.
ICLP-J-2015-AlvianoL #compilation #complexity #programming #set: Complexity and compilation of GZ-aggregates in answer set programming (MA, NL), pp. 574–587.
ICLP-J-2015-AngelisFPP #correctness #horn clause #imperative #proving #source code: Proving correctness of imperative programs by linearizing constrained Horn clauses (EDA, FF, AP, MP), pp. 635–650.
ICLP-J-2015-BlackmoreRE #approach #compilation #effectiveness #embedded #logic programming #predict: A logic programming approach to predict effective compiler settings for embedded software (CB, OR, KE), pp. 481–494.
ICLP-J-2015-BogaertsB #approximate #compilation #fixpoint #logic programming #source code #using: Knowledge compilation of logic programs using approximation fixpoint theory (BB, GVdB), pp. 464–480.
ICLP-J-2015-CristiaRF #constraints #logic programming #set: Adding partial functions to Constraint Logic Programming with sets (MC, GR, CSF), pp. 651–665.
ICLP-J-2015-FichteTW #logic programming #source code: Dual-normal logic programs — the forgotten class (JKF, MT, SW), pp. 495–510.
ICLP-J-2015-GagglMRWW #encoding #programming: Improved answer-set programming encodings for abstract argumentation (SAG, NM, AR, JPW, SW), pp. 434–448.
ICLP-J-2015-GangeNSSS #horn clause #program analysis #program transformation #representation: Horn clauses as an intermediate representation for program analysis and transformation (GG, JAN, PS, HS, PJS), pp. 526–542.
ICLP-J-2015-KoponenOJS #optimisation #programming #set #using: Optimizing phylogenetic supertrees using answer set programming (LK, EO, TJ, LS), pp. 604–619.
ICLP-J-2015-LawRB #constraints #learning #programming #set: Learning weak constraints in answer set programming (ML, AR, KB), pp. 511–525.
ICLP-J-2015-MesnardPV #logic programming #testing: Concolic testing in logic programming (FM, ÉP, GV), pp. 711–725.
ICLP-J-2015-ZhouBD #logic programming: Planning as tabled logic programming (NFZ, RB, AD), pp. 543–558.
ISSTA-2015-AquinoBCDP #constraints #program analysis #proving #reuse: Reusing constraint proofs in program analysis (AA, FAB, MC, GD, MP), pp. 305–315.
LICS-2015-HackettH #exclamation #source code: Programs for Cheap! (JH, GH), pp. 115–126.
VMCAI-2015-AdjeG #automation #invariant #linear #polynomial #source code #synthesis: Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs (AA, PLG), pp. 99–116.
VMCAI-2015-Christakis0W #evaluation: An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer (MC, PM, VW), pp. 336–354.
CBSE-2014-SpacekDT #architecture #component #implementation #modelling #programming #prototype: A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language (PS, CD, CT), pp. 13–22.
ASE-2014-DeweyRH #constraints #fuzzing #logic programming #using: Language fuzzing using constraint logic programming (KD, JR, BH), pp. 725–730.
ASE-2014-HigoK #consistency #named #nondeterminism #source code: MPAnalyzer: a tool for finding unintended inconsistencies in program source code (YH, SK), pp. 843–846.
ASE-2014-LiuW #named #programming: PiE: programming in eliza (XL, DW), pp. 695–700.
ASE-2014-LuckowPDFV #approximate #execution #nondeterminism #probability #source code #symbolic computation: Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.
ASE-2014-LutzD #comparison #data flow #difference #interactive #programming #using #visual notation: Using visual dataflow programming for interactive model comparison (RL, SD), pp. 653–664.
ASE-2014-StephenSSE #big data #program analysis: Program analysis for secure big data processing (JJS, SS, RS, PTE), pp. 277–288.
ASE-2014-TarvoR #analysis #automation #modelling #parallel #performance #source code #thread: Automated analysis of multithreaded programs for performance modeling (AT, SPR), pp. 7–18.
CASE-2014-ChuLSO #analysis #contract #flexibility #linear #parametricity #programming #using: Flexibility analysis on a supply chain contract using a parametric Linear Programming model (CC, EEL, XS, DO), pp. 704–709.
CASE-2014-FeltonTW #self: Mechanically programmed self-folding at the millimeter scale (SMF, MTT, RJW), pp. 1232–1237.
CASE-2014-WuBZ #approach #linear #scheduling: Linear programming-based approach to scheduling of crude oil operations in refinery with oil type mixing requirement (NW, LB, MZ), pp. 430–435.
CASE-2014-XuLYM #integer #probability #programming: A mixed integer programming model for Bed planning considering stochastic length of stay (LX, NL, XY, FM), pp. 1069–1074.
DAC-2014-HeisswolfZZKWTHSHB #communication #named #programming: CAP: Communication Aware Programming (JH, AZ, AZ, SK, AW, JT, JH, GS, AH, JB), p. 6.
DAC-2014-KozhikkottuPPDR #clustering #parallel #source code #thread: Variation Aware Cache Partitioning for Multithreaded Programs (VJK, AP, VSP, SD, AR), p. 6.
DATE-2014-FriedlerKMNS #effectiveness #locality #slicing #using: Effective post-silicon failure localization using dynamic program slicing (OF, WK, AM, AN, VS), pp. 1–6.
DATE-2014-MooreC #modelling #performance: Program affinity performance models for performance and utilization (RWM, BRC), pp. 1–4.
DATE-2014-WelpK #invariant #refinement #verification: Property directed invariant refinement for program verification (TW, AK), pp. 1–6.
SIGMOD-2014-0001SW #data flow #named #source code: BabbleFlow: a translator for analytic data flow programs (PJ, AS, KW), pp. 713–716.
SIGMOD-2014-GulwaniM #data analysis #interactive #named #natural language #programming #spreadsheet: NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation (SG, MM), pp. 803–814.
VLDB-2014-ConwayAAH #automation #distributed #named #programming: Edelweiss: Automatic Storage Reclamation for Distributed Programming (NC, PA, EA, JMH), pp. 481–492.
VLDB-2015-ZengPP14 #induction #logic programming #named #scalability: QuickFOIL: Scalable Inductive Logic Programming (QZ, JMP, DP), pp. 197–208.
CSEET-2014-AkpolatS #gamification #programming #re-engineering #student #using: Enhancing software engineering student team engagement in a high-intensity extreme programming course using gamification (BSA, WS), pp. 149–153.
CSEET-2014-Opdahl #development #education #semantics: Teaching semantic technologies as part of a software development program (ALO), pp. 203–204.
CSEET-2014-Wong #challenge #education #experience #lessons learnt #re-engineering: Experience of teaching Executive Master’s program in Software Engineering: Challenges, lessons learned, and path forward (WEW), pp. 186–187.
ITiCSE-2014-BainB #programming #question #why: Why is programming so hard to learn? (GB, IB), p. 356.
ITiCSE-2014-BerryK #game studies #learning #programming: The state of play: a notional machine for learning programming (MB, MK), pp. 21–26.
ITiCSE-2014-DadicGR #automation #evaluation #source code #student: Automatic evaluation of students’ programs (TD, VG, MR), p. 328.
ITiCSE-2014-DagieneMPRS #contest #performance #student: Students’ performance on programming-related tasks in an informatics contest in Finland, Sweden and Lithuania (VD, LM, TP, LR, PS), pp. 153–158.
ITiCSE-2014-Frison #algorithm #education #named #programming: AlgoTouch: a programming by demonstration tool for teaching algorithms (PF), p. 334.
ITiCSE-2014-HakulinenM #assessment #automation #programming: QR code programming tasks with automated assessment (LH, LM), pp. 177–182.
ITiCSE-2014-Hidalgo-CespedesRL #concept #design #game studies #learning #programming #video: Playing with metaphors: a methodology to design video games for learning abstract programming concepts (JHC, GMR, VLV), p. 348.
ITiCSE-2014-Hijon-NeiraVPC #experience #game studies #learning #programming: Game programming for improving learning experience (RBHN, JÁVI, CPR, LC), pp. 225–230.
ITiCSE-2014-Kann #using: Using reflections in a program integrating course (VK), p. 350.
ITiCSE-2014-Marcos-Abed #case study #effectiveness #learning #programming: Learning computer programming: a study of the effectiveness of a COAC# (JMA), p. 333.
ITiCSE-2014-McKinseyJFG #online #programming: Remote pair programming (RPP) in massively open online courses (MOOCs) (JM, SJ, AF, DDG), p. 340.
ITiCSE-2014-PiccioniEM #programming: SPOC-supported introduction to programming (MP, HCE, BM), pp. 3–8.
ITiCSE-2014-PolitzKF #bibliography #framework #named #programming: CaptainTeach: a platform for in-flow peer review of programming assignments (JGP, SK, KF), p. 332.
ITiCSE-2014-PolitzPKF #bibliography #multi #named #programming: CaptainTeach: multi-stage, in-flow peer review for programming assignments (JGP, DP, SK, KF), pp. 267–272.
ITiCSE-2014-SabitzerP #education #programming: Brain-based teaching in programming courses (BS, SP), p. 355.
ITiCSE-2014-SettleVS #motivation #programming: Three views on motivation and programming (AS, AV, JS), pp. 321–322.
ITiCSE-2014-TeagueL #named #programming: Programming: reading, writing and reversing (DT, RL), pp. 285–290.
ITiCSE-2014-TollOWE #challenge #education #programming #student: The challenge of teaching students the value of programming best practices (DT, TO, AW, ME), p. 347.
ITiCSE-2014-WatsonL #programming #revisited: Failure rates in introductory programming revisited (CW, FWBL), pp. 39–44.
TFPIE-2014-Walck #haskell #physics #programming: Learn Physics by Programming in Haskell (SNW), pp. 67–77.
TFPIE-2014-Winter #authentication #functional #named #programming language: Bricklayer: An Authentic Introduction to the Functional Programming Language SML (VLW), pp. 33–49.
ESOP-2014-AguadoMHF #concurrent #programming: Grounding Synchronous Deterministic Concurrency in Sequential Programming (JA, MM, RvH, IF), pp. 229–248.
ESOP-2014-BrainDKS #generative #proving #source code: Model and Proof Generation for Heap-Manipulating Programs (MB, CD, DK, PS), pp. 432–452.
ESOP-2014-KuwaharaTU0 #automation #functional #higher-order #source code #termination #verification: Automatic Termination Verification for Higher-Order Functional Programs (TK, TT, HU, NK), pp. 392–411.
FASE-2014-GomesPG #bytecode #control flow #graph #java #source code: Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs (PdCG, AP, DG), pp. 215–229.
FASE-2014-PeiFNM #automation #contract #program repair: Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.
FASE-2014-Zaharieva-StojanovskiH #concurrent #invariant #source code #verification: Verifying Class Invariants in Concurrent Programs (MZS, MH), pp. 230–245.
FoSSaCS-2014-Tsukada0 #call-by #complexity #model checking #source code: Complexity of Model-Checking Call-by-Value Programs (TT, NK), pp. 180–194.
TACAS-2014-AngelisFPP #named #source code #verification: VeriMAP: A Tool for Verifying Programs through Transformations (EDA, FF, AP, MP), pp. 568–574.
TACAS-2014-BrockschmidtEFFG #analysis #complexity #integer #runtime #source code: Alternating Runtime and Size Complexity Analysis of Integer Programs (MB, FE, SF, CF, JG), pp. 140–155.
TACAS-2014-CaballeroMRT #debugging #declarative #erlang #named #source code: EDD: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 581–586.
TACAS-2014-TomascoI0TP #c #contest #memory management #named #source code: MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings — (Competition Contribution) (ET, OI, BF, SLT, GP), pp. 402–404.
WRLA-2014-AlrahmanABL #concurrent #maude #memory management #modelling #question #source code: Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? (YAA, MA, AB, ALL), pp. 21–41.
WRLA-2014-Genet #automaton #functional #source code #static analysis #towards #using: Towards Static Analysis of Functional Programs Using Tree Automata Completion (TG), pp. 147–161.
CSMR-WCRE-2014-DietrichJB #empirical #evolution #java #library #problem #source code: Broken promises: An empirical study into evolution problems in Java programs caused by library upgrades (JD, KJ, PB), pp. 64–73.
CSMR-WCRE-2014-RahmanYR #exception #fault #ide #programming #recommendation #towards: Towards a context-aware IDE-based meta search engine for recommendation about programming errors and exceptions (MMR, SY, CKR), pp. 194–203.
CSMR-WCRE-2014-RooverS #development #library #metaprogramming #tool support #using: Building development tools interactively using the EKEKO meta-programming library (CDR, RS), pp. 429–433.
ICPC-2014-GuptaS #program analysis #quality: A semiautomated method for classifying program analysis rules into a quality model (SG, HKS), pp. 266–270.
ICPC-2014-MaruyamaOH #comprehension #visualisation: A visualization tool recording historical data of program comprehension tasks (KM, TO, SH), pp. 207–211.
ICPC-2014-NoughiMMC #behaviour #comprehension #database #source code: Understanding the database manipulation behavior of programs (NN, MM, LM, AC), pp. 64–67.
ICPC-2014-StefikHMAYS #design #empirical #programming language #what: What is the Foundation of Evidence of Human Factors Decisions in Language Design? An Empirical Study on Programming Language Workshops (AS, SH, MM, AAA, SKY, SS), pp. 223–231.
ICSME-2014-KanningS #preprocessor #slicing #variability: Program Slicing in the Presence of Preprocessor Variability (FK, SS), pp. 501–505.
ICSME-2014-KlattKS #analysis #dependence: Program Dependency Analysis for Consolidating Customized Product Copies (BK, KK, CS), pp. 496–500.
ICSME-2014-Kumar #collaboration #detection #source code: Detecting Collaborative Patterns in Programs (KK), p. 664.
ICSME-2014-SahaLKP #c #debugging #effectiveness #information retrieval #locality #on the #source code: On the Effectiveness of Information Retrieval Based Bug Localization for C Programs (RKS, JL, SK, DEP), pp. 161–170.
ICSME-2014-TaoQ #analysis #concurrent #java #refactoring #source code: Refactoring Java Concurrent Programs Based on Synchronization Requirement Analysis (BT, JQ), pp. 361–370.
MSR-2014-AkerblomSTW #python #source code: Tracing dynamic features in python programs (BÅ, JS, MT, TW), pp. 292–295.
MSR-2014-PonzanelliBPOL #ide #mining #programming #self #stack overflow: Mining StackOverflow to turn the IDE into a self-confident programming prompter (LP, GB, MDP, RO, ML), pp. 102–111.
SCAM-2014-PetiotBJKS #c #generative #source code #testing: Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
SCAM-2014-RooverI #program transformation: The Ekeko/X Program Transformation Tool (CDR, KI), pp. 53–58.
SCAM-2014-TengeriBHG #analysis #repository #test coverage #testing #tool support: Toolset and Program Repository for Code Coverage-Based Test Suite Analysis and Manipulation (DT, ÁB, DH, TG), pp. 47–52.
SCAM-2014-YoshidaH #c #semiparsing #source code #syntax: A Pattern Search Method for Unpreprocessed C Programs Based on Tokenized Syntax Trees (AY, YH), pp. 295–304.
PEPM-J-2013-AngelisFPP14 #verification: Program verification via iterated specialization (EDA, FF, AP, MP), pp. 149–175.
PEPM-2014-HanusS #analysis #composition #functional #logic programming #source code: A modular and generic analysis server system for functional logic programs (MH, FS), pp. 181–188.
PEPM-2014-PachecoHF #bidirectional #combinator #monad #programming: Monadic combinators for “Putback” style bidirectional programming (HP, ZH, SF), pp. 39–50.
PLDI-2014-BallBGIKSSV #named #network #source code #towards #verification: VeriCon: towards verifying controller programs in software-defined networks (TB, NB, AG, SI, AK, MS, MS, AV), p. 31.
PLDI-2014-Carbonneaux0RS #bound #c #source code #verification: End-to-end verification of stack-space bounds for C programs (QC, JH, TR, ZS), p. 30.
PLDI-2014-GuptaSS #execution #parallel #source code: Globally precise-restartable execution of parallel programs (GG, SS, GSS), p. 22.
PLDI-2014-Hoare #concurrent #programming: Laws of concurrent programming (CARH), p. 20.
PLDI-2014-HurNRS #probability #slicing #source code: Slicing probabilistic programs (CKH, AVN, SKR, SS), p. 16.
PLDI-2014-Schkufza0A #float #optimisation #precise #probability #source code: Stochastic optimization of floating-point programs with tunable precision (ES, RS, AA), p. 9.
PLDI-2014-SridharanGS #adaptation #execution #parallel #performance #source code: Adaptive, efficient, parallel execution of parallel programs (SS, GG, GSS), p. 21.
PLDI-2014-StorkNSMFMA #approach #named #programming language: Æminium: a permission based concurrent-by-default programming language approach (SS, KN, JS, MM, AF, PM, JA), p. 4.
PLDI-2014-SurendranRCMS #parallel #source code #testing: Test-driven repair of data races in structured parallel programs (RS, RR, SC, JMMC, VS), p. 3.
PLDI-2014-ZhangMGNY #abstraction #analysis #datalog #on the #refinement: On abstraction refinement for program analyses in Datalog (XZ, RM, RG, MN, HY), p. 27.
SAS-2014-ChakarovS #fixpoint #invariant #probability: Expectation Invariants for Probabilistic Program Loops as Fixed Points (AC, SS), pp. 85–100.
SAS-2014-ChenHTWW #recursion #source code #using #verification: Verifying Recursive Programs Using Intraprocedural Analyzers (YFC, CH, MHT, BYW, FW), pp. 118–133.
SAS-2014-CoxCR #analysis #automation #source code: Automatic Analysis of Open Objects in Dynamic Language Programs (AC, BYEC, XR), pp. 134–150.
SAS-2014-IoossAR #equivalence #on the #reduction: On Program Equivalence with Reductions (GI, CA, SVR), pp. 168–183.
SAS-2014-SamantaOE #automation #cost analysis #program repair: Cost-Aware Automatic Program Repair (RS, OO, EAE), pp. 268–284.
STOC-2014-Christiano #learning #online #programming: Online local learning via semidefinite programming (PC), pp. 468–474.
STOC-2014-ForbesSS #algebra #branch #multi #order #set #source code: Hitting sets for multilinear read-once algebraic branching programs, in any order (MAF, RS, AS), pp. 867–875.
FLOPS-2014-DunduaFKM #constraints #logic programming #re-engineering #semantics: Constraint Logic Programming for Hedges: A Semantic Reconstruction (BD, MF, TK, MM), pp. 285–301.
FLOPS-2014-HanadaI #multi #on the #persistent #programming: On Cross-Stage Persistence in Multi-Stage Programming (YH, AI), pp. 103–118.
FLOPS-2014-Magalhaes #multi #parametricity #programming: Generic Programming with Multiple Parameters (JPM), pp. 136–151.
FLOPS-2014-MorihataKO #programming: Dynamic Programming via Thinning and Incrementalization (AM, MK, AO), pp. 186–202.
ICALP-v1-2014-HsuRRU #linear #source code: Privately Solving Linear Programs (JH, AR, TR, JU), pp. 612–624.
ICALP-v2-2014-ChistikovM #automaton #source code: Unary Pushdown Automata and Straight-Line Programs (DVC, RM), pp. 146–157.
FM-2014-BlomH #concurrent #source code #verification: The VerCors Tool for Verification of Concurrent Programs (SB, MH), pp. 127–131.
FM-2014-ForejtKNS #analysis #communication #precise #predict #source code: Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs (VF, DK, GN, SS), pp. 263–278.
FM-2014-HayesM #algebra #invariant #realtime: Invariants, Well-Founded Statements and Real-Time Program Algebra (IJH, LM), pp. 318–334.
FM-2014-HuPF #bidirectional #programming: Validity Checking of Putback Transformations in Bidirectional Programming (ZH, HP, SF), pp. 1–15.
FM-2014-LeinoM #automation #induction #proving #verification: Co-induction Simply — Automatic Co-inductive Proofs in a Program Verifier (KRML, MM), pp. 382–398.
FM-2014-ZhaoYZGZC #verification: Formal Verification of a Descent Guidance Control Program of a Lunar Lander (HZ, MY, NZ, BG, LZ, YC), pp. 733–748.
IFM-2014-ChaudhariD #automation #proving #theorem proving: Automated Theorem Prover Assisted Program Calculations (DLC, OPD), pp. 205–220.
IFM-2014-ErikssonPB #invariant #programming #proving: Proofs and Refutations in Invariant-Based Programming (JE, MP, RJB), pp. 189–204.
SEFM-2014-ArmstrongGS #higher-order #lightweight #tool support #verification: Lightweight Program Construction and Verification Tools in Isabelle/HOL (AA, VBFG, GS), pp. 5–19.
SEFM-2014-TatsutaC #induction #logic #verification: Completeness of Separation Logic with Inductive Definitions for Program Verification (MT, WNC), pp. 20–34.
SFM-2014-GiachinoL #concurrent #detection #linear #recursion #source code: Deadlock Detection in Linear Recursive Programs (EG, CL), pp. 26–64.
ICFP-2014-ChenAT #functional #programming #scalability #self: Functional programming for dynamic and large data with self-adjusting computation (YC, UAA, KT), pp. 227–240.
ICFP-2014-ChenE #analysis #parametricity #product line #type system: Type-based parametric analysis of program families (SC, ME), pp. 39–51.
ICFP-2014-Fisher #formal method #using: Using formal methods to enable more secure vehicles: DARPA’s HACMS program (KF), p. 1.
ICFP-2014-Ramsey #design #education #on the: On teaching *how to design programs*: observations from a newcomer (NR), pp. 153–166.
ICFP-2014-StansiferW #flexibility #named #programming: Romeo: a system for more flexible binding-safe programming (PS, MW), pp. 53–65.
IFL-2014-AchtenSDP #composition #interactive #programming #scalability: Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics (PA, JS, LD, RP), p. 7.
ILC-2014-Smith #lisp #programming: Common Lisp’s Predilection for Mathematical Programming (RS), p. 10.
GRAPHITE-2014-ManskyGG #optimisation #parallel #source code #specification: Specifying and Executing Optimizations for Parallel Programs (WM, DG, ELG), pp. 58–70.
ICGT-2014-JansenGN #execution #generative #induction #pointer #source code #symbolic computation: Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (CJ, FG, TN), pp. 65–80.
ICGT-2014-JansenN #generative #graph #pointer #source code #summary: Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (CJ, TN), pp. 49–64.
ICGT-2014-PoskittP #graph #higher-order #monad #source code #verification: Verifying Monadic Second-Order Properties of Graph Programs (CMP, DP), pp. 33–48.
CHI-2014-FastSWBB #ide #programming: Emergent, crowd-scale programming practice in the IDE (EF, DS, LW, JRB, MSB), pp. 2491–2500.
CHI-2014-LieberBM #concept #programming #visualisation: Addressing misconceptions about code with always-on programming visualizations (TL, JRB, RCM), pp. 2481–2490.
CHI-2014-UrMHL #programming #smarttech: Practical trigger-action programming in the smart home (BU, EM, MPYH, MLL), pp. 803–812.
DUXU-DI-2014-Bockermann #approach #big data #data analysis #programming #visual notation: A Visual Programming Approach to Big Data Analytics (CB), pp. 393–404.
DUXU-DI-2014-ShinKKJS #design #game studies #interactive #process: A New Design Process for Viewer Participation in Interactive TV Program: Focused on the Interactive TV Game Show Hae-un-dae (JS, HJK, JIK, BGJ, CS), pp. 763–772.
DUXU-TMT-2014-BrangierD #case study #heuristic #persuasion: Heuristic Inspection to Assess Persuasiveness: A Case Study of a Mathematics E-learning Program (EB, MCD), pp. 425–436.
HCI-AIMT-2014-KashimaMY #programming: Proposal of a Method to Measure Difficulty Level of Programming Code with Eye-Tracking (TK, SM, SY), pp. 264–272.
HCI-TMT-2014-HankiewiczB #performance #quality #source code #using #word: Efficiency in Performing Basic Tasks Using Word Processing Programs by the Elderly as a Measure of the Ergonomic Quality of Software (KH, MB), pp. 481–488.
HCI-TMT-2014-RodriguesTN14a #heuristic #interactive #source code: Heuristics for Assessing Emotional Response of Viewers during the Interaction with TV Programs (KRdHR, CACT, VPdAN), pp. 577–588.
LCT-NLE-2014-GiannakosJL #process #programming #women: Happy Girls Engaging with Technology: Assessing Emotions and Engagement Related to Programming Activities (MNG, LJ, IL), pp. 398–409.
VISSOFT-2014-Noble #programming language: Livecoding the SynthKit: Little Bits as an Embodied Programming Language (JN), pp. 40–44.
AdaEurope-2014-BurgstallerB #ada #algebra #source code #static analysis: Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects (BB, JB), pp. 27–42.
AdaEurope-2014-BurnsW #programming #scheduling: Deadline-Aware Programming and Scheduling (AB, AJW), pp. 107–118.
AdaEurope-2014-PedroPPP #ada #framework #programming language #runtime #towards #verification: Towards a Runtime Verification Framework for the Ada Programming Language (AdMP, DP, LMP, JSP), pp. 58–73.
HILT-2014-BocchinoGGS #named #programming language: Spot: a programming language for verified flight software (RLB, EG, KPG, RRS), pp. 97–102.
HILT-2014-RathjeR #framework #java #model checking #network #source code: A framework for model checking UDP network programs with Java pathfinder (WR, BR), pp. 81–86.
HILT-2014-TaftMPM #ada #parallel #programming: Safe parallel programming in ada with language extensions (STT, BM, LMP, SM), pp. 87–96.
ICEIS-v2-2014-DingTZ #automation #c #c++ #source code: Automatic Removal of Buffer Overflow Vulnerabilities in C/C++ Programs (SD, HBKT, HZ), pp. 49–59.
ICEIS-v2-2014-EstacioP #distributed #programming #set: A Set of Practices for Distributed Pair Programming (BJdSE, RP), pp. 331–338.
ICEIS-v2-2014-PintoDOC #aspect-oriented #development #framework #modelling #multi #product line #programming #towards: Evaluating the Effort for Modularizing Multiple-Domain Frameworks Towards Framework Product Lines with Aspect-oriented Programming and Model-driven Development (VHSCP, RSD, ALO, VVdC), pp. 60–70.
ICEIS-v2-2014-SilvaMS #aspect-oriented #bibliography #evaluation #performance #programming: A Systematic Review on Performance Evaluation of Aspect-Oriented Programming Techniques used to Implement Crosscutting Concerns (RFGdS, MdAM, MSS), pp. 5–13.
CIKM-2014-LinLZX #named #optimisation #programming #search-based: GPQ: Directly Optimizing Q-measure based on Genetic Programming (YL, HL, PZ, BX), pp. 1859–1862.
ICML-c2-2014-LefakisF #programming: Dynamic Programming Boosting for Discriminative Macro-Action Discovery (LL, FF), pp. 1548–1556.
ICML-c2-2014-MalekAB #linear #markov #problem #programming #scalability: Linear Programming for Large-Scale Markov Decision Problems (AM, YAY, PLB), pp. 496–504.
ICML-c2-2014-PaigeW #compilation #probability #programming language: A Compilation Target for Probabilistic Programming Languages (BP, FW), pp. 1935–1943.
ICML-c2-2014-SchoenauerASS #feedback #programming: Programming by Feedback (MS, RA, MS, JCS), pp. 1503–1511.
ICML-c2-2014-TaylorGP #analysis #approximate #linear #programming: An Analysis of State-Relevance Weights and Sampling Distributions on L1-Regularized Approximate Linear Programming Approximation Accuracy (GT, CG, DP), pp. 451–459.
ICPR-2014-MiaoSH #linear #multi #programming #robust: Fusion of Multibiometrics Based on a New Robust Linear Programming (DM, ZS, YH), pp. 291–296.
ICPR-2014-NilufarP #detection #learning #programming: Learning to Detect Contours with Dynamic Programming Snakes (SN, TJP), pp. 984–989.
KDD-2014-ShakarianSPB #network #social #source code: Reducing gang violence through network influence based targeting of social programs (PS, JS, WP, JB), pp. 1829–1836.
KDD-2014-SrikantA #machine learning #programming #using: A system to grade computer programming skills using machine learning (SS, VA), pp. 1887–1896.
KDIR-2014-Bleiweiss #execution #machine learning #using: SoC Processor Discovery for Program Execution Matching Using Unsupervised Machine Learning (AB), pp. 192–201.
KMIS-2014-WoitB #collaboration #consistency #development #process #programming: Commitment and Consistency in the Collaborative Software Development Process of Extreme Programming (DMW, KJB), pp. 375–381.
KR-2014-AsuncionZZ #first-order #logic programming #semantics #source code: Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness (VA, YZ, HZ).
KR-2014-CharalambidisR #higher-order #logic programming: Constructive Negation in Extensional Higher-Order Logic Programming (AC, PR).
KR-2014-ClercqBSCN #game studies #programming #set #using: Using Answer Set Programming for Solving Boolean Games (SDC, KB, SS, MDC, AN).
KR-2014-Lin #first-order #formal method #linear #logic #source code: A Formalization of Programs in First-Order Logic with a Discrete Linear Order (FL).
KR-2014-Potyka #consistency #linear #logic #nondeterminism #probability #source code: Linear Programs for Measuring Inconsistency in Probabilistic Logics (NP).
KR-2014-ShenZ #canonical #logic programming #source code: Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (YS, XZ).
MLDM-2014-KhasnabishSDS #detection #learning #programming language #source code #using: Detecting Programming Language from Source Code Using Bayesian Learning Techniques (JNK, MS, JD, GS), pp. 513–522.
SEKE-2014-GrieblerAF #architecture #evaluation #interface #manycore #parallel #performance #programming #usability: Performance and Usability Evaluation of a Pattern-Oriented Parallel Programming Interface for Multi-Core Architectures (DG, DA, LGF), pp. 25–30.
SEKE-2014-JiangCKZD #model transformation #source code #testing #using: Testing Model Transformation Programs using Metamorphic Testing (MJ, TYC, FCK, ZZ, ZD), pp. 94–99.
SEKE-2014-OliveiraMGND #framework #source code #testing: An Extensible Framework to Implement Test Oracle for Non-Testable Programs (RAPO, AMM, VNG, FLSN, MED), pp. 199–204.
SEKE-2014-SantosBSC #game studies #learning #programming #semantics #source code: A Semantic Analyzer for Simple Games Source Codes to Programming Learning (ECOdS, GBB, VHVdS, EC), pp. 522–527.
ICMT-2014-InostrozaSE #program transformation #string: Tracing Program Transformations with String Origins (PI, TvdS, SE), pp. 154–169.
ECOOP-2014-AliRLDT #graph #scala #source code: Constructing Call Graphs of Scala Programs (KA, MR, OL, JD, FT), pp. 54–79.
ECOOP-2014-ErdwegSD #program transformation: Capture-Avoiding and Hygienic Program Transformations (SE, TvdS, YD), pp. 489–514.
ECOOP-2014-LiT #analysis #fault #python #source code: Finding Reference-Counting Errors in Python/C Programs with Affine Analysis (SL, GT), pp. 80–104.
ECOOP-2014-SunshineHA #documentation #empirical #programming #protocol: Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming (JS, JDH, JA), pp. 157–181.
Onward-2014-Conversy #programming language #visual notation: Unifying Textual and Visual: A Theoretical Account of the Visual Perception of Programming Languages (SC), pp. 201–212.
Onward-2014-KaraivanovRV #programming language #statistics: Phrase-Based Statistical Translation of Programming Languages (SK, VR, MTV), pp. 173–184.
Onward-2014-McDirmidE #programming: Programming with Managed Time (SM, JE), pp. 1–10.
Onward-2014-ReyndersDP #functional #multi #programming #web: Multi-Tier Functional Reactive Programming for the Web (BR, DD, FP), pp. 55–68.
Onward-2014-Skene #logic #programming language: Description Logic as Programming Language (JS), pp. 143–162.
Onward-2014-StefikH #community #programming language: The Programming Language Wars: Questions and Responsibilities for the Programming Language Community (AS, SH), pp. 283–299.
Onward-2014-UngarOK #named #programming #symmetry: Korz: Simple, Symmetric, Subjective, Context-Oriented Programming (DU, HO, DK), pp. 113–131.
OOPSLA-2014-BartensteinL #source code: Rate types for stream programs (TB, YDL), pp. 213–232.
OOPSLA-2014-BerganGC #execution #parallel #source code #symbolic computation #thread: Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.
OOPSLA-2014-BosboomRWA #compilation #named #programming: StreamJIT: a commensal compiler for high-performance stream programming (JB, SR, WFW, SPA), pp. 177–195.
OOPSLA-2014-Desai0M #proving #reduction #source code #using: Natural proofs for asynchronous programs using almost-synchronous reductions (AD, PG, PM), pp. 709–725.
OOPSLA-2014-DrechslerSMM #algorithm #distributed #programming: Distributed REScala: an update algorithm for distributed reactive programming (JD, GS, RM, MM), pp. 361–376.
OOPSLA-2014-HolkNSL #data type #gpu #memory management #programming language: Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host (EH, RN, JGS, AL), pp. 141–155.
OOPSLA-2014-HsiaoCN #corpus #program analysis #statistics #using #web: Using web corpus statistics for program analysis (CHH, MJC, SN), pp. 49–65.
OOPSLA-2014-ToschB #automation #debugging #named #programming: SurveyMan: programming and automatically debugging surveys (ET, EDB), pp. 197–211.
OOPSLA-2014-XiaoGZZZYWLCZ #named #reduction #source code: Cybertron: pushing the limit on I/O reduction in data-parallel programs (TX, ZG, HZ, JZ, XZ, CY, XW, WL, WC, LZ), pp. 895–908.
OOPSLA-2014-ZhouSGY #adaptation #multi #optimisation: Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations (MZ, XS, YG, GY), pp. 763–776.
PLATEAU-2014-HundhausenC #education #interactive #programming #social: Supporting Social Interactions and Awareness in Educational Programming Environments (CDH, ASC), pp. 55–56.
PLATEAU-2014-KoitzS #comparison #education #empirical #hybrid #programming language #visual notation: Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers (RK, WS), pp. 21–30.
PLATEAU-2014-KubelkaBR #programming #smalltalk: Asking and Answering Questions during a Programming Change Task in Pharo Language (JK, AB, RR), pp. 1–11.
PLATEAU-2014-KurilovaPA #design #named #programming language #security: Wyvern: Impacting Software Security via Programming Language Design (DK, AP, JA), pp. 57–58.
LOPSTR-2014-AriasLM #compilation #constraints #declarative #logic programming: Declarative Compilation for Constraint Logic Programming (EJGA, JL, JMC), pp. 299–316.
LOPSTR-2014-Balaniuk #induction #synthesis: Drill and Join: A Method for Exact Inductive Program Synthesis (RB), pp. 219–237.
LOPSTR-2014-ChowdhuryLCKY #approximate #case study #logic programming #polynomial #semantics #source code: Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies (MSC, FL, WC, AK, JHY), pp. 279–296.
LOPSTR-2014-CornishGNSSS #array #program transformation #source code: Analyzing Array Manipulating Programs by Program Transformation (JRMC, GG, JAN, PS, HS, PJS), pp. 3–20.
LOPSTR-2014-Drabent #logic programming #on the #source code: On Completeness of Logic Programs (WD), pp. 261–278.
PPDP-2014-CruzRG #design #implementation #linear #logic programming #parallel #source code #thread #virtual machine: Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.
PPDP-2014-DouenceT #imperative #programming: Lazier Imperative Programming (RD, NT), pp. 7–18.
PPDP-2014-FerreiraP #bidirectional #source code: Bidirectional Elaboration of Dependently Typed Programs (FF, BP), pp. 161–174.
PPDP-2014-Giacobazzi #source code: Unveiling and Veiling Information in Programs (RG), pp. 211–212.
PPDP-2014-Haemmerle #constraints #logic programming #on the: On Combining Backward and Forward Chaining in Constraint Logic Programming (RH), pp. 213–224.
PPDP-2014-LucasM #declarative #logic #proving #source code #termination: Proving Operational Termination of Declarative Programs in General Logics (SL, JM), pp. 111–122.
PPDP-2014-NilssonP #declarative #game studies #programming #tutorial: Declarative Game Programming: Distilled Tutorial (HN, IP), pp. 159–160.
PPDP-2014-Schopp #low level #source code #using: Organising Low-Level Programs using Higher Types (US), pp. 199–210.
PPDP-2014-SchrijversWDD #functional #heuristic #implementation #logic programming #specification: Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation (TS, NW, BD, BD), pp. 259–270.
PPDP-2014-StulovaMH #debugging #higher-order #source code: Assertion-based Debugging of Higher-Order (C)LP Programs (NS, JFM, MVH), pp. 225–235.
PADL-2014-AreiasR #correctness #logic programming #on the #performance #source code: On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs (MA, RR), pp. 168–183.
PADL-2014-LakinP #compilation #functional #programming language #using: Compiling DNA Strand Displacement Reactions Using a Functional Programming Language (MRL, AP), pp. 81–86.
PADL-2014-MagalhaesL #programming: Generic Generic Programming (JPM, AL), pp. 216–231.
PADL-2014-SaptawijayaP #logic programming #modelling #towards: Towards Modeling Morality Computationally with Logic Programming (AS, LMP), pp. 104–119.
PADL-2014-SonPL #multi #prolog #source code: Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems (TCS, EP, TL), pp. 87–103.
POPL-2014-Birkedal #composition #concurrent #higher-order #imperative #reasoning #source code: Modular reasoning about concurrent higher-order imperative programs (LB), pp. 1–2.
POPL-2014-CasinghinoSW #proving #source code: Combining proofs and programs in a dependently typed language (CC, VS, SW), pp. 33–46.
POPL-2014-CaveFPP #programming: Fair reactive programming (AC, FF, PP, BP), pp. 361–372.
POPL-2014-ChaudhuriFK #analysis #consistency #source code: Consistency analysis of decision-making programs (SC, AF, ZK), pp. 555–568.
POPL-2014-GordonGRRBG #named #probability #programming language: Tabular: a schema-driven probabilistic programming language (ADG, TG, NR, CVR, JB, JG), pp. 321–334.
POPL-2014-KuperTKN #parallel #programming: Freeze after writing: quasi-deterministic parallel programming with LVars (LK, AT, NRK, RRN), pp. 257–270.
POPL-2014-LagoSA #functional #higher-order #induction #on the #probability #source code: On coinductive equivalences for higher-order probabilistic functional programs (UDL, DS, MA), pp. 297–308.
POPL-2014-SharmaNA #program analysis #trade-off: Bias-variance tradeoffs in program analysis (RS, AVN, AA), pp. 127–138.
REFSQ-2014-LiBHT #programming #requirements: Answer-Set Programming in Requirements Engineering (WL, DB, JHH, MT), pp. 168–183.
SAC-2014-BernardiCL #aspect-oriented #declarative #design pattern #development #programming #using: Declarative design pattern-based development using aspect oriented programming (MLB, MC, GADL), pp. 1625–1630.
SAC-2014-LoulergueRTLH #parallel #problem: Formal derivation and extraction of a parallel program for the all nearest smaller values problem (FL, SR, JT, JL, ZH), pp. 1577–1584.
SAC-2014-PereiraS #complexity #deduction #source code: Complexity checking of ARM programs, by deduction (MP, SMdS), pp. 1309–1314.
SAC-2014-RiveraC #java #source code: Translating event-B to JML-specified Java programs (VR, NC), pp. 1264–1271.
SAC-2014-RockiBS #abstraction #future of #performance #programming #question: The future of accelerator programming: abstraction, performance or can we have both? (KR, MB, RS), pp. 886–895.
SAC-2014-SehicNVLD #adaptation #development #named #programming: Entity-adaptation: a programming model for development of context-aware applications (SS, SN, MV, FL, SD), pp. 436–443.
FSE-2014-BinkleyGHIKY #independence #named #slicing: ORBS: language-independent program slicing (DB, NG, MH, SSI, JK, SY), pp. 109–120.
FSE-2014-EslamimehrP #concurrent #detection #named #scalability #source code: Sherlock: scalable deadlock detection for concurrent programs (ME, JP), pp. 353–365.
FSE-2014-Gao #program analysis #testing: Numerical program analysis and testing (ZG), pp. 779–782.
FSE-2014-GulwaniRZ #feedback #generative #performance #problem #programming: Feedback generation for performance problems in introductory programming assignments (SG, IR, FZ), pp. 41–51.
FSE-2014-HigoK #case study #functional #how #java #source code: How should we measure functional sameness from program source code? an exploratory study on Java methods (YH, SK), pp. 294–305.
FSE-2014-RayPFD #case study #git #programming language #quality #scalability: A large scale study of programming languages and code quality in github (BR, DP, VF, PTD), pp. 155–165.
FSE-2014-SalvaneschiAPM #comprehension #empirical #programming: An empirical study on program comprehension with reactive programming (GS, SA, SP, MM), pp. 564–575.
ICSE-2014-ArztB #analysis #data flow #incremental #named: Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes (SA, EB), pp. 288–298.
ICSE-2014-CachoCFSCSGBG #c# #empirical #evolution #maintenance #robust #source code: Trading robustness for maintainability: an empirical study of evolving c# programs (NC, TC, TF, ES, AC, RS, IG, EAB, AG), pp. 584–595.
ICSE-2014-CaiWC #approach #constraints #dynamic analysis #named #parallel #source code #thread: ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs (YC, SW, WKC), pp. 491–502.
ICSE-2014-HuangZTWL #android #behaviour #detection #named #user interface: AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction (JH, XZ, LT, PW, BL), pp. 1036–1046.
ICSE-2014-JiangGXML #concurrent #java #named #source code: CARE: cache guided deterministic replay for concurrent Java programs (YJ, TG, CX, XM, JL), pp. 457–467.
ICSE-2014-OkurHDD #c# #case study #programming #tool support: A study and toolkit for asynchronous programming in c# (SO, DLH, DD, AvD), pp. 1117–1127.
ICSE-2014-QiMLDW #automation #program repair #random: The strength of random search on automated program repair (YQ, XM, YL, ZD, CW), pp. 254–265.
LDTA-J-2011-SauthoffG #analysis #domain-specific language #optimisation #programming: Yield grammar analysis and product optimization in a domain-specific language for dynamic programming (GS, RG), pp. 2–22.
SLE-J-2012-SloaneR #attribute grammar #domain-specific language #profiling #term rewriting: Domain-specific program profiling and its application to attribute grammars and term rewriting (AMS, MR), pp. 488–510.
SLE-2014-KuhnLGSA #metamodelling #modelling #product line #programming language: A Metamodel Family for Role-Based Modeling and Programming Languages (TK, ML, SG, CS, UA), pp. 141–160.
SPLC-2014-GreggSLC #aspect-oriented #lessons learnt #multi #product line: Lessons from AEGIS: organizational and governance aspects of a major product line in a multi-program environment (SPG, RS, EL, PC), pp. 264–273.
SPLC-2014-SchroterSTS #interface #product line #programming: Feature-context interfaces: tailored programming interfaces for software product lines (RS, NS, TT, GS), pp. 102–111.
CC-2014-FeautrierVK #performance #source code: Improving the Performance of X10 Programs by Clock Removal (PF, EV, AK), pp. 113–132.
CC-2014-TavaresBPR #analysis #data flow: Parameterized Construction of Program Representations for Sparse Dataflow Analyses (ALCT, BB, FMQP, FR), pp. 18–39.
CGO-2014-PanditG #execution #kernel #multi #source code: Fluidic Kernels: Cooperative Execution of OpenCL Programs on Multiple Heterogeneous Devices (PP, RG), p. 273.
HPCA-2014-BalasubramanianS #comprehension #execution #physics #reliability: Understanding the impact of gate-level physical reliability effects on whole program execution (RB, KS), pp. 60–71.
HPCA-2014-FletcherRYDKD #information management #performance #ram #trade-off: Suppressing the Oblivious RAM timing channel while making information leakage and program efficiency trade-offs (CWF, LR, XY, MvD, OK, SD), pp. 213–224.
HPCA-2014-WangDDS #concurrent #memory management #multi #named #predict #source code #thread: DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead (WW, TD, JWD, MLS), pp. 380–391.
HPDC-2014-BestaH #fault tolerance #memory management #modelling #programming: Fault tolerance for remote memory access programming models (MB, TH), pp. 37–48.
LCTES-2014-ChandramohanO #clustering #design #energy #source code: Partitioning data-parallel programs for heterogeneous MPSoCs: time and energy design space exploration (KC, MFPO), pp. 73–82.
LCTES-2014-HenryAMM #encoding #execution #how #modulo theories #optimisation #semantics #worst-case: How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics (JH, MA, DM, CM), pp. 43–52.
OSDI-2014-KimHZHWWS #abstraction #gpu #named #network #source code: GPUnet: Networking Abstractions for GPU Programs (SK, SH, XZ, YH, AW, EW, MS), pp. 201–216.
PPoPP-2014-AgrawalFSSU #data type #parallel #scheduling #source code: Provably good scheduling for parallel programs that use data structures through implicit batching (KA, JTF, BS, JS, RU), pp. 389–390.
PPoPP-2014-CunninghamGHIKMSTT #performance #programming: Resilient X10: efficient failure-aware programming (DC, DG, BH, AI, KK, HM, VAS, MT, OT), pp. 67–80.
PPoPP-2014-EslamimehrP #concurrent #scheduling #source code: Race directed scheduling of concurrent programs (ME, JP), pp. 301–314.
PPoPP-2014-LiuM #architecture #parallel #performance #source code #thread: A tool to analyze the performance of multithreaded programs on NUMA architectures (XL, JMMC), pp. 259–272.
PPoPP-2014-LuoLHKP #hybrid #manycore #programming #runtime: Initial study of multi-endpoint runtime for MPI+OpenMP hybrid programming model on multi-core systems (ML, XL, KH, KCK, DKP), pp. 395–396.
PPoPP-2014-MalekiMM #convergence #programming #rank: Parallelizing dynamic programming through rank convergence (SM, MM, TM), pp. 219–232.
PPoPP-2014-Olukotun #domain-specific language #parallel #programming: Beyond parallel programming with domain specific languages (KO), pp. 179–180.
PPoPP-2014-RodriguesJDH #algorithm #clustering #interface #named #programming: Triolet: a programming system that unifies algorithmic skeleton interfaces for high-performance cluster computing (CIR, TBJ, AD, WmWH), pp. 247–258.
CAV-2014-ChengHRS #automation #generative #named #source code: G4LTL-ST: Automatic Generation of PLC Programs (CHC, CHH, HR, SS), pp. 541–549.
CAV-2014-HeizmannHP #analysis #learning #source code #termination: Termination Analysis by Learning Terminating Programs (MH, JH, AP), pp. 797–813.
CAV-2014-InversoT0TP #bound #c #concurrent #lazy evaluation #model checking #multi #source code #thread: Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization (OI, ET, BF, SLT, GP), pp. 585–602.
CAV-2014-KomuravelliGC #model checking #recursion #smt #source code: SMT-Based Model Checking for Recursive Programs (AK, AG, SC), pp. 17–34.
CAV-2014-KupriyanovF #concurrent #multi #source code #termination #thread: Causal Termination of Multi-threaded Programs (AK, BF), pp. 814–830.
CAV-2014-MadhavanK #bound #functional #source code: Symbolic Resource Bound Inference for Functional Programs (RM, VK), pp. 762–778.
ICLP-J-2014-AlvianoDR #programming #set: Anytime Computation of Cautious Consequences in Answer Set Programming (MA, CD, FR), pp. 755–770.
ICLP-J-2014-Antic #on the #set #source code: On Cascade Products of Answer Set Programs (CA), pp. 711–723.
ICLP-J-2014-BartakZ #logic programming #problem #using: Using Tabled Logic Programming to Solve the Petrobras Planning Problem (RB, NFZ), pp. 697–710.
ICLP-J-2014-BellodiLRCZ #logic programming #probability: Lifted Variable Elimination for Probabilistic Logic Programming (EB, EL, FR, VSC, RZ), pp. 681–695.
ICLP-J-2014-CabalarFF #graph #logic programming #source code: Causal Graph Justifications of Logic Programs (PC, JF, MF), pp. 603–618.
ICLP-J-2014-CharalambidisER #higher-order #logic programming #semantics: Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (AC, ZÉ, PR), pp. 725–737.
ICLP-J-2014-CruzRGP #concurrent #graph #linear #logic programming #programming language: A Linear Logic Programming Language for Concurrent Programming over Graph Structures (FC, RR, SCG, FP), pp. 493–507.
ICLP-J-2014-GelfondZ #logic programming #source code: Vicious Circle Principle and Logic Programs with Aggregates (MG, YZ), pp. 587–601.
ICLP-J-2014-HoosLS #algorithm #programming #set: claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (HH, MTL, TS), pp. 569–585.
ICLP-J-2014-LagerW #logic programming #named #web: Pengines: Web Logic Programming Made Easy (TL, JW), pp. 539–552.
ICLP-J-2014-MarpleG #consistency #programming #set: Dynamic Consistency Checking in Goal-Directed Answer Set Programming (KM, GG), pp. 415–427.
ICLP-J-2014-PimentelON #concurrent #constraints #programming #proving: A Proof Theoretic Study of Soft Concurrent Constraint Programming (EP, CO, VN), pp. 649–663.
ICLP-J-2014-SerranoLH #abstract interpretation #analysis #logic programming #resource management #source code #using: Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (AS, PLG, MVH), pp. 739–754.
ICST-2014-AssiriB #assessment #automation #quality: An Assessment of the Quality of Automated Program Operator Repair (FYA, JMB), pp. 273–282.
ICST-2014-KifetewJTOT #grammarware #source code: Reproducing Field Failures for Programs with Complex Grammar-Based Input (FMK, WJ, RT, AO, PT), pp. 163–172.
ICST-2014-MoonKKY #fault #locality #source code: Ask the Mutants: Mutating Faulty Programs for Fault Localization (SM, YK, MK, SY), pp. 153–162.
ICST-2014-PapadakisHT #analysis #combinator #interactive #mutation testing #testing: Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing (MP, CH, YLT), pp. 1–10.
ICTSS-2014-MossigeGM #case study #constraints #industrial #programming #testing #using: Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study (MM, AG, HM), pp. 145–160.
IJCAR-2014-GieslBEFFOPSSST #automation #proving #source code #termination: Proving Termination of Programs Automatically with AProVE (JG, MB, FE, FF, CF, CO, MP, PSK, TS, SS, RT), pp. 184–191.
IJCAR-2014-StroderGBFFHS #memory management #pointer #proving #safety #source code #termination: Proving Termination and Memory Safety for Programs with Pointer Arithmetic (TS, JG, MB, FF, CF, JH, PSK), pp. 208–223.
ISSTA-2014-ArltPW #slicing #testing #user interface: Reducing GUI test suites via program slicing (SA, AP, MW), pp. 270–281.
ISSTA-2014-BaudryAM #program transformation #source code: Tailored source code transformations to synthesize computationally diverse program variants (BB, SA, MM), pp. 149–159.
ISSTA-2014-Chen #constraints #program analysis #proving #reuse #scalability: Reusing constraint proofs for scalable program analysis (MC), pp. 449–452.
ISSTA-2014-JustJE #database #fault #java #named #source code #testing: Defects4J: a database of existing faults to enable controlled testing studies for Java programs (RJ, DJ, MDE), pp. 437–440.
ISSTA-2014-LeAGG #haskell #mutation testing #named #source code #testing: MuCheck: an extensible tool for mutation testing of haskell programs (DL, MAA, RG, AG), pp. 429–432.
ISSTA-2014-LinK #automation #concurrent #multi #satisfiability #source code #thread #using: Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability (YL, SSK), pp. 237–247.
ISSTA-2014-XuZXW #c #named #source code: Canalyze: a static bug-finding tool for C programs (ZX, JZ, ZX, JW), pp. 425–428.
LICS-CSL-2014-LiangFS #composition #concurrent #refinement #source code #verification: Compositional verification of termination-preserving refinement of concurrent programs (HL, XF, ZS), p. 10.
RTA-TLCA-2014-Schmidt-Schauss #analysis #concurrent #programming language #semantics: Concurrent Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) (MSS), pp. 21–30.
SMT-2014-CarlssonGP #analysis #constraints #programming #protocol: Protocol Log Analysis with Constraint Programming (MC, OG, JP), pp. 17–26.
SMT-2014-FremontS #program analysis #smt: Speeding Up SMT-Based Quantitative Program Analysis (DJF, SAS), pp. 3–13.
SMT-2014-KingBT #integer #linear #programming #smt: Leveraging Linear and Mixed Integer Programming for SMT (TK, CB, CT), p. 65.
TAP-2014-KahkonenH #automation #lightweight #parallel #source code #testing #thread: Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.
TAP-2014-KanigCCGMR #verification: Explicit Assumptions — A Prenup for Marrying Static and Dynamic Program Verification (JK, RC, CC, JG, YM, ER), pp. 142–157.
VMCAI-2014-AngelisFPP #array #source code #verification: Verifying Array Programs by Transforming Verification Conditions (EDA, FF, AP, MP), pp. 182–202.
VMCAI-2014-BozgaIK #integer #problem #safety #source code: Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops (MB, RI, FK), pp. 242–261.
VMCAI-2014-LeikeT #polynomial #source code #synthesis: Synthesis for Polynomial Lasso Programs (JL, AT), pp. 434–452.
VMCAI-2014-SchwarzSVA #analysis #precise #source code: Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs (MDS, HS, VV, KA), pp. 21–38.
ASE-2013-ChoDS #bound #composition #model checking #named #source code: BLITZ: Compositional bounded model checking for real-world programs (CYC, VD, DS), pp. 136–146.
ASE-2013-Demasi #fault tolerance #logic #source code #specification: Synthesizing fault-tolerant programs from deontic logic specifications (RD), pp. 750–753.
ASE-2013-KifetewJTOT #approach #grammarware #named #source code: SBFR: A search based approach for reproducing failures of programs with grammar based input (FMK, WJ, RT, AO, PT), pp. 604–609.
ASE-2013-LiRSDC #data flow #generative #named #source code: SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
ASE-2013-TasharofiPLJ #automation #named #source code #testing: Bita: Coverage-guided, automatic testing of actor programs (ST, MP, YL, REJ), pp. 114–124.
ASE-2013-WeimerFF #adaptation #equivalence #modelling #program repair: Leveraging program equivalence for adaptive program repair: Models and first results (WW, ZPF, SF), pp. 356–366.
ASE-2013-XuHRW #data flow #testing: Testing properties of dataflow program operators (ZX, MH, GR, KLW), pp. 103–113.
CASE-2013-LiF #approach #integer #linear #multi #problem #programming #scheduling: A mixed integer linear programming approach for multi-degree cyclic multi-hoist scheduling problems without overlapping (XL, RYKF), pp. 274–279.
CASE-2013-RossanoMHMF #concept #industrial #perspective #programming: Easy robot programming concepts: An industrial perspective (GFR, CM, MH, SM, TAF), pp. 1119–1126.
CASE-2013-SilvaCTS #automation #linear #optimisation #programming: A mixed-integer linear programming model for automatic routing decisions in oil production optimization (TLS, EC, AFT, SS), pp. 280–285.
DAC-2013-ShafiqueRAH #fault #optimisation #reliability: Exploiting program-level masking and error propagation for constrained reliability optimization (MS, SR, PVA, JH), p. 9.
DATE-2013-LiuLHCLL #clustering #effectiveness #linear #network #programming #prototype #statistics: Effective power network prototyping via statistical-based clustering and sequential linear programming (SYSL, CJL, CCH, HMC, CTL, CHL), pp. 1701–1706.
DATE-2013-LukasiewyczSC #programming #using: Priority assignment for event-triggered systems using mathematical programming (ML, SS, SC), pp. 982–987.
DATE-2013-Moy #approach #modelling #parallel #programming: Parallel programming with SystemC for loosely timed models: a non-intrusive approach (MM), pp. 9–14.
VLDB-2013-KolaitisPT #consistency #database #integer #performance #programming #query: Efficient Querying of Inconsistent Databases with Binary Integer Programming (PGK, EP, WCT), pp. 397–408.
CSEET-2013-ArdisBCVI #education #re-engineering #source code #using: Using GSwE2009 in the creation and modification of graduate software engineering programs and related curricula (MAA, SB, LC, DV, SI), pp. 109–118.
CSEET-2013-Edwards #programming #testing: Adding software testing to programming assignments (SHE), pp. 371–373.
CSEET-2013-EterovicGB #approach #education #process: Teaching software processes to professionals: The approach taken by an evening master’s degree program (YE, GG, JB), pp. 309–313.
CSEET-2013-LiPK #programming: A spirit of camaraderie: The impact of pair programming on retention (ZL, CP, EK), pp. 209–218.
CSEET-2013-NobleHBB #design #education #programming language #question #re-engineering: Designing Grace: Can an introductory programming language support the teaching of software engineering? (JN, MH, KBB, APB), pp. 219–228.
ITiCSE-2013-Alshaigy #development #education #interactive #learning #programming language #python: Development of an interactive learning tool to teach python programming language (BA), p. 344.
ITiCSE-2013-BalzuweitS #named #programming #visualisation: SnapViz: visualizing programming assignment snapshots (EB, JS), p. 350.
ITiCSE-2013-Baumgartner #approach #case study #design #education #information management #using: Using case studies to design and deliver technology-centered computing education courses: an innovative approach from an undergraduate information systems program in singapore (IB), pp. 189–194.
ITiCSE-2013-EsperFG #named #programming: CodeSpells: embodying the metaphor of wizardry for programming (SE, SRF, WGG), pp. 249–254.
ITiCSE-2013-Gordon #concept #mobile #programming: Concepts for mobile programming (AJG), pp. 58–63.
ITiCSE-2013-HawthorneC #learning #source code: ACM core IT learning outcomes for associate-degree programs (EKH, RDC), p. 357.
ITiCSE-2013-Honig #education #programming #visual notation: Teaching and assessing programming fundamentals for non majors with visual programming (WLH), pp. 40–45.
ITiCSE-2013-HowardS #bibliography #communication #re-engineering #source code: A survey of communication skills in computerscience/software engineering (CS/SE) abet-accredited programs (AH, BS), p. 364.
ITiCSE-2013-Law13a #feedback #game studies #programming #student #using: Using screencasts to enhance coursework feedback for game programming students (RL), p. 329.
ITiCSE-2013-LiLMZ #programming #question: Introduction to programming: science or art? (TL, WL, XM, HZ), p. 324.
ITiCSE-2013-MatsuzawaOS #process #programming #student #visualisation: Programming process visualizer: a proposal of the tool for students to observe their programming process (YM, KO, SS), pp. 46–51.
ITiCSE-2013-MedinaPGR #data mining #education #learning #mining #programming #using: Assistance in computer programming learning using educational data mining and learning analytics (CFM, JRPP, VMÁG, MdPPR), pp. 237–242.
ITiCSE-2013-ReedZ #framework #learning: A hierarchical framework for mapping and quantitatively assessing program and learning outcomes (JR, HZ), pp. 52–57.
ITiCSE-2013-SabitzerS #concept #education #programming: Brain-based programming: a new concept for computer science education (BS, SS), p. 345.
ITiCSE-2013-ScottG #learning #programming #question: Implicit theories of programming aptitude as a barrier to learning to code: are they distinct from intelligence? (MJS, GG), p. 347.
ITiCSE-2013-SheardSCDH #assessment #programming: Assessment of programming: pedagogical foundations of exams (JS, S, AC, DJD, MH), pp. 141–146.
ITiCSE-2013-SpaccoFSR #programming #towards: Towards improving programming habits to create better computer science course outcomes (JS, DF, JS, KR), pp. 243–248.
ITiCSE-2013-TsompanoudiSX #collaboration #distributed #embedded #programming: Exploring the effects of collaboration scripts embedded in a distributed pair programming system (DT, MS, SX), pp. 225–230.
ITiCSE-2013-ZarbHR #communication #guidelines #programming #student: Industry-inspired guidelines improve students’ pair programming communication (MZ, JH, JR), pp. 135–140.
ESOP-2013-AlglaveKNT #memory management #program transformation #verification: Software Verification for Weak Memory via Program Transformation (JA, DK, VN, MT), pp. 512–532.
ESOP-2013-BouajjaniEEH #concurrent #source code #specification #verification: Verifying Concurrent Programs against Sequential Specifications (AB, ME, CE, JH), pp. 290–309.
ESOP-2013-FilliatreP #named #proving #source code #why: Why3 — Where Programs Meet Provers (JCF, AP), pp. 125–128.
ESOP-2013-KassiosK #verification: A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness (ITK, EK), pp. 149–168.
ESOP-2013-KobayashiI #higher-order #model checking #recursion #source code: Model-Checking Higher-Order Programs with Recursive Types (NK, AI), pp. 431–450.
FASE-2013-BouchouchaSL #behaviour #comprehension #modelling #probability #towards #using: Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs (AB, HAS, PL), pp. 99–113.
FoSSaCS-2013-HofmannRS #morphism #pointer #source code: Pure Pointer Programs and Tree Isomorphism (MH, RR, US), pp. 321–336.
TACAS-2013-BhatBGR #functional #probability #source code: Deriving Probability Density Functions from Probabilistic Functional Programs (SB, JB, ADG, CVR), pp. 508–522.
TACAS-2013-FalkeMS #bound #c #contest #model checking #named #source code #using: LLBMC: Improved Bounded Model Checking of C Programs Using LLVM — (Competition Contribution) (SF, FM, CS), pp. 623–626.
TACAS-2013-GantyIK #approximate #integer #source code #summary: Underapproximation of Procedure Summaries for Integer Programs (PG, RI, FK), pp. 245–259.
TACAS-2013-GodefroidY #analysis #source code: Analysis of Boolean Programs (PG, MY), pp. 214–229.
TACAS-2013-LiDDMS #abduction #composition #proving #synthesis: Synthesis of Circular Compositional Program Proofs via Abduction (BL, ID, TD, KLM, MS), pp. 370–384.
TACAS-2013-PopeeaR #concurrent #contest #multi #named #source code #thread #verification: Threader: A Verifier for Multi-threaded Programs — (Competition Contribution) (CP, AR), pp. 633–636.
CSMR-2013-JaafarHGHA #empirical #evolution #on the: On the Relationship between Program Evolution and Fault-Proneness: An Empirical Study (FJ, SH, YGG, SH, BA), pp. 15–24.
CSMR-2013-SasakiHK #order #readability: Reordering Program Statements for Improving Readability (YS, YH, SK), pp. 361–364.
ICPC-2013-BernhartG #code review #comprehension #on the #source code: On the understanding of programs with continuous code reviews (MB, TG), pp. 192–198.
ICPC-2013-GuptaMPV #identifier #re-engineering #tool support: Part-of-speech tagging of program identifiers for improved text-based software engineering tools (SG, SM, LLP, KVS), pp. 3–12.
ICPC-2013-MahmoudN #algorithm #clustering #comprehension: Evaluating software clustering algorithms in the context of program comprehension (AM, NN), pp. 162–171.
ICPC-2013-Myers #comprehension: Improving program comprehension by answering questions (keynote) (BAM), pp. 1–2.
ICSM-2013-HillSPV: Differentiating Roles of Program Elements in Action-Oriented Concerns (EH, DS, LLP, KVS), pp. 376–379.
ICSM-2013-QianPXJZ #logic #mining #programming: Mining Logical Clones in Software: Revealing High-Level Business and Programming Rules (WQ, XP, ZX, SJ, WZ), pp. 40–49.
ICSM-2013-QiML #automation #performance #program repair #testing: Efficient Automated Program Repair through Fault-Recorded Testing Prioritization (YQ, XM, YL), pp. 180–189.
ICSM-2013-XinQHXZWG #concurrent #empirical #source code: An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs (RX, ZQ, SH, CX, YZ, YW, HG), pp. 100–109.
ICSM-2013-YamashitaM #maintenance #taxonomy #towards: Towards a Taxonomy of Programming-Related Difficulties during Maintenance (AFY, LM), pp. 424–427.
MSR-2013-FuLLDZX #analysis #behaviour #comprehension: Contextual analysis of program logs for understanding system behaviors (QF, JGL, QL, RD, DZ, TX), pp. 397–400.
MSR-2013-MorrisonM #programming #stack overflow: Is programming knowledge related to age? an exploration of stack overflow (PM, ERMH), pp. 69–72.
PASTE-2013-Lu #automation #mining: Automatically mining program build information via signature matching (CDL), pp. 25–32.
PASTE-2013-ModiRA #debugging #locality #statistics: Exploring program phases for statistical bug localization (VM, SR, SKA), pp. 33–40.
SCAM-2013-KiwelekarJ #abstraction #object-oriented #ontology #programming: Ontological interpretation of object-oriented programming abstractions (AWK, RKJ), pp. 189–198.
SCAM-2013-MarcozziVH #algorithm #constraints #database #execution #relational #source code #symbolic computation #testing: A relational symbolic execution algorithm for constraint-based testing of database programs (MM, WV, JLH), pp. 179–188.
WCRE-2013-ClearyGVSSP #analysis #interactive #memory management #multi: Reconstructing program memory state from multi-gigabyte instruction traces to support interactive analysis (BC, PG, EV, MADS, MS, FP), pp. 42–51.
WCRE-2013-HarmanLW #programming #reverse engineering #search-based: Genetic programming for Reverse Engineering (MH, WBL, WW), pp. 1–10.
WCRE-2013-SohKGAA #maintenance #on the: On the effect of program exploration on maintenance tasks (ZS, FK, YGG, GA, BA), pp. 391–400.
PEPM-2013-AktemurKKS #challenge #generative #programming: Shonan challenge for generative programming: short position paper (BA, YK, OK, CcS), pp. 147–154.
PEPM-2013-AngelisFPP #source code #verification: Verifying programs via iterated specialization (EDA, FF, AP, MP), pp. 43–52.
PEPM-2013-CarbinKMR #approximate #program transformation: Verified integrity properties for safe approximate program transformations (MC, DK, SM, MCR), pp. 63–66.
PEPM-2013-SatoUK #higher-order #model checking #scalability #source code #towards: Towards a scalable software model checker for higher-order programs (RS, HU, NK), pp. 53–62.
PEPM-2013-SunCZ #analysis #constraints #locality #source code: Constraint-based locality analysis for X10 programs (QS, YC, JZ), pp. 137–146.
PLDI-2013-BurckhardtFHMMTK #exclamation #feedback #programming #user interface: It’s alive! continuous feedback in UI programming (SB, MF, PdH, SM, MM, NT, JK), pp. 95–104.
PLDI-2013-CookK #nondeterminism #reasoning #source code: Reasoning about nondeterminism in programs (BC, EK), pp. 219–230.
PLDI-2013-CzaplickiC #functional #programming #user interface: Asynchronous functional reactive programming for GUIs (EC, SC), pp. 411–422.
PLDI-2013-DesaiGJQRZ #named #programming: P: safe asynchronous event-driven programming (AD, VG, EKJ, SQ, SKR, DZ), pp. 321–332.
PLDI-2013-GreenLRSV #named #programming language #quantum #scalability: Quipper: a scalable quantum programming language (ASG, PLL, NJR, PS, BV), pp. 333–342.
PLDI-2013-JohnsonOZA #dependence #graph #performance: Fast condensation of the program dependence graph (NPJ, TO, AZ, DIA), pp. 39–50.
PLDI-2013-SankaranarayananCG #probability #source code #static analysis: Static analysis for probabilistic programs: inferring whole program properties from finitely many paths (SS, AC, SG), pp. 447–458.
PLDI-2013-Schneider #programming language #security: Programming languages in security: keynote (FBS), pp. 139–140.
PLDI-2013-SinghGS #automation #feedback #generative #programming: Automated feedback generation for introductory programming assignments (RS, SG, ASL), pp. 15–26.
PLDI-2013-SwamyWSCL #higher-order #monad #source code #verification: Verifying higher-order programs with the dijkstra monad (NS, JW, CS, JC, BL), pp. 387–398.
SAS-2013-BrainDGHK #float #source code #verification: Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL (MB, VD, AG, LH, DK), pp. 412–432.
SAS-2013-Goubault #abstract interpretation #source code #static analysis: Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT (EG), pp. 1–3.
SAS-2013-Komondoor #abstract interpretation #imperative #precise #slicing #source code: Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation (RK), pp. 259–282.
SAS-2013-MajumdarMW #message passing #source code #verification: Static Provenance Verification for Message Passing Programs (RM, RM, ZW), pp. 366–387.
SAS-2013-NamjoshiZ #program transformation: Witnessing Program Transformations (KSN, LDZ), pp. 304–323.
SAS-2013-PartushY #difference #semantics #source code: Abstract Semantic Differencing for Numerical Programs (NP, EY), pp. 238–258.
SAS-2013-Roy #source code: From Concrete Examples to Heap Manipulating Programs (SR), pp. 126–149.
CIAA-2013-HenryS #equivalence #testing: LALBLC A Program Testing the Equivalence of dpda’s (PH, GS), pp. 169–180.
ICALP-v1-2013-Kolmogorov #linear #power of #programming: The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization (VK), pp. 625–636.
ICALP-v2-2013-BartheO #composition #difference #logic #privacy #probability #relational #source code #theorem: Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs (GB, FO), pp. 49–60.
IFM-2013-Abrial #proving #source code: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs (JRA), pp. 1–15.
IFM-2013-LucanuR #equivalence #reasoning: Program Equivalence by Circular Reasoning (DL, VR), pp. 362–377.
SEFM-2013-JiHB #deduction #execution #program transformation #symbolic computation: Program Transformation Based on Symbolic Execution and Deduction (RJ, RH, RB), pp. 289–304.
CEFP-2013-AchtenKP #programming: An Introduction to Task Oriented Programming (PA, PWMK, RP), pp. 187–245.
CEFP-2013-Brady #dependent type #domain-specific language #embedded #implementation #programming language: The Idris Programming Language — Implementing Embedded Domain Specific Languages with Dependent Types (EB), pp. 115–186.
CEFP-2013-DaneluttoT #parallel #programming: Structured Parallel Programming with “core” FastFlow (MD, MT), pp. 29–75.
CEFP-2013-Gibbons #domain-specific language #functional #programming: Functional Programming for Domain-Specific Languages (JG), pp. 1–28.
ICFP-2013-AxelssonC #functional #higher-order #source code #syntax #using: Using circular programs for higher-order syntax: functional pearl (EA, KC), pp. 257–262.
ICFP-2013-Brady #algebra #dependent type #programming #reasoning: Programming and reasoning with algebraic effects and dependent types (EB), pp. 133–144.
ICFP-2013-Chlipala #generative #hoare #logic #metaprogramming #verification: The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier (AC), pp. 391–402.
ICFP-2013-DevrieseP #metaprogramming: Typed syntactic meta-programming (DD, FP), pp. 73–86.
ICFP-2013-Jeffrey #functional #liveness #programming: Functional reactive programming with liveness guarantees (AJ), pp. 233–244.
ICFP-2013-Krishnaswami #functional #higher-order #programming: Higher-order functional reactive programming without spacetime leaks (NRK), pp. 221–232.
ICFP-2013-McDonellCKL #functional #gpu #optimisation #source code: Optimising purely functional GPU programs (TLM, MMTC, GK, BL), pp. 49–60.
ICFP-2013-Norell #dependent type #interactive #programming: Interactive programming with dependent types (UN), pp. 1–2.
ICFP-2013-PetersenGDAD #case study #experience #functional #programming: Experience report: functional programming of mHealth applications (CP, MG, DTD, JMA, GAD), pp. 357–362.
ICFP-2013-PottierP #programming: Programming with permissions in Mezzo (FP, JP), pp. 173–184.
ICFP-2013-ZilianiDKNV #coq #monad #named #programming: Mtac: a monad for typed tactic programming in Coq (BZ, DD, NRK, AN, VV), pp. 87–100.
IFL-2013-FowlerB #dependent type #programming #web: Dependent Types for Safe and Secure Web Programming (SF, EB), p. 49.
IFL-2013-HackettHJ #approach #optimisation #recursion #source code: The Under-Performing Unfold: A new approach to optimising corecursive programs (JH, GH, MJ), p. 1.
GCM-J-2012-PoskittP #correctness #graph #source code #verification: Verifying Total Correctness of Graph Programs (CMP, DP).
GT-VMT-2013-ColomboP #automaton #programming: Monitor-Oriented Compensation Programming Through Compensating Automata (CC, GJP).
CHI-2013-KuttalSR #debugging #programming: Debugging support for end user mashup programming (SKK, AS, GR), pp. 1609–1618.
HCI-IMT-2013-OkuuchiKKK #modelling #source code: Modeling Situation-Dependent Nonverbal Expressions for a Pair of Embodied Agent in a Dialogue Based on Conversations in TV Programs (KO, KK, TK, DK), pp. 340–347.
HCI-UC-2013-RodriguesNT #interactive #multi #source code: Interaction of the Elderly Viewer with Additional Multimedia Content to Support the Appreciation of Television Programs (KRdHR, VPdAN, CACT), pp. 227–236.
HIMI-LCCB-2013-KanamoriTA #development #learning #programming: Development of a Computer Programming Learning Support System Based on Reading Computer Program (HK, TT, TA), pp. 63–69.
OCSC-2013-YamauchiHN #analysis #source code #twitter: Searching Emotional Scenes in TV Programs Based on Twitter Emotion Analysis (TY, YH, YIN), pp. 432–441.
VISSOFT-2013-AbuthawabehZ #comprehension #interactive #multi #named #visualisation: IMMV: An interactive multi-matrix visualization for program comprehension (AA, DZ), pp. 1–4.
VISSOFT-2013-HomerN #editing #programming language: A tile-based editor for a textual programming language (MH, JN), pp. 1–4.
AdaEurope-2013-BrandonC #ada: A SPARK/Ada CubeSat Control Program (CB, PC), pp. 51–64.
HILT-2013-Alagic #automation #interactive #verification: Automatic versus interactive program verification (SA), pp. 87–88.
HILT-2013-MichellMP #manycore #programming #realtime: Real-time programming on accelerator many-core processors (SM, BM, LMP), pp. 23–36.
HILT-2013-Taft #concurrent #named #parallel #proving #safety #source code #thread #tutorial: Tutorial: proving safety of parallel / multi-threaded programs (STT), pp. 1–2.
HILT-2013-Taft13a #ada #parallel #programming #set: Bringing safe, dynamic parallel programming to the spark verifiable subset of ada (STT), pp. 37–40.
CAiSE-2013-ScekicTD #information management #programming: Programming Incentives in Information Systems (OS, HLT, SD), pp. 688–703.
ICEIS-v2-2013-HollingsworthP #student: Seeding the Cloud with Students from Every Computer Science Undergraduate Program (JKH, DJP), pp. 513–518.
ICEIS-v2-2013-ToureSA #enterprise #modelling #source code #validation: A2MO and ETREOSys — Analyzing, Modeling and Validation of Enterprise Training Programs (FT, MS, EA), pp. 310–316.
ICML-c1-2013-BuhlerRSH #clustering #community #detection #set #source code: Constrained fractional set programs and their application in local clustering and community detection (TB, SSR, SS, MH), pp. 624–632.
ICML-c1-2013-HallW #modelling #online #programming: Dynamical Models and tracking regret in online convex programming (ECH, RW), pp. 579–587.
ICML-c1-2013-MenonTGLK #framework #machine learning #programming: A Machine Learning Framework for Programming by Example (AKM, OT, SG, BWL, AK), pp. 187–195.
ICML-c3-2013-DalalyanHMS #learning #modelling #programming: Learning Heteroscedastic Models by Convex Programming under Group Sparsity (ASD, MH, KM, JS), pp. 379–387.
KDIR-KMIS-2013-PereiraRT #data mining #mining #source code #student: Extraction Student Dropout Patterns with Data Mining Techniques in Undergraduate Programs (RTP, ACR, JJT), pp. 136–142.
KEOD-2013-Cruz-FilipeNG #logic programming #multi #ontology #source code: Patterns for Interfacing between Logic Programs and Multiple Ontologies (LCF, IN, GG), pp. 58–69.
KEOD-2013-NogueiraG #multi #nondeterminism #programming #set: Supply Chain Tracing of Multiple Products under Uncertainty and Incomplete Information — An Application of Answer Set Programming (MLN, NPG), pp. 399–406.
SEKE-2013-AlshammariFC #bytecode #java #metric #security #source code: Security Metrics for Java Bytecode Programs (S) (BA, CJF, DC), pp. 394–399.
SEKE-2013-DelfimG #coordination #mining #multi #slicing #using: Multiple Coordinated Views to Support Aspect Mining Using Program Slicing (S) (FMD, REG), pp. 531–536.
SEKE-2013-JanesMSS #analysis #problem #programming #requirements: Domain Analysis in Combination with Extreme Programming toAddress Requirements Volatility Problems (S) (AJ, SM, AS, GS), pp. 226–231.
SEKE-2013-KatoSWF #comparative #evaluation #paradigm #programming: Comparative Evaluation of Programming Paradigms: Separation of Concerns with Object-, Aspect-, and Context-Oriented Programming (S) (FK, KS, HW, YF), pp. 594–599.
SEKE-2013-MaghrabyR #synthesis: Argumentation Understood as Program Synthesis (S) (AM, DR), pp. 681–684.
SEKE-2013-QiHW #combinator #concurrent #source code #testing: A Mixed-way Combinatorial Testing for Concurrent Programs (S) (XQ, JH, PW), pp. 699–702.
SEKE-2013-RamosRO #process #source code #towards: Towards a strategy for analysing benefits of Software Process Improvement programs (CSR, ARR, KMdO), pp. 638–643.
SEKE-2013-SakamotoWF #design pattern #object-oriented #programming language: Extended Design Patterns in New Object-Oriented Programming Languages (S) (KS, HW, YF), pp. 600–605.
SEKE-2013-SantosBC #analysis #education #game studies #modelling #programming #semantics: A Knowledge Modeling System for Semantic Analysis of Games Applied to Programming Education (ECOdS, GBB, EWGC), pp. 668–673.
ICMT-2013-FaunesSB #approach #model transformation: Genetic-Programming Approach to Learn Model Transformation Rules from Examples (MF, HAS, MB), pp. 17–32.
ECOOP-2013-AliL #named #program analysis: Averroes: Whole-Program Analysis without the Whole Program (KA, OL), pp. 378–400.
ECOOP-2013-AnsaloniKZBBT #composition #java #program analysis #tool support #virtual machine: Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine (DA, SK, YZ, LB, WB, PT), pp. 352–377.
ECOOP-2013-LernerELK #source code #static typing: Combining Form and Function: Static Types for JQuery Programs (BSL, LE, JL, SK), pp. 79–103.
ECOOP-2013-MaierO #higher-order #incremental #programming: Higher-Order Reactive Programming with Incremental Lists (IM, MO), pp. 707–731.
ECOOP-2013-OliveiraSLC #algebra #feature model #programming: Feature-Oriented Programming with Object Algebras (BCdSO, TvdS, AL, WRC), pp. 27–51.
ECOOP-2013-WuZSGSY #fault #optimisation #statistics: Simple Profile Rectifications Go a Long Way — Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations (BW, MZ, XS, YG, RS, GY), pp. 654–678.
ECOOP-2013-ZhuL #composition #linear #programming: Heap Decomposition Inference with Linear Programming (HSZ, YDL), pp. 104–128.
Onward-2013-MayerK #game studies #programming: Game programming by demonstration (MM, VK), pp. 75–90.
Onward-2013-McDirmid #live programming #programming: Usable live programming (SM), pp. 53–62.
Onward-2013-MilicevicJGM #interactive #modelling #paradigm #programming #web: Model-based, event-driven programming paradigm for interactive web applications (AM, DJ, MG, DM), pp. 17–36.
Onward-2013-Repenning #interactive #program analysis #programming: Conversational programming: exploring interactive program analysis (AR), pp. 63–74.
Onward-2013-Steimann #multi #object-oriented #programming: Content over container: object-oriented programming with multiplicities (FS), pp. 173–186.
OOPSLA-2013-BaoZ #detection #execution #float #on the fly #problem: On-the-fly detection of instability problems in floating-point program execution (TB, XZ), pp. 817–832.
OOPSLA-2013-BerganCG #parallel #source code #thread: Input-covering schedules for multithreaded programs (TB, LC, DG), pp. 677–692.
OOPSLA-2013-BhattacharyaGN #detection #program analysis: Combining concern input with program analysis for bloat detection (SB, KG, MGN), pp. 745–764.
OOPSLA-2013-CarbinMR #hardware #reliability #source code #verification: Verifying quantitative reliability for programs that execute on unreliable hardware (MC, SM, MCR), pp. 33–52.
OOPSLA-2013-MeyerovichR #analysis #empirical #programming language: Empirical analysis of programming language adoption (LAM, ASR), pp. 1–18.
OOPSLA-2013-RaychevVS #concurrent #detection #effectiveness #source code: Effective race detection for event-driven programs (VR, MTV, MS), pp. 151–166.
OOPSLA-2013-VafeiadisN #concurrent #logic: Relaxed separation logic: a program logic for C11 concurrency (VV, CN), pp. 867–884.
OOPSLA-2013-Xu #named #optimisation #profiling #source code: Resurrector: a tunable object lifetime profiling technique for optimizing real-world programs (G(X), pp. 111–130.
GPCE-2013-Bodik #biology #modelling #programming language: Modeling biology with solver-aided programming languages (RB), pp. 1–2.
GPCE-2013-ChapinSSW #named #network #programming #staged: Scalaness/nesT: type specialized staged programming for sensor networks (PCC, CS, SFS, MW), pp. 135–144.
GPCE-2013-MarekKZBBTASS #framework #java #named #program analysis #robust: ShadowVM: robust and comprehensive dynamic program analysis for the java platform (LM, SK, YZ, LB, WB, PT, DA, AS, AS), pp. 105–114.
GPCE-2013-Richard-FoyBJ #abstraction #performance #programming #web: Efficient high-level abstractions for web programming (JRF, OB, JMJ), pp. 53–60.
LOPSTR-2013-LiqatKSGLGHE #analysis #energy #modelling #source code: Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models (UL, SK, AS, KG, PLG, NG, MVH, KE), pp. 72–90.
LOPSTR-2013-Seki #logic programming #model checking #source code: Extending Co-logic Programs for Branching-Time Model Checking (HS), pp. 127–144.
PPDP-2013-CaballeroST #constraints #finite #programming: Finite type extensions in constraint programming (RC, PJS, ATF), pp. 217–227.
PPDP-2013-CalauttiGT #decidability #detection #logic programming #source code: Detecting decidable classes of finitely ground logic programs with function symbols (MC, SG, IT), pp. 239–250.
PPDP-2013-ChristiansenHRS #encapsulation #functional #logic programming #semantics #source code: A semantics for weakly encapsulated search in functional logic programs (JC, MH, FR, DS), pp. 49–60.
PPDP-2013-Corte-RealDR #parallel #programming #prolog: Prolog programming with a map-reduce parallel construct (JCR, IdCD, RR), pp. 285–296.
PPDP-2013-PinoBV #concurrent #confluence #constraints #equivalence #performance #programming: Efficient computation of program equivalence for confluent concurrent constraint programming (LFP, FB, FDV), pp. 263–274.
QAPL-2013-NgoH #analysis #concurrent #multi #security #source code #thread: Quantitative Security Analysis for Multi-threaded Programs (TMN, MH), pp. 34–48.
PADL-2013-AngelopoulosCAWCW #functional #logic programming #statistics: Integrative Functional Statistics in Logic Programming (NA, VSC, JA, JW, RC, LW), pp. 190–205.
PADL-2013-CastroMM #java #logic programming #named: LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis (SC, KM, PM), pp. 26–42.
PADL-2013-LiangK #automation #logic programming #named #scalability #source code: Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs (SL, MK), pp. 173–189.
PADL-2013-MachadoAD #declarative #parallel #performance #programming #using: Parallel Performance of Declarative Programming Using a PGAS Model (RM, SA, DD), pp. 244–260.
PADL-2013-Moura #implementation #induction #logic programming #performance: A Portable and Efficient Implementation of Coinductive Logic Programming (PM), pp. 77–92.
POPL-2013-AbelPTS #infinity #named #pattern matching #programming: Copatterns: programming infinite structures by observations (AA, BP, DT, AS), pp. 27–38.
POPL-2013-CarboneM #multi #named #programming: Deadlock-freedom-by-design: multiparty asynchronous global programming (MC, FM), pp. 263–274.
POPL-2013-Dinsdale-YoungBGPY #composition #concurrent #named #reasoning #source code: Views: compositional reasoning for concurrent programs (TDY, LB, PG, MJP, HY), pp. 287–300.
POPL-2013-Goodman #probability #programming: The principles and practice of probabilistic programming (NDG), pp. 399–402.
POPL-2013-Krishnamurthi #programming language: From principles to programming languages (and back) (SK), pp. 233–234.
POPL-2013-RompfSABJLJOO #compilation #data type #optimisation #source code #staging: Optimizing data structures in high-level programs: new directions for extensible compilers based on staging (TR, AKS, NA, KJB, VJ, HL, MJ, KO, MO), pp. 497–510.
POPL-2013-StatonL #programming language: Universal properties of impure programming languages (SS, PBL), pp. 179–192.
POPL-2013-UnnoTK #automation #functional #higher-order #source code #verification: Automating relatively complete verification of higher-order functional programs (HU, TT, NK), pp. 75–86.
SAC-2013-AlitavoliJE #java #novel #source code: A novel watermarking method for Java programs (MA, MJ, AE), pp. 1013–1018.
SAC-2013-BhattacharjeeJ #algorithm #named #repository #scalability #similarity: CodeBlast: a two-stage algorithm for improved program similarity matching in large software repositories (AB, HMJ), pp. 846–852.
SAC-2013-ChenLWW #abstraction #source code #static analysis: Static analysis of list-manipulating programs via bit-vectors and numerical abstractions (LC, RL, XW, JW), pp. 1204–1210.
SAC-2013-DelahayeKS #c #dynamic analysis #source code #specification: Common specification language for static and dynamic analysis of C programs (MD, NK, JS), pp. 1230–1235.
SAC-2013-GouwBJW #case study #industrial #java #runtime #source code: Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study (SdG, FSdB, EBJ, PYHW), pp. 1573–1578.
SAC-2013-HalderC #database #query #slicing: Abstract program slicing of database query languages (RH, AC), pp. 838–845.
SAC-2013-HoffmannUHS #slicing: Slicing droids: program slicing for smali code (JH, MU, TH, MS), pp. 1844–1851.
SAC-2013-HongJ #named #network #object-oriented #programming language: Meso: an object-oriented programming language for building strongly-typed internet-based network applications (SH, YJJ), pp. 1579–1586.
SAC-2013-Montesi #programming #web: Process-aware web programming with Jolie (FM), pp. 761–763.
SAC-2013-MoriguchiW #interactive #reuse #source code: An interactive extension mechanism for reusing verified programs (SM, TW), pp. 1236–1243.
ESEC-FSE-2013-GyoriFDL #functional #imperative #programming #refactoring: Crossing the gap from imperative to functional programming through refactoring (AG, LF, DD, JL), pp. 543–553.
ESEC-FSE-2013-JiangZLSHGS #analysis #reliability #runtime: System reliability calculation based on the run-time analysis of ladder program (YJ, HZ, HL, XS, WNNH, MG, JS), pp. 695–698.
ESEC-FSE-2013-NavabpourJWBMBF #c #named #runtime #source code #verification: RiTHM: a tool for enabling time-triggered runtime verification for C programs (SN, YJ, CWWW, SB, RM, BB, SF), pp. 603–606.
ESEC-FSE-2013-SahaDP #distributed: Distributed program tracing (DS, PD, GP), pp. 180–190.
ESEC-FSE-2013-WangZCZZ #javascript #program analysis: Extracting URLs from JavaScript via program analysis (QW, JZ, YC, YZ, JZ), pp. 627–630.
ICSE-2013-Callau #incremental #programming: Supporting incremental programming with ghosts (OC), pp. 1429–1431.
ICSE-2013-Carvalho #comprehension #concept #ontology #problem #tool support: An ontology toolkit for problem domain concept location in program comprehension (NRC), pp. 1415–1418.
ICSE-2013-CokerH #c #integer #program transformation: Program transformations to fix C integers (ZC, MH), pp. 792–801.
ICSE-2013-FranklinGLD #automation #functional #imperative #named #programming #refactoring: LAMBDAFICATOR: from imperative to functional programming through automated refactoring (LF, AG, JL, DD), pp. 1287–1290.
ICSE-2013-Guerrouj #comprehension #normalisation #quality #source code: Normalizing source code vocabulary to support program comprehension and software quality (LG), pp. 1385–1388.
ICSE-2013-HaoLHG #energy #mobile #program analysis #using: Estimating mobile application energy consumption using program analysis (SH, DL, WGJH, RG), pp. 92–101.
ICSE-2013-HaoLM0J #multi #named #source code: MCT: a tool for commenting programs by multimedia comments (YH, GL, LM, LZ, ZJ), pp. 1339–1342.
ICSE-2013-JacobellisMK #named #program transformation: LASE: an example-based program transformation tool for locating and applying systematic edits (JJ, NM, MK), pp. 1319–1322.
ICSE-2013-Johnson04a #comprehension #program analysis: Novice understanding of program analysis tool notifications (BJ), pp. 1432–1434.
ICSE-2013-Kuhn #interactive #live programming #on the #programming #testing: On extracting unit tests from interactive live programming sessions (AK), pp. 1241–1244.
ICSE-2013-LeeCJ #performance #program transformation #refactoring: Drag-and-drop refactoring: intuitive and efficient program transformation (YYL, NC, REJ), pp. 23–32.
ICSE-2013-Leino #source code: Developing verified programs with dafny (KRML), pp. 1488–1490.
ICSE-2013-LiZLXLLX #distributed #source code: A characteristic study on failures of production distributed data-parallel programs (SL, HZ, HL, TX, HL, WL, TX), pp. 963–972.
ICSE-2013-MarinoHDVTV #concurrent #detection #source code: Detecting deadlock in programs with data-centric synchronization (DM, CH, JD, MV, FT, JV), pp. 322–331.
ICSE-2013-NetoCLGM #approach #named #problem #programming #student #testing: POPT: a problem-oriented programming and testing approach for novice students (VLN, RC, LL, DSG, APM), pp. 1099–1108.
ICSE-2013-NguyenQRC #analysis #named #program repair #semantics: SemFix: program repair via semantic analysis (HDTN, DQ, AR, SC), pp. 772–781.
ICSE-2013-Park #comprehension #concurrent #fault #source code: Fault comprehension for concurrent programs (SP), pp. 1444–1446.
ICSE-2013-SalingerZP #programming #research: Liberating pair programming research from the oppressive Driver/Observer regime (SS, FZ, LP), pp. 1201–1204.
ICSE-2013-SantelicesZJCZ #slicing: Quantitative program slicing: separating statements by relevance (RAS, YZ, SJ, HC, YJZ), pp. 1269–1272.
ICSE-2013-SharTB #hybrid #injection #mining #program analysis #sql #using: Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis (LKS, HBKT, LCB), pp. 642–651.
ICSE-2013-TillmannHXGB #education #game studies #interactive #learning #programming #re-engineering: Teaching and learning programming and software engineering via interactive gaming (NT, JdH, TX, SG, JB), pp. 1117–1126.
ICSE-2013-Zeid #contest #evaluation #framework #integration #re-engineering #source code #student: A framework to evaluate software engineering student contests: evaluation and integration with academic programs (AZ), pp. 1083–1089.
LDTA-J-2009-LammelTK #fault #programming #source code #traversal: Programming errors in traversal programs over structured data (RL, SJT, MK), pp. 1770–1808.
SLE-2013-VasudevanT #ambiguity #detection #programming language: Detecting Ambiguity in Programming Language Grammars (NV, LT), pp. 157–176.
ASPLOS-2013-LuciaC #empirical #parallel #source code #thread: Cooperative empirical failure avoidance for multithreaded programs (BL, LC), pp. 39–50.
ASPLOS-2013-SchulteDWF #assembly #automation #embedded #source code: Automated repair of binary and assembly programs for cooperating embedded devices (EMS, JD, WW, SF), pp. 317–328.
CC-2013-CammarotaNVKDM #on the #optimisation: On the Determination of Inlining Vectors for Program Optimization (RC, AN, AVV, AK, DD, MM), pp. 164–183.
CC-2013-MooreC #automation #generative #machine learning #policy #using: Automatic Generation of Program Affinity Policies Using Machine Learning (RWM, BRC), pp. 184–203.
CGO-2013-ChoKWLLM #concurrent #source code: Practical lock/unlock pairing for concurrent programs (HKC, TK, YW, SL, HL, SAM), p. 12.
CGO-2013-GreweWO #parallel #source code: Portable mapping of data parallel programs to OpenCL for heterogeneous systems (DG, ZW, MFPO), p. 10.
CGO-2013-JeonGT #named #performance #program analysis: Skadu: Efficient vector shadow memories for poly-scopic program analysis (DJ, SG, MBT), p. 12.
CGO-2013-RodriguesCP #integer #performance #source code: A fast and low-overhead technique to secure programs against integer overflows (RER, VHSC, FMQP), p. 11.
CGO-2013-TanFG #detection #fault #lightweight #source code: Lightweight fault detection in parallelized programs (LT, MF, RG), p. 11.
CGO-2013-ZhouWDS #flexibility #framework #migration #named: Profmig: A framework for flexible migration of program profiles across software versions (MZ, BW, YD, XS), p. 12.
ISMM-2013-BrockGBD #named: Pacman: program-assisted cache management (JB, XG, BB, CD), pp. 39–50.
LCTES-2013-ChattopadhyayCR #performance: Program performance spectrum (SC, LKC, AR), pp. 65–76.
LCTES-2013-MorenoFH #analysis #debugging #embedded: Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis (CM, SF, MAH), pp. 77–88.
PPoPP-2013-AcarCR #parallel #scheduling #source code: Scheduling parallel programs by work stealing with private deques (UAA, AC, MR), pp. 219–228.
PPoPP-2013-AfekLM #hardware #programming: Programming with hardware lock elision (YA, AL, AM), pp. 295–296.
PPoPP-2013-CaiZWC #detection #named #parallel #source code #thread: TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs (YC, KZ, SW, WKC), pp. 311–312.
PPoPP-2013-FriedleyHBLM #distributed #manycore #memory management #performance #programming: Ownership passing: efficient distributed memory programming on multi-core systems (AF, TH, GB, AL, CCM), pp. 177–186.
PPoPP-2013-ParkSI #concurrent #detection #scalability #source code: Scalable data race detection for partitioned global address space programs (CSP, KS, CI), pp. 305–306.
PPoPP-2013-ParkST #parallel #programming: Parallel programming with big operators (CP, GLSJ, JBT), pp. 293–294.
PPoPP-2013-WozniakAWKLF #data flow #named #programming #scalability: Swift/T: scalable data flow programming for many-task applications (JMW, TGA, MW, DSK, ELL, ITF), pp. 309–310.
PPoPP-2013-YukiFRS #analysis #array #data flow #source code: Array dataflow analysis for polyhedral X10 programs (TY, PF, SVR, VS), pp. 23–34.
CADE-2013-HawblitzelKLR #automation #proving #source code #theorem proving #towards #using: Towards Modularly Comparing Programs Using Automated Theorem Provers (CH, MK, SKL, HR), pp. 282–299.
CAV-2013-AlbarghouthiGK #recursion #synthesis: Recursive Program Synthesis (AA, SG, ZK), pp. 934–950.
CAV-2013-BarnatBHHKLRSW #c #c++ #model checking #parallel #source code #thread: DiVinE 3.0 — An Explicit-State Model Checker for Multithreaded C & C++ Programs (JB, LB, VH, JH, JK, ML, PR, VS, JW), pp. 863–868.
CAV-2013-ChakarovS #probability #program analysis: Probabilistic Program Analysis with Martingales (AC, SS), pp. 511–526.
CAV-2013-DaiXZ #generative #programming: Generating Non-linear Interpolants by Semidefinite Programming (LD, BX, NZ), pp. 364–380.
CAV-2013-EssenJ #program repair: Program Repair without Regret (CvE, BJ), pp. 896–911.
CAV-2013-KroeningLW #approximate #c #detection #performance #source code: Under-Approximating Loops in C Programs for Fast Counterexample Detection (DK, ML, GW), pp. 381–396.
CAV-2013-WonischSW #proving #source code: Programs from Proofs — A PCC Alternative (DW, AS, HW), pp. 912–927.
ICLP-J-2013-BanbaraSTIS #modelling #programming #set: Answer set programming as a modeling language for course timetabling (MB, TS, NT, KI, TS), pp. 783–798.
ICLP-J-2013-BusoniuOPST #debugging #ide #named #programming: SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support (PAB, JO, JP, PS, HT), pp. 657–673.
ICLP-J-2013-GangeNSSS #constraints #logic programming: Failure tabled constraint logic programming by interpolation (GG, JAN, PS, HS, PJS), pp. 593–607.
ICLP-J-2013-GiordanoMSD #constraints #process #programming #set #verification: Business process verification with constraint temporal answer set programming (LG, AM, MS, DTD), pp. 641–655.
ICLP-J-2013-GrecoMT #bottom-up #evaluation #logic programming #termination: Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (SG, CM, IT), pp. 737–752.
ICLP-J-2013-LiangK #analysis #logic programming #scalability #source code: A practical analysis of non-termination in large logic programs (SL, MK), pp. 705–719.
ICLP-J-2013-YouZZ #logic programming #quantifier #source code: Disjunctive logic programs with existential quantification in rule heads (JHY, HZ, YZ), pp. 563–578.
ICST-2013-BagnaraCGG #float #generative #source code #testing: Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
ICST-2013-ChristakisGS #concurrent #detection #erlang #fault #source code #testing: Systematic Testing for Detecting Concurrency Errors in Erlang Programs (MC, AG, KFS), pp. 154–163.
ICST-2013-MossigeGM #constraints #generative #integration #programming #testing #using: Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment (MM, AG, HM), pp. 489–490.
ICST-2013-SakamotoSTWF #framework #metric #multi #named #programming language #test coverage #tool support: OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages (KS, KS, RT, HW, YF), pp. 422–430.
ICST-2013-ShuSHP #analysis #dependence #framework #named: JavaPDG: A New Platform for Program Dependence Analysis (GS, BS, TADH, AP), pp. 408–415.
ICTSS-2013-MauserKH #programming #towards #user interface #using: Towards a GUI Test Model Using State Charts and Programming Code (DM, AK, KH), pp. 271–276.
ICTSS-2013-SapraMCGC #execution #fault #python #source code #symbolic computation #using: Finding Errors in Python Programs Using Dynamic Symbolic Execution (SS, MM, SC, AG, EMC), pp. 283–289.
ISSTA-2013-BindalBL #bound #concurrent #parallel #source code #testing #thread: Variable and thread bounding for systematic testing of multithreaded programs (SB, SB, AL), pp. 145–155.
ISSTA-2013-HanazumiM #generative #java #source code: Generation of Java programs properties from test purposes (SH, ACVdM), pp. 362–365.
ISSTA-2013-LuoR #named #parallel #runtime #source code #thread: EnforceMOP: a runtime property enforcement system for multithreaded programs (QL, GR), pp. 156–166.
ISSTA-2013-QiMLW #automation #effectiveness #fault #locality #program repair #using: Using automated program repair for evaluating the effectiveness of fault localization techniques (YQ, XM, YL, CW), pp. 191–201.
LICS-2013-AndersonDH #fixpoint #linear #logic #programming: Maximum Matching and Linear Programming in Fixed-Point Logic with Counting (MA, AD, BH), pp. 173–182.
SAT-2013-SohTB #agile #constraints #named #programming #prototype #satisfiability: Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems (TS, NT, MB), pp. 429–436.
TAP-2013-BeckertB0 #metric #testing #verification: A Metric for Testing Program Verification Systems (BB, TB, MW), pp. 56–75.
TAP-2013-BruckerFNW #case study #generative: Test Program Generation for a Microprocessor — A Case-Study (ADB, AF, YN, BW), pp. 76–95.
TAP-2013-CaballeroMRT #debugging #declarative #erlang #source code: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 96–114.
TAP-2013-KosmatovPS #proving #source code #tutorial: A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper (NK, VP, JS), pp. 168–177.
TLCA-2013-SeveriV #modelling #source code: Completeness of Conversion between Reactive Programs for Ultrametric Models (PS, FJdV), pp. 221–235.
VMCAI-2013-ChakiGKS #composition #source code: Compositional Sequentialization of Periodic Programs (SC, AG, SK, OS), pp. 536–554.
WICSA-ECSA-2012-KeulerWW #agile #architecture #programming: Architecture-aware Programming in Agile Environments (TK, SW, BW), pp. 229–233.
ASE-2012-FalconeC #android #aspect-oriented #embedded #in the cloud #programming: Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud (YF, SC), pp. 350–353.
ASE-2012-HarmanLJWAC #challenge #programming #search-based #source code #using: The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper) (MH, WBL, YJ, DRW, AA, JAC), pp. 1–14.
ASE-2012-KahkonenSH #automation #parallel #source code #testing #thread #using: Using unfoldings in automated testing of multithreaded programs (KK, OS, KH), pp. 150–159.
ASE-2012-LiT #api #automation #erlang #migration #refactoring #source code: Automated API migration in a user-extensible refactoring tool for Erlang programs (HL, SJT), pp. 294–297.
ASE-2012-LuciaLJB #evolution #named #source code #testing: kbe-anonymity: test data anonymization for evolving programs (L, DL, LJ, AB), pp. 262–265.
ASE-2012-SongT #model checking #named #source code: PuMoC: a CTL model-checker for sequential programs (FS, TT), pp. 346–349.
ASE-2012-Yamamoto #refinement: Property-preserving program refinement (YY), pp. 398–401.
CASE-2012-BaoLYL #energy #programming #realtime: Battery energy storage system load shifting control based on real time load forecast and dynamic programming (GB, CL, ZY, ZL), pp. 815–820.
DAC-2012-ShojaeiDR #integer #programming: Confidentiality preserving integer programming for global routing (HS, AD, PR), pp. 709–716.
DATE-2012-CongHLZZ #replication #source code #streaming: Combining module selection and replication for throughput-driven streaming programs (JC, MH, BL, PZ, YZ), pp. 1018–1023.
VLDB-2012-IseleB #learning #programming #search-based #using: Learning Expressive Linkage Rules using Genetic Programming (RI, CB), pp. 1638–1649.
CSEET-2012-AroraG #collaboration #learning #programming #source code: Learning to Write Programs with Others: Collaborative Quadruple Programming (RA, SG), pp. 32–41.
CSEET-2012-Kajko-Mattsson #design #education #re-engineering #source code: A Method for Designing Software Engineering Educational Programs (MKM), pp. 139–143.
ITiCSE-2012-Aycock #named #programming: μPython: non-majors programming from the very first lecture (JA), pp. 345–350.
ITiCSE-2012-CamaraPV #collaboration #evaluation #framework #learning #programming: Evaluation of a collaborative instructional framework for programming learning (LMSC, MPV, JÁVI), pp. 162–167.
ITiCSE-2012-FletcherG #object-oriented #programming: Sample courseware for introductory OO programming (RF, RG), p. 370.
ITiCSE-2012-GerdesJH #functional #interactive #programming: An interactive functional programming tutor (AG, JJ, BH), pp. 250–255.
ITiCSE-2012-GomesSM #behaviour #case study #learning #student #towards: A study on students’ behaviours and attitudes towards learning to program (AJG, ÁNS, AJM), pp. 132–137.
ITiCSE-2012-GordonMM #programming: Spaghetti for the main course?: observations on the naturalness of scenario-based programming (MG, AM, OMS), pp. 198–203.
ITiCSE-2012-GovenderG #learning #object-oriented #programming #student: Are students learning object oriented programming in an object oriented programming course?: student voices (DWG, IG), p. 395.
ITiCSE-2012-KortsartsK #component #probability #programming: Enriching introductory programming courses with non-intuitive probability experiments component (YK, YK), pp. 128–131.
ITiCSE-2012-MalekoHD #case study #experience #learning #mobile #programming #social: Novices’ perceptions and experiences of a mobile social learning environment for learning of programming (MM, MH, DJD), pp. 285–290.
ITiCSE-2012-MeyerW #lessons learnt #programming: Programming studio: advances and lessons learned (CM, MW), p. 369.
ITiCSE-2012-Moreno #comparison #evaluation #framework #source code: A qualitative framework for comparison and evaluation of computer science doctoral programs (MdCCM), p. 398.
ITiCSE-2012-QueirosL #education #named #programming: PETCHA: a programming exercises teaching assistant (RAPQ, JPL), pp. 192–197.
ITiCSE-2012-Ragonis #algorithm #education #source code: Integrating the teaching of algorithmic patterns into computer science teacher preparation programs (NR), pp. 339–344.
ITiCSE-2012-TillmannB #education #mobile #programming: Teaching programming on a mobile device (NT, JB), p. 404.
ITiCSE-2012-TillmannMHFBSX #education #future of #mobile #programming: The future of teaching programming is on mobile devices (NT, MM, JdH, MF, JB, AS, TX), pp. 156–161.
ITiCSE-2012-Urquiza-FuentesV #animation #education #effectiveness: Comparing the effectiveness of different educational uses of program animations (JUF, JÁVI), pp. 174–179.
TFPIE-2012-StutterheimSS #declarative #education #programming #prolog: Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht (JS, WS, SDS), pp. 50–62.
ESOP-2012-EmotoFH #framework #parallel #pipes and filters #programming: Generate, Test, and Aggregate — A Calculation-based Framework for Systematic Parallel Programming with MapReduce (KE, SF, ZH), pp. 254–273.
ESOP-2012-InoueT #multi #reasoning #source code: Reasoning about Multi-stage Programs (JI, WT), pp. 357–376.
ESOP-2012-LuPZX #parallel #source code #thread: A Type and Effect System for Determinism in Multithreaded Programs (YL, JP, CZ, JX), pp. 518–538.
FASE-2012-AlbertBGHR #source code: Verified Resource Guarantees for Heap Manipulating Programs (EA, RB, SG, RH, GRD), pp. 130–145.
FASE-2012-NaujokatLS #programming: Loose Programming with PROPHETS (SN, ALL, BS), pp. 94–98.
FASE-2012-ThumSKAS #contract #design #feature model #programming: Applying Design by Contract to Feature-Oriented Programming (TT, IS, MK, SA, GS), pp. 255–269.
FoSSaCS-2012-BoveDS #automation #first-order #functional #interactive #reasoning #source code: Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs (AB, PD, ASR), pp. 104–118.
TACAS-2012-BaslerDKKTW #c #contest #named #source code #verification: satabs: A Bit-Precise Verifier for C Programs — (Competition Contribution) (GB, AFD, AK, DK, MT, TW), pp. 552–555.
TACAS-2012-BouajjaniE #analysis #bound #message passing #source code: Bounded Phase Analysis of Message-Passing Programs (AB, ME), pp. 451–465.
TACAS-2012-DudkaMPV #contest #data type #linked data #named #open data #source code #verification: Predator: A Verification Tool for Programs with Dynamic Linked Data Structures — (Competition Contribution) (KD, PM, PP, TV), pp. 545–548.
TACAS-2012-PopeeaR #composition #concurrent #multi #proving #source code #termination #thread: Compositional Termination Proofs for Multi-threaded Programs (CP, AR), pp. 237–251.
WRLA-2012-HillsKV #program analysis #rascal: Program Analysis Scenarios in Rascal (MH, PK, JJV), pp. 10–30.
CSMR-2012-CohenDA #composition #maintenance: Invertible Program Restructurings for Continuing Modular Maintenance (JC, RD, AA), pp. 347–352.
CSMR-2012-HottaHK #dependence #graph #identification #refactoring: Identifying, Tailoring, and Suggesting Form Template Method Refactoring Opportunities with Program Dependence Graph (KH, YH, SK), pp. 53–62.
CSMR-2012-ShahDM #source code: Making Smart Moves to Untangle Programs (SMAS, JD, CM), pp. 359–364.
ICPC-2012-FeigenspanKLAH #experience #programming: Measuring programming experience (JF, CK, JL, SA, SH), pp. 73–82.
ICPC-2012-KatzmarskiK #complexity #metric: Program complexity metrics and programmer opinions (BK, RK), pp. 17–26.
ICPC-2012-RajlichW #comprehension #concept: A retrospective view on: The role of concepts in program comprehension: (MIP award) (VR, NW), pp. 12–13.
ICSM-2012-KumarSS #c++ #source code: Rejuvenating C++ programs through demacrofication (AK, AS, BS), pp. 98–107.
ICSM-2012-NasehiSMB #case study #programming #stack overflow #what: What makes a good code example?: A study of programming Q&A in StackOverflow (SMN, JS, FM, CB), pp. 25–34.
ICSM-2012-QiML #automation #performance #scalability #source code #using: Making automatic repair for large-scale programs more efficient using weak recompilation (YQ, XM, YL), pp. 254–263.
ICSM-2012-RungtaPB #behaviour #evolution #impact analysis: A change impact analysis to characterize evolving program behaviors (NR, SP, JB), pp. 109–118.
SCAM-2012-AftandilianSPK #compilation #java #program analysis #tool support #using: Building Useful Program Analysis Tools Using an Extensible Java Compiler (EA, RS, SP, SK), pp. 14–23.
SCAM-2012-KargenS #analysis #comprehension #data flow #named: InputTracer: A Data-Flow Analysis Tool for Manual Program Comprehension of x86 Binaries (UK, NS), pp. 138–143.
SCAM-2012-LazarescuL #analysis #c #dependence #parallel #source code: Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs (MTL, LL), pp. 126–131.
SCAM-2012-Vidal #execution #symbolic computation #termination #verification: Closed Symbolic Execution for Verifying Program Termination (GV), pp. 34–43.
SCAM-2012-WilcoxSB #optimisation #program transformation: Optimizing Expression Selection for Lookup Table Program Transformation (CW, MMS, JMB), pp. 84–93.
WCRE-2012-Al-OmariKRR #detection #dot-net #programming language: Detecting Clones Across Microsoft .NET Programming Languages (FAO, IK, CKR, JR), pp. 405–414.
PEPM-2012-Berger #metaprogramming #specification #verification: Specification and verification of meta-programs (MB), pp. 3–4.
PEPM-2012-Katayama #functional #induction #programming #source code: An analytical inductive functional programming system that avoids unintended programs (SK), pp. 43–52.
PEPM-2012-KobayashiMS #functional #source code: Functional programs as compressed data (NK, KM, AS), pp. 121–130.
PEPM-2012-Lopez-FraguasMR #functional #logic programming: Well-typed narrowing with extra variables in functional-logic programming (FJLF, EMM, JRH), pp. 83–92.
PEPM-2012-Voigtlander #bidirectional #induction #synthesis: Ideas for connecting inductive program synthesis and bidirectionalization (JV), pp. 39–42.
PLDI-2012-BenzHH #float #problem #program analysis: A dynamic program analysis to find floating-point accuracy problems (FB, AH, SH), pp. 453–462.
PLDI-2012-CarbinKMR #approximate #nondeterminism #proving #source code: Proving acceptability properties of relaxed nondeterministic approximate programs (MC, DK, SM, MCR), pp. 169–180.
PLDI-2012-CarteyLM #domain-specific language #source code: Synthesising graphics card programs from DSLs (LC, RL, OdM), pp. 121–132.
PLDI-2012-LeeCFN #hybrid #named #program analysis: Chimera: hybrid program analysis for determinism (DL, PMC, JF, SN), pp. 463–474.
PLDI-2012-OliveiraSCLY #calculus #programming: The implicit calculus: a new foundation for generic programming (BCdSO, TS, WC, WL, KY), pp. 35–44.
PLDI-2012-WuTHCY #analysis #parallel #precise #source code: Sound and precise analysis of parallel programs through schedule specialization (JW, YT, GH, HC, JY), pp. 205–216.
SAS-2012-AbdullaACLR #abstraction #automation #integer #source code: Automatic Fence Insertion in Integer Programs via Predicate Abstraction (PAA, MFA, YFC, CL, AR), pp. 164–180.
SAS-2012-CacheraJJK #imperative #invariant #polynomial #source code: Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases (DC, TPJ, AJ, FK), pp. 58–74.
SAS-2012-EmmiL #distributed #source code: Finding Non-terminating Executions in Distributed Asynchronous Programs (ME, AL), pp. 439–455.
SAS-2012-Ledesma-GarzaR #analysis #functional #higher-order #reachability #source code: Binary Reachability Analysis of Higher Order Functional Programs (RLG, AR), pp. 388–404.
SAS-2012-MadhavanRV #analysis #composition #higher-order #source code: Modular Heap Analysis for Higher-Order Programs (RM, GR, KV), pp. 370–387.
STOC-2012-Belovs #source code: Span programs for functions with constant-sized 1-certificates: extended abstract (AB), pp. 77–84.
STOC-2012-DvirMPY #branch #multi #source code: Separating multilinear branching programs and formulas (ZD, GM, SP, AY), pp. 615–624.
FLOPS-2012-Codish #programming: Programming with Boolean Satisfaction (MC), p. 1.
FLOPS-2012-RoseVS #data flow #hybrid #programming language #query: A Data Flow Language for Hybrid Query and Programming Languages (KHR, LV, NS), pp. 228–242.
FLOPS-2012-SaeedloeiG #constraints #induction #logic programming: Coinductive Constraint Logic Programming (NS, GG), pp. 243–259.
FLOPS-2012-Terauchi #automation #functional #higher-order #source code #verification: Automated Verification of Higher-Order Functional Programs (TT), p. 2.
FLOPS-2012-Weirich #haskell #programming: Dependently-Typed Programming in GHC (SW), p. 3.
ICALP-v1-2012-BhaskaraCMV #on the #polynomial #programming: On Quadratic Programming with a Ratio Objective (AB, MC, RM, AV), pp. 109–120.
ICALP-v1-2012-GuptaN #approximate #integer #online #source code: Approximating Sparse Covering Integer Programs Online (AG, VN), pp. 436–448.
ICALP-v1-2012-MolinaroR #geometry #linear #online #source code: Geometry of Online Packing Linear Programs (MM, RR), pp. 701–713.
LATA-2012-BilleS #dependence #performance #programming: Fast and Cache-Oblivious Dynamic Programming with Local Dependencies (PB, MS), pp. 131–142.
IFM-2012-DongolH #multi #reasoning #source code: Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands (BD, IJH), pp. 39–53.
IFM-2012-JiB #java #named #source code: PE-KeY: A Partial Evaluator for Java Programs (RJ, RB), pp. 283–295.
IFM-2012-LensinkSE #concurrent #framework #proving #source code: A Proof Framework for Concurrent Programs (LL, SS, MCJDvE), pp. 174–190.
IFM-2012-RochaBCN #bound #comprehension #debugging #model checking #programming #using: Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples (HR, RSB, LCC, ADN), pp. 128–142.
SEFM-2012-AmighiGGH #control flow #exception #graph #java #source code: Sound Control-Flow Graph Extraction for Java Programs with Exceptions (AA, PdCG, DG, MH), pp. 33–47.
SEFM-2012-BistarelliS #concurrent #constraints #programming: Securely Accessing Shared Resources with Concurrent Constraint Programming (SB, FS), pp. 308–322.
SEFM-2012-ZhuXMQQ #approach #concurrent #source code #verification: The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs (HZ, QX, CM, SQ, ZQ), pp. 172–187.
ICFP-2012-EarlSMH #analysis #automaton #higher-order #source code: Introspective pushdown analysis of higher-order programs (CE, IS, MM, DVH), pp. 177–188.
ICFP-2012-McBride #dependent type #programming: Agda-curious?: an exploration of programming with dependent types (CTM), pp. 1–2.
ICFP-2012-OliveiraC #functional #graph #programming: Functional programming with structured graphs (BCdSO, WRC), pp. 77–88.
ICFP-2012-PereraACL #functional #source code: Functional programs that explain their work (RP, UAA, JC, PBL), pp. 365–376.
ICFP-2012-Sheard #design #programming #reduction: Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages (TES), pp. 89–102.
ICFP-2012-Siederdissen #combinator #performance #programming: Sneaking around concatMap: efficient combinators for dynamic programming (CHzS), pp. 215–226.
ICFP-2012-SimoesVFJH #analysis #automation #functional #lazy evaluation #memory management #source code: Automatic amortised analysis of dynamic memory allocation for lazy functional programs (HRS, PBV, MF, SJ, KH), pp. 165–176.
IFL-2012-IonescuJ #modelling #programming: Dependently-Typed Programming in Scientific Computing — Examples from Economic Modelling (CI, PJ), pp. 140–156.
IFL-2012-Magalhaes #optimisation #source code: Optimisation of Generic Programs Through Inlining (JPM), pp. 104–121.
IFL-2012-SculthorpeFG #haskell #program transformation: The HERMIT in the Tree — Mechanizing Program Transformations in the GHC Core Language (NS, AF, AG), pp. 86–103.
ICGT-2012-Ong #graph transformation #multi #programming language #rule-based #using: Multi-scale Rule-Based Graph Transformation Using the Programming Language XL (YO), pp. 417–419.
ICGT-2012-Poskitt #graph #source code #verification: Verification of Graph Programs (CMP), pp. 420–422.
CHI-2012-BogartBDAW #case study #debugging #design #interactive #programming: Designing a debugging interaction language for cognitive modelers: an initial case study in natural programming plus (CB, MMB, SD, HA, RW), pp. 2469–2478.
CHI-2012-JungCL #interactive #performance #programming: Group hedonic balance and pair programming performance: affective interaction dynamics as indicators of performance (MJ, JC, LJL), pp. 829–838.
CHI-2012-LuL #gesture #multi #programming: Gesture coder: a tool for programming multi-touch gestures by demonstration (HL, YL), pp. 2875–2884.
CHI-2012-XieLC #interactive #programming: Evaluating interactive support for secure programming (JX, HRL, BtC), pp. 2707–2716.
CSCW-2012-NussliJ #interactive #programming #quality: Effects of sharing text selections on gaze cross-recurrence and interaction quality in a pair programming task (MAN, PJ), pp. 1125–1134.
AdaEurope-2012-FariaMP #ada #approach #model checking #source code: An Approach to Model Checking Ada Programs (JMF, JM, JSP), pp. 105–118.
AdaEurope-2012-ForlerLW #api #design #encryption #library #programming: Designing the API for a Cryptographic Library — A Misuse-Resistant Application Programming Interface (CF, SL, JW), pp. 75–88.
AdaEurope-2012-Tempelmeier #ada #concept #education #programming language: Teaching “Concepts of Programming Languages” with Ada (TT), pp. 60–74.
HILT-2012-KanigSD #compilation #convergence #named #verification: Hi-Lite: the convergence of compiler technology and program verification (JK, ES, CD), pp. 27–34.
HILT-2012-Leino #source code: Developing verified programs with Dafny (KRML), pp. 9–10.
HILT-2012-Leino12a #proving #using #verification #why: Program proving using intermediate verification languages (IVLs) like boogie and why3 (KRML), pp. 25–26.
HILT-2012-Liskov #programming #turing machine: Keynote presentation: Programming the turing machine (BL), pp. 23–24.
HILT-2012-Steele #lifecycle #programming language: Programming language life cycles (GLSJ), pp. 95–96.
HILT-2012-Taft #divide and conquer #manycore #named #programming #tutorial #using: Tutorial: multicore programming using divide-and-conquer and work stealing (STT), pp. 13–14.
ICEIS-v2-2012-FonteBCGH #evaluation #program analysis #using: Program Analysis and Evaluation using Quimera (DF, IVB, DCdC, ALG, PRH), pp. 209–219.
ICEIS-v2-2012-FrancaS #aspect-oriented #bibliography #evaluation #metric #programming #using: A Systematic Review on Evaluation of Aspect Oriented Programming using Software Metrics (JMSF, MdSS), pp. 77–83.
CIKM-2012-CheungSM #recommendation #social #synthesis #using: Using program synthesis for social recommendations (AC, ASL, SM), pp. 1732–1736.
CIKM-2012-ZhangWH #integer #linear #programming #set: Selecting expansion terms as a set via integer linear programming (QZ, YW, XH), pp. 2399–2402.
ICML-2012-HannahD #design #geometry #programming: Ensemble Methods for Convex Regression with Applications to Geometric Programming Based Circuit Design (LH, DBD), p. 24.
ICML-2012-Petrik #approximate #bound #programming #robust: Approximate Dynamic Programming By Minimizing Distributionally Robust Bounds (MP), p. 207.
ICML-2012-YangMJZZ #kernel #learning #multi #probability #programming: Multiple Kernel Learning from Noisy Labels by Stochastic Programming (TY, MM, RJ, LZ, YZ), p. 21.
ICPR-2012-KramerABSB #component #documentation #programming #robust: Robust stereo correspondence for documents by matching connected components of text-lines with dynamic programming (MK, MZA, SSB, FS, TMB), pp. 734–737.
ICPR-2012-RayAZ #programming #segmentation: Seeing through clutter: Snake computation with dynamic programming for particle segmentation (NR, STA, HZ), pp. 801–804.
ICPR-2012-WangST #feature model #linear #programming #recognition #robust: Robust regularized feature selection for iris recognition via linear programming (LW, ZS, TT), pp. 3358–3361.
ICPR-2012-WittW #programming #using: Sparse stereo by edge-based search using dynamic programming (JW, UW), pp. 3631–3635.
KDIR-2012-GayLM #approach #constraints #mining #multi #sequence: Constraint-programming Approach for Multiset and Sequence Mining (PG, BL, JM), pp. 212–220.
KEOD-2012-NogueiraG #programming #set #using: Recall-driven Product Tracing and Supply Chain Tracking using Answer Set Programming (MLN, NPG), pp. 125–133.
KR-2012-BahmaniBKL #declarative #dependence #set #source code: Declarative Entity Resolution via Matching Dependencies and Answer Set Programs (ZB, LEB, SK, LVSL).
KR-2012-BaralD #automation #how #learning #programming #set: Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation (CB, JD).
KR-2012-ChaudhriS #knowledge base #programming #reasoning #set #specification #using: Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming (VKC, TCS).
KR-2012-FebbraroLGR #framework #java #named #programming #set: JASP: A Framework for Integrating Answer Set Programming with Java (OF, NL, GG, FR).
KR-2012-Feier #logic programming #reasoning #source code #worst-case: Worst-Case Optimal Reasoning with Forest Logic Programs (CF).
KR-2012-GebserGKOSS #programming #reasoning #set: Stream Reasoning with Answer Set Programming: Preliminary Report (MG, TG, RK, PO, OS, TS).
KR-2012-GottlobS #datalog #ontology #query #recursion #source code: Rewriting Ontological Queries into Small Nonrecursive Datalog Programs (GG, TS).
KR-2012-LeoneMTV #source code: Efficiently Computable Datalog∃ Programs (NL, MM, GT, PV).
KR-2012-Lifschitz #logic programming #source code: Logic Programs with Intensional Functions (VL).
KR-2012-LiuJN #integer #programming #set: Answer Set Programming via Mixed Integer Programming (GL, TJ, IN).
KR-2012-OetschPPST #on the #source code #testing: On the Small-Scope Hypothesis for Testing Answer-Set Programs (JO, MP, JP, MS, HT).
KR-2012-SlotaL #equivalence #modelling #robust #semantics #source code: Robust Equivalence Models for Semantic Updates of Answer-Set Programs (MS, JL).
KR-2012-WangZZZ #equivalence #logic programming #source code: Forgetting in Logic Programs under Strong Equivalence (YW, YZ, YZ, MZ).
MLDM-2012-NguyenF #programming: A General Lp-norm Support Vector Machine via Mixed 0-1 Programming (HTN, KF), pp. 40–49.
SEKE-2012-CookN #aspect-oriented #concept #programming #towards: Towards More Generic Aspect-Oriented Programming: Rethinking the AOP Joinpoint Concept (JC, AN), pp. 154–157.
SEKE-2012-dArceGCE #aspect-oriented #coordination #source code #visualisation: Coordination Model to Support Visualization of Aspect-Oriented Programs (ÁFd, REG, RCMC, DME), pp. 168–173.
SEKE-2012-HumairaSOWF #framework #metric #multi #programming language #source code #towards: Towards a Unified Source Code Measurement Framework Supporting Multiple Programming Languages (RH, KS, AO, HW, YF), pp. 480–485.
SEKE-2012-MeloSS #effectiveness #evaluation #parallel #source code #testing #thread: Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness (SMM, SdRSdS, PSLdS), pp. 476–479.
SEKE-2012-QiXW #concurrent #graph #interprocedural #reachability #slicing #source code: Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs (XQ, XX, PW), pp. 293–298.
SEKE-2012-RebeloLMOR #aspect-oriented #contract #source code: Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice (HR, RMFL, AM, CALO, MR), pp. 148–153.
SEKE-2012-VicenteDMM #comprehension #execution #kernel #operating system: Improving Program Comprehension in Operating System Kernels with Execution Trace Information (EV, GD, RM, MdAM), pp. 174–179.
BX-2012-AnjorinVS #constraints #graph grammar #programming: Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques (AA, GV, AS), pp. 68–83.
ECOOP-2012-DiasDSL #java #memory management #source code #transaction #verification: Verification of Snapshot Isolation in Transactional Memory Java Programs (RJD, DD, JCS, JL), pp. 640–664.
ECOOP-2012-Ettinger: Program Sliding (RE), pp. 713–737.
ECOOP-2012-ReichenbachSI #java #named #parallel #programming: PQL: A Purely-Declarative Java Extension for Parallel Programming (CR, YS, NI), pp. 53–78.
Onward-2012-AfshariBS #programming: Liberating the programmer with prorogued programming (MA, ETB, ZS), pp. 11–26.
Onward-2012-BainomugishaVRCM #fresh look #programming: Interruptible context-dependent executions: a fresh look at programming context-aware applications (EB, JV, CDR, ALC, WDM), pp. 67–84.
Onward-2012-Gabriel #programming language: The structure of a programming language revolution (RPG), pp. 195–214.
Onward-2012-HansenLG #architecture #programming: Cognitive architectures: a way forward for the psychology of programming (MEH, AL, RLG), pp. 27–38.
Onward-2012-Heinlein #composition #named #programming language #static typing: MOST-flexiPL: modular, statically typed, flexibly extensible programming language (CH), pp. 159–178.
Onward-2012-MeyerovichR #named #programming language: Socio-PLT: principles for programming language adoption (LAM, ASR), pp. 39–54.
Onward-2012-Schachman #interface #programming: Alternative programming interfaces for alternative programmers (TS), pp. 1–10.
Onward-2012-TaeumelSH #programming #runtime: The VIVIDE programming environment: connecting run-time information with programmers’ system knowledge (MT, BS, RH), pp. 117–126.
OOPSLA-2012-BaoZZ #nondeterminism #program analysis: White box sampling in uncertain data processing enabled by program analysis (TB, YZ, XZ), pp. 897–914.
OOPSLA-2012-HuangZ12a #concurrent #execution #source code: Execution privatization for scheduler-oblivious concurrent programs (JH, CZ), pp. 737–752.
OOPSLA-2012-LeinoM: Program extrapolation with jennisys (KRML, AM), pp. 411–430.
OOPSLA-2012-LogozzoB #automation #composition #program repair: Modular and verified automatic program repair (FL, TB), pp. 133–146.
OOPSLA-2012-MeawadRMV #automation #exclamation #javascript #source code: Eval begone!: semi-automated removal of eval from javascript programs (FM, GR, FM, JV), pp. 607–620.
OOPSLA-2012-MishneSY #code search #semantics #source code: Typestate-based semantic code search over partial programs (AM, SS, EY), pp. 997–1016.
OOPSLA-2012-ParizekL #abstraction #java #source code: Predicate abstraction of Java programs with collections (PP, OL), pp. 75–94.
OOPSLA-2012-PrountzosMP #concurrent #graph #named #source code: Elixir: a system for synthesizing concurrent graph programs (DP, RM, KP), pp. 375–394.
OOPSLA-2012-TamayoABS #behaviour #comprehension #database: Understanding the behavior of database operations under program control (JMT, AA, NGB, MS), pp. 983–996.
OOPSLA-2012-WuZSJGS #behaviour #correlation #predict: Exploiting inter-sequence correlations for program behavior prediction (BW, ZZ, XS, YJ, YG, RS), pp. 851–866.
OOPSLA-2012-YuNPP #named #parallel #source code #testing #thread: Maple: a coverage-driven testing tool for multithreaded programs (JY, SN, CP, GP), pp. 485–502.
PLATEAU-2012-SpinellisKL #comparative #programming language #testing: Comparative language fuzz testing: programming languages vs. fat fingers (DS, VK, PL), pp. 25–34.
PLATEAU-2012-UrmaM #evolution #programming language #query #source code: Programming language evolution via source code query languages (RGU, AM), pp. 35–38.
TOOLS-EUROPE-2012-DerezinskaR #c# #evaluation #object-oriented #quality #source code #standard: Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs (AD, MR), pp. 42–57.
TOOLS-EUROPE-2012-LilisS #debugging #fault #metaprogramming #precise: Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.
TOOLS-EUROPE-2012-NgYH #optimisation #parallel #programming: Multiparty Session C: Safe Parallel Programming with Message Optimisation (NN, NY, KH), pp. 202–218.
GPCE-2012-BauerEFP #adaptation #performance: Faster program adaptation through reward attribution inference (TB, ME, AF, JP), pp. 103–111.
GPCE-2012-SpacekDTF #behaviour #component #inheritance #programming #reuse: An inheritance system for structural & behavioral reuse in component-based software programming (PS, CD, CT, LF), pp. 60–69.
LOPSTR-2012-DandoisV #logic programming #semantics #source code: Semantic Code Clones in Logic Programs (CD, WV), pp. 35–50.
LOPSTR-2012-GieslSSEF #evaluation #graph #logic programming #source code #symbolic computation #term rewriting: Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs (JG, TS, PSK, FE, CF), p. 1.
LOPSTR-2012-Niwa0S #source code: Improving Determinization of Grammar Programs for Program Inversion (MN, NN, MS), pp. 155–175.
LOPSTR-2012-RamliNN #programming #set: XACML 3.0 in Answer Set Programming (CDPKR, HRN, FN), pp. 89–105.
LOPSTR-2012-RojasG #constraints #framework #generative #logic programming #testing: A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.
LOPSTR-2012-Seki #logic programming #program transformation #proving #source code: Proving Properties of Co-logic Programs with Negation by Program Transformations (HS), pp. 213–227.
LOPSTR-2012-Zinn #program analysis #reasoning: Program Analysis and Manipulation to Reproduce Learners’ Erroneous Reasoning (CZ), pp. 228–243.
PPDP-2012-BacciCFV #automation #first-order #source code #specification #synthesis: Automatic synthesis of specifications for first order curry programs (GB, MC, MAF, AV), pp. 25–34.
PPDP-2012-GieslSSEF #evaluation #graph #logic programming #source code #symbolic computation #term rewriting: Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs (JG, TS, PSK, FE, CF), pp. 1–12.
PPDP-2012-MarpleBMG #execution #set #source code: Goal-directed execution of answer set programs (KM, AB, RM, GG), pp. 35–44.
PPDP-2012-PlasmeijerLMAK #functional #programming: Task-oriented programming in a pure functional language (RP, BL, SM, PA, PWMK), pp. 195–206.
QAPL-2012-GazeauMP #analysis #float #robust #source code: A non-local method for robustness analysis of floating point programs (IG, DM, CP), pp. 63–76.
PADL-2012-AntoyH #contract #functional #logic programming #specification: Contracts and Specifications for Functional Logic Programming (SA, MH), pp. 33–47.
PADL-2012-BradyH #domain-specific language #embedded #programming: Resource-Safe Systems Programming with Embedded Domain Specific Languages (EB, KH), pp. 242–257.
PADL-2012-HaveC #performance #program transformation #using: Efficient Tabling of Structured Data Using Indexing and Program Transformation (CTH, HC), pp. 93–107.
PADL-2012-MartinsME #functional #programming: The Environment as an Argument — Context-Aware Functional Programming (PMM, JAM, SE), pp. 48–62.
PADL-2012-Stewart #exclamation #functional #haskell #programming: Make Things Now! Pragmatic Functional Programming in Haskell (DS), p. 17.
POPL-2012-BouajjaniE #analysis #parallel #recursion #source code: Analysis of recursively parallel programs (AB, ME), pp. 203–214.
POPL-2012-CaveP #data type #programming: Programming with binders and indexed data-types (AC, BP), pp. 413–424.
POPL-2012-FarzanK #composition #concurrent #reasoning #source code #verification: Verification of parameterized concurrent programs by modular reasoning about data and control (AF, ZK), pp. 297–308.
POPL-2012-GardnerMS #javascript #logic #towards: Towards a program logic for JavaScript (PG, SM, GDS), pp. 31–44.
POPL-2012-KrishnaswamiBH #bound #functional #higher-order #programming: Higher-order functional reactive programming in bounded space (NRK, NB, JH), pp. 45–58.
POPL-2012-LiangFF #concurrent #program transformation #simulation #verification: A rely-guarantee-based simulation for verifying concurrent program transformations (HL, XF, MF), pp. 455–468.
POPL-2012-MonsantoFHW #compilation #network #programming language #runtime: A compiler and run-time system for network programming languages (CM, NF, RH, DW), pp. 217–230.
POPL-2012-Rexford #network #programmable #programming language: Programming languages for programmable networks (JR), pp. 215–216.
POPL-2012-ZhaoNMZ #formal method #program transformation #representation: Formalizing the LLVM intermediate representation for verified program transformations (JZ, SN, MMKM, SZ), pp. 427–440.
POPL-2012-ZhuMKR #approximate #performance #program transformation #random: Randomized accuracy-aware program transformations for efficient approximate computations (ZAZ, SM, JAK, MCR), pp. 441–454.
SAC-2012-BistarelliCS #concurrent #constraints #coordination #programming: A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming (SB, PC, FS), pp. 1551–1553.
SAC-2012-ChebaroKGJ #dynamic analysis #slicing #verification: Program slicing enhances a verification technique combining static and dynamic analysis (OC, NK, AG, JJ), pp. 1284–1291.
SAC-2012-CruzFP #source code #verification: Verification conditions for single-assignment programs (DCdC, MJF, JSP), pp. 1264–1270.
SAC-2012-DamianiPW #object-oriented #programming #type system: A type system for checking specialization of packages in object-oriented programming (FD, APH, YW), pp. 1737–1742.
SAC-2012-DandamudiWH #animation #comprehension #framework #source code: An animation framework for improving the comprehension of TinyOS programs (SD, SKW, JOH), pp. 1625–1631.
SAC-2012-FahmyRJ #implementation #interface #kernel #linux #programming #realtime #scheduling #thread: Implementing distributable real-time threads in the Linux kernel: programming interface and scheduling support (SFF, BR, EDJ), pp. 1771–1778.
SAC-2012-FanS #automation #collaboration #dependence #programming #realtime #semantics: Dependency-based automatic locking for semantic conflict prevention in real-time collaborative programming (HF, CS), pp. 737–742.
SAC-2012-HarnieDBM #programming: Programming urban-area applications (DH, TD, EGB, WDM), pp. 1516–1521.
SAC-2012-LavazzaMTT #empirical #java #open source #reliability #source code: An empirical investigation of perceived reliability of open source Java programs (LL, SM, DT, DT), pp. 1109–1114.
SAC-2012-NobakhtBJS #deployment #programming #scheduling: Programming and deployment of active objects with application-level scheduling (BN, FSdB, MMJ, RS), pp. 1883–1888.
SAC-2012-OSullivanWL #design #integer #using: Designing data storage tier using Integer Programing (MJO, CGW, DL), pp. 426–433.
SAC-2012-SarroFG #development #estimation #multi #programming #search-based: Single and Multi Objective Genetic Programming for software development effort estimation (FS, FF, CG), pp. 1221–1226.
SAC-2012-TangJ #analysis #precise: Exploiting regularity of user-defined types to improve precision of program analyses (XT, JJ), pp. 1743–1750.
SAC-2012-TruyenCWVBGDJ #as a service #programming: Context-oriented programming for customizable SaaS applications (ET, NC, SW, JV, EB, SG, TD, WJ), pp. 418–425.
SAC-2012-YuHJSLH #novel #programming #segmentation: A novel segmentation method for convex lesions based on dynamic programming with local intra-class variance (MY, QH, RJ, ES, HL, CCH), pp. 39–44.
SAC-2012-ZaraketNSJ #architecture #library #parallel #source code #using: Portable Parallel Programs using architecture-aware libraries (FAZ, MN, MS, AJ), pp. 1922–1924.
FSE-2012-AcharyaR #impact analysis #industrial #slicing: Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), p. 13.
FSE-2012-EmmiLQ #source code: Asynchronous programs with prioritized task-buffers (ME, AL, SQ), p. 48.
FSE-2012-FarzanMRS #concurrent #predict #source code: Predicting null-pointer dereferences in concurrent programs (AF, PM, NR, FS), p. 47.
FSE-2012-GanaiLG #analysis #concurrent #multi #named #source code #thread: DTAM: dynamic taint analysis of multi-threaded programs for relevancy (MKG, DL, AG), p. 46.
FSE-2012-SiegmundBAKLLS #comprehension #functional #towards: Toward measuring program comprehension with functional magnetic resonance imaging (JS, AB, SA, CK, JL, TL, GS), p. 24.
FSE-2012-VisserGD #constraints #named #program analysis #reuse: Green: reducing, reusing and recycling constraints in program analysis (WV, JG, MBD), p. 58.
FSE-2012-ZaeemK #generative #programming #using: Test input generation using dynamic programming (RNZ, SK), p. 34.
FSE-2012-ZhangKK #evolution #fault #impact analysis #java #named #source code: FaultTracer: a change impact and regression fault analysis tool for evolving Java programs (LZ, MK, SK), p. 40.
ICSE-2012-Braithwaite #how #industrial #programming #what: Software as an engineering material: How the affordances of programming have changed and what to do about it (Invited industrial talk) (KB), p. 998.
ICSE-2012-GouesDFW #automation #debugging #program repair: A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each (CLG, MDV, SF, WW), pp. 3–13.
ICSE-2012-Jaafar #analysis #evolution #on the #source code: On the analysis of evolution of software artefacts and programs (FJ), pp. 1563–1566.
ICSE-2012-LemosFSG #agile #assessment #development #empirical #programming: Development of auxiliary functions: Should you be agile? An empirical assessment of pair programming and test-first programming (OALL, FCF, FFS, AG), pp. 529–539.
ICSE-2012-NguyenNNN #detection #named #web: BabelRef: Detection and renaming tool for cross-language program entities in dynamic web applications (HVN, HAN, TTN, TNN), pp. 1391–1394.
ICSE-2012-PankratiusSG #empirical #functional #imperative #java #manycore #programming #scala: Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java (VP, FS, GG), pp. 123–133.
ICSE-2012-PlonkaSL #matter #programming #question: Disengagement in pair programming: Does it matter? (LP, HS, JvdL), pp. 496–506.
ICSE-2012-ReissBL #programming: Code Bubbles: A practical working-set programming environment (SPR, JNB, JJLJ), pp. 1411–1414.
ICSE-2012-Rodes #layout #source code #stack #towards: Stack layout transformation: Towards diversity for securing binary programs (BR), pp. 1543–1546.
ICSE-2012-SillittiSV #case study #comprehension #developer #industrial #programming #scalability: Understanding the impact of Pair Programming on developers attention: A case study on a large industrial experimentation (AS, GS, JV), pp. 1094–1101.
ICSE-2012-Stolee #lightweight #semantics #source code #specification: Finding suitable programs: Semantic search with incomplete and lightweight specifications (KTS), pp. 1571–1574.
ICSE-2012-Wen #fault #locality #slicing: Software fault localization based on program slicing spectrum (WW), pp. 1511–1514.
LDTA-2012-Voigtlander #bidirectional #programming language: Programming language approaches to bidirectional transformation (JV), p. 1.
SLE-2012-CuadradoGL #runtime: The Program Is the Model: Enabling Transformations@run.time (JSC, EG, JdL), pp. 104–123.
SPLC-2012-NunesGLL #evolution #heuristic #product line: History-sensitive heuristics for recovery of features in code of evolving program families (CN, AG, CJPdL, JL), pp. 136–145.
ASPLOS-2012-EsmaeilzadehSCB #approximate #architecture #programming: Architecture support for disciplined approximate programming (HE, AS, LC, DB), pp. 301–312.
CC-2012-HouVQJFV: A New Method for Program Inversion (CH, GV, DJQ, DJ, RF, RWV), pp. 81–100.
CC-2012-JimboreanMLC #framework #named #program analysis: VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework (AJ, LM, VL, PC), pp. 220–239.
CC-2012-MarronLB #analysis #paradigm #programming: Programming Paradigm Driven Heap Analysis (MM, OL, AB), pp. 41–60.
CC-2012-YangBMIGSSS #c++ #inheritance #program analysis: Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis (JY, GB, NM, FI, AG, NS, SS, NS), pp. 144–164.
CGO-2012-AnsaloniBHC #multi #program analysis: Deferred methods: accelerating dynamic program analysis on multicores (DA, WB, AH, LYC), pp. 242–251.
CGO-2012-CampanoniJHRWB #automation #named #parallel #source code: HELIX: automatic parallelization of irregular programs for chip multiprocessing (SC, TMJ, GHH, VJR, GYW, DMB), pp. 84–93.
CGO-2012-ChabbiM #named: DeadSpy: a tool to pinpoint program inefficiencies (MC, JMMC), pp. 124–134.
CGO-2012-ParkCA #graph #modelling #predict #using: Using graph-based program characterization for predictive modeling (EP, JC, MAA), pp. 196–206.
CGO-2012-ZouR #detection #parallel #source code: Scan detection and parallelization in “inherently sequential” nested loop programs (YZ, SVR), pp. 74–83.
HPCA-2012-SeguljaA #architecture #parallel #programming: Architectural support for synchronization-free deterministic parallel programming (CS, TSA), pp. 337–348.
ISMM-2012-InoueN #hardware #identification #java #source code: Identifying the sources of cache misses in Java programs without relying on hardware counters (HI, TN), pp. 133–142.
ISMM-2012-SeweMSABRG #behaviour #comparison #java #memory management #scala #source code: new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs (AS, MM, AS, DA, WB, NPR, SZG), pp. 97–108.
LCTES-2012-FarhadKBS #deployment #multi #source code: Profile-guided deployment of stream programs on multicores (SMF, YK, BB, BS), pp. 79–88.
LCTES-2012-SbirleaZBCS #data flow #programming: Mapping a data-flow programming model onto heterogeneous platforms (ASS, YZ, ZB, JC, VS), pp. 61–70.
LCTES-2012-YuYWCC #consistency #parallel #source code: Symbolic consistency checking of OpenMp parallel programs (FY, SCY, FW, GCC, CCC), pp. 139–148.
OSDI-2012-HanMCR #interface #named #network #programming #scalability: MegaPipe: A New Programming Interface for Scalable Network I/O (SH, SM, BGC, SR), pp. 135–148.
PPoPP-2012-AnderschCJ #embedded #parallel #programming: Programming parallel embedded and consumer applications in OpenMP superscalar (MA, CCC, BHHJ), pp. 281–282.
PPoPP-2012-EomYJD #named #object-oriented #source code: DOJ: dynamically parallelizing object-oriented programs (YHE, SY, JCJ, BD), pp. 85–96.
PPoPP-2012-KimSLNJL #clustering #cpu #gpu #programming: OpenCL as a unified programming model for heterogeneous CPU/GPU clusters (JK, SS, JL, JN, GJ, JL), pp. 299–300.
PPoPP-2012-LeissaHW #programming: Extending a C-like language for portable SIMD programming (RL, SH, IW), pp. 65–74.
PPoPP-2012-NollG #framework #optimisation #parallel #source code: An infrastructure for dynamic optimization of parallel programs (AN, TRG), pp. 325–326.
CAV-2012-AtigBEL #detection #parallel #source code #thread: Detecting Fair Non-termination in Multithreaded Programs (MFA, AB, ME, AL), pp. 210–226.
CAV-2012-BodikT #constraints #source code #theorem proving: Synthesizing Programs with Constraint Solvers (RB, ET), p. 3.
CAV-2012-BrockschmidtMOG #automation #java #proving #source code #termination: Automated Termination Proofs for Java Programs with Cyclic Data (MB, RM, CO, JG), pp. 105–122.
CAV-2012-ChaudhuriS #named #optimisation #source code: Euler: A System for Numerical Optimization of Programs (SC, ASL), pp. 732–737.
CAV-2012-EsparzaGK #probability #proving #source code #termination #using: Proving Termination of Probabilistic Programs Using Patterns (JE, AG, SK), pp. 123–138.
CAV-2012-HagueL #analysis #bound #parallel #source code #thread: Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters (MH, AWL), pp. 260–276.
CAV-2012-HarrisJR #automaton #game studies #programming #safety: Secure Programming via Visibly Pushdown Safety Games (WRH, SJ, TWR), pp. 581–598.
CAV-2012-KahlonW #concurrent #source code: Lock Removal for Concurrent Trace Programs (VK, CW), pp. 227–242.
CAV-2012-KieferMOWW #named #probability #source code: APEX: An Analyzer for Open Probabilistic Programs (SK, ASM, JO, BW, JW), pp. 693–698.
CAV-2012-LahiriHKR #imperative #named #semantics #source code: SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs (SKL, CH, MK, HR), pp. 712–717.
CAV-2012-Schwartz-NarbonneLAM #debugging #named #parallel #source code: passert: A Tool for Debugging Parallel Programs (DSN, FL, DIA, SM), pp. 751–757.
CAV-2012-SinghS #named #programming: SPT: Storyboard Programming Tool (RS, ASL), pp. 738–743.
CSL-2012-BaillotL #complexity #higher-order: Higher-Order Interpretations and Program Complexity (PB, UDL), pp. 62–76.
ICLP-2012-0002KZPM #approach #data access #logic programming #rdf: A Logic Programming approach for Access Control over RDF (NL, SK, AZ, AP, AM), pp. 381–392.
ICLP-2012-Angelis #model checking: Software Model Checking by Program Specialization (EDA), pp. 439–444.
ICLP-2012-AriasL #logic programming: Logic Programming in Tabular Allegories (EJGA, JL), pp. 334–347.
ICLP-2012-Balduccini #set #source code: An Answer Set Solver for non-Herbrand Programs: Progress Report (MB), pp. 49–60.
ICLP-2012-BanbaraTI #generative #matrix #programming #testing: Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (MB, NT, KI), pp. 86–97.
ICLP-2012-CattafiHGNM #constraints #health #logic programming #performance #quality: Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit (MC, RH, MG, MN, FM), pp. 415–424.
ICLP-2012-DeneckerLTV #programming #semantics #set: A Tarskian Informal Semantics for Answer Set Programming (MD, YL, MT, JV), pp. 277–289.
ICLP-2012-Dieguez #programming #set: Temporal Answer Set Programming (MD), pp. 445–450.
ICLP-2012-GrecoST #logic programming #on the #source code #termination: On the Termination of Logic Programs with Function Symbols (SG, FS, IT), pp. 323–333.
ICLP-2012-Lifschitz #logic programming #source code: Two-Valued Logic Programs (VL), pp. 259–266.
ICLP-2012-MorakW #preprocessor #programming #set: Preprocessing of Complex Non-Ground Rules in Answer Set Programming (MM, SW), pp. 247–258.
ICLP-2012-NievesL #logic programming #source code: Possibilistic Nested Logic Programs (JCN, HL), pp. 267–276.
ICLP-2012-OetschPT #constraints #semantics #source code: An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions (JO, JP, HT), pp. 222–234.
ICLP-2012-Redl #programming #set: Answer Set Programming with External Sources (CR), pp. 469–475.
ICLP-2012-SchandaB #development #programming #set #using: Using Answer Set Programming in the Development of Verified Software (FS, MB), pp. 72–85.
ICLP-2012-VirsedaMT #concurrent #constraints #functional #logic programming #semantics: A Concurrent Operational Semantics for Constraint Functional Logic Programming (RdVV, FPM, MMGT), pp. 154–163.
ICLP-2012-YouMB #semantics #source code: Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs (JHY, JM, YB), pp. 235–246.
ICLP-2012-ZomboriCS #constraints #logic programming #static typing #type inference #using: Static Type Inference for the Q language using Constraint Logic Programming (ZZ, JC, PS), pp. 119–129.
ICLP-J-2012-BaralDGG #algorithm #correctness #programming #set #λ-calculus: Typed answer set programming λ calculus theories and correctness of inverse λ algorithms with respect to them (CB, JD, MAG, AG), pp. 775–791.
ICLP-J-2012-BliemMW #declarative #named #problem #programming #using: D-FLAT: Declarative problem solving using tree decompositions and answer-set programming (BB, MM, SW), pp. 445–464.
ICLP-J-2012-Cervesato #compilation #logic programming #source code: An Improved Proof-Theoretic Compilation of Logic Programs (IC), pp. 639–657.
ICLP-J-2012-GorlinRS #logic programming #model checking #probability: Model checking with probabilistic tabled logic programming (AG, CRR, SAS), pp. 681–700.
ICLP-J-2012-IslamRR #logic programming #probability #random #source code: Inference in probabilistic logic programs with continuous random variables (MAI, CRR, IVR), pp. 505–523.
ICLP-J-2012-Martin #logic programming #semantics #source code: Contextual hypotheses and semantics of logic programs (EM), pp. 843–887.
ICLP-J-2012-Vidal #independence #logic programming #partial evaluation #source code: Annotation of logic programs for independent AND-parallelism by partial evaluation (GV), pp. 583–600.
ICLP-J-2012-VosKOPT #source code: Annotating answer-set programs in Lana (MDV, DGK, JO, JP, HT), pp. 619–637.
ICST-2012-GligoricMM #model checking #named #programming language: X10X: Model Checking a New Programming Language with an “Old” Model Checker (MG, PCM, DM), pp. 11–20.
ICST-2012-GotliebHB #constraints #programming #using: Minimum Pairwise Coverage Using Constraint Programming Techniques (AG, AH, BB), pp. 773–774.
ICST-2012-LiuNT #bound #case study #smt #using #verification: Bounded Program Verification Using an SMT Solver: A Case Study (TL, MN, MT), pp. 101–110.
ICST-2012-PonsiniMR #abstract interpretation #analysis #constraints #float #programming #source code: Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs (OP, CM, MR), pp. 775–776.
ICST-2012-Wotawa #challenge #constraints #fault #open science #research #source code #using: Open Research Challenges of Localizing Faults in Programs Using Constraints (FW), pp. 770–771.
IJCAR-2012-BoerBR #automation #pointer #recursion #source code #verification: Automated Verification of Recursive Programs with Pointers (FSdB, MMB, JR), pp. 149–163.
IJCAR-2012-NikolicS #analysis #reachability: Reachability Analysis of Program Variables (DN, FS), pp. 423–438.
IJCAR-2012-RauSS #correctness #problem #program transformation #termination: Correctness of Program Transformations as a Termination Problem (CR, DS, MSS), pp. 462–476.
ISSTA-2012-CoughlinCDS #source code #what: Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say (DC, BYEC, AD, JGS), pp. 276–286.
ISSTA-2012-HongAPKH #concurrent #source code #testing: Testing concurrent programs to achieve high synchronization coverage (SH, JA, SP, MK, MJH), pp. 210–220.
ISSTA-2012-StaatsHKR #comprehension #correctness #invariant: Understanding user understanding: determining correctness of generated program invariants (MS, SH, MK, GR), pp. 188–198.
ISSTA-2012-ThiesB #java #named #refactoring #source code: RefaFlex: safer refactorings for reflective Java programs (AT, EB), pp. 1–11.
SAT-2012-Knuth #programming #satisfiability: Satisfiability and The Art of Computer Programming (DEK), p. 15.
SMT-2012-BjornerMR #modulo theories #satisfiability #verification: Program Verification as Satisfiability Modulo Theories (NB, KLM, AR), pp. 3–11.
TAP-2012-SenniF #constraints #data type #generative #logic programming #testing #using: Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.
VMCAI-2012-BouajjaniDES #abstract domain #automation #infinity #reasoning #source code: Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (AB, CD, CE, MS), pp. 1–22.
VMCAI-2012-ChakiGS #concurrent #multi #source code #thread #verification: Regression Verification for Multi-threaded Programs (SC, AG, OS), pp. 119–135.
VMCAI-2012-CharltonHR #higher-order #named #source code #verification: Crowfoot: A Verifier for Higher-Order Store Programs (NC, BH, BR), pp. 136–151.
VMCAI-2012-MorseVMM #c #message passing #modelling #source code: Modeling Asynchronous Message Passing for C Programs (EM, NV, EM, JM), pp. 332–347.
VMCAI-2012-SiegelZ #execution #invariant #parallel #source code #symbolic computation: Loop Invariant Symbolic Execution for Parallel Programs (SFS, TKZ), pp. 412–427.
ASE-2011-AnandH #execution #java #source code #symbolic computation: Heap cloning: Enabling dynamic symbolic execution of java programs (SA, MJH), pp. 33–42.
ASE-2011-GanaiAWGB #concurrent #multi #named #predict #testing #thread: BEST: A symbolic testing tool for predicting multi-threaded program failures (MKG, NA, CW, AG, GB), pp. 596–599.
ASE-2011-Groce #adaptation #generative #programming: Coverage rewarded: Test input generation via adaptation-based programming (AG), pp. 380–383.
ASE-2011-KhalekYZMK #alloy #java #named #source code #specification #testing #using: TestEra: A tool for testing Java programs using alloy specifications (SAK, GY, LZ, DM, SK), pp. 608–611.
ASE-2011-MacleanIG #animation #correctness #functional #pointer #source code: The CORE system: Animation and functional correctness of pointer programs (EM, AI, GG), pp. 588–591.
ASE-2011-NguyenNNN11a #difference #named: iDiff: Interaction-based program differencing tool (HAN, TTN, HVN, TNN), pp. 572–575.
ASE-2011-PanWX #database #generative #testing: Generating program inputs for database application testing (KP, XW, TX), pp. 73–82.
ASE-2011-PeiWFNM #automation: Code-based automated program fixing (YP, YW, CAF, MN, BM), pp. 392–395.
ASE-2011-RobinsonEPAL #automation #generative #scalability #source code #testing: Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs (BR, MDE, JHP, VA, NL), pp. 23–32.
ASE-2011-SagdeoAKV #clustering #invariant #named #using: PRECIS: Inferring invariants using program path guided clustering (PS, VA, SK, SV), pp. 532–535.
ASE-2011-WesongaMR #concurrent #fault #source code #visualisation: Guided test visualization: Making sense of errors in concurrent programs (SW, EGM, NR), pp. 624–627.
ASE-2011-YuTN #detection #source code #specification: Specifying and detecting meaningful changes in programs (YY, TTT, BN), pp. 273–282.
CASE-2011-AnghinolfiPSS #integer #optimisation #programming: Integer programming and ant colony optimization for planning intermodal freight transportation operations (DA, MP, SS, SS), pp. 214–219.
CASE-2011-CostantinoDFFMSU #approach #design #fuzzy #network #programming: A fuzzy programming approach for the strategic design of distribution networks (NC, MD, MF, MPF, AMM, FS, WU), pp. 66–71.
CASE-2011-DingRGS #programming: Mixed-integer programming for optimal path planning of robotic manipulators (HD, GR, DG, OS), pp. 133–138.
CASE-2011-MovafaghpourM #approach #linear #probability #programming: A linear programming approach for probabilistic robot path planning with missing information of outcomes (MAM, EM), pp. 126–132.
CASE-2011-TengHTK #optimisation: Optimizing coverage for a Chlamydia trachomatis screening program (YT, LH, WT, NK), pp. 531–536.
DAC-2011-CheC #compilation #embedded #manycore #memory management #source code: Compilation of stream programs onto scratchpad memory based embedded multicore processors through retiming (WC, KSC), pp. 122–127.
DAC-2011-KuoSR #analysis #performance #reachability #source code #using: Efficient WCRT analysis of synchronous programs using reachability (MMYK, RS, PSR), pp. 480–485.
DAC-2011-Paulin #challenge #industrial #multi #perspective #programming: Programming challenges & solutions for multi-processor SoCs: an industrial perspective (PGP), pp. 262–267.
DATE-2011-AndalamRG #analysis #source code: Pruning infeasible paths for tight WCRT analysis of synchronous programs (SA, PSR, AG), pp. 204–209.
DATE-2011-BaiDDC #network #program transformation #programming #runtime: Simplified programming of faulty sensor networks via code transformation and run-time interval computation (LSB, RPD, PAD, PHC), pp. 88–93.
DATE-2011-GeunsBBC #parallel #source code: Parallelization of while loops in nested loop programs for shared-memory multiprocessor systems (SJG, MJGB, TB, HC), pp. 697–702.
DATE-2011-WuWWZLXY #architecture #parallel #programming: Gemma in April: A matrix-like parallel programming architecture on OpenCL (TW, DW, YW, XZ, HL, NX, HY), pp. 703–708.
VLDB-2011-HerodotouB #cost analysis #optimisation #pipes and filters #profiling #source code: Profiling, What-if Analysis, and Cost-based Optimization of MapReduce Programs (HH, SB), pp. 1111–1122.
VLDB-2011-HerodotouDB #cost analysis #optimisation #pipes and filters #programming: MapReduce Programming and Cost-based Optimization? Crossing this Chasm with Starfish (HH, FD, SB), pp. 1446–1449.
VLDB-2011-JahaniCR #automation #optimisation #pipes and filters #source code: Automatic Optimization for MapReduce Programs (EJ, MJC, CR), pp. 385–396.
CSEET-2011-ChenT #programming #quality #smell: Grading code quality of programming assignments based on bad smells (WKC, PYT), p. 559.
CSEET-2011-ChookittikulM #collaboration #effectiveness #security: Effective real-world project collaboration: Strategies from a cyber security degree program (WC, PEM), pp. 429–433.
CSEET-2011-GalvaoARAFG #education #learning #logic programming #process: A proposal for an educational system service to support teaching/learning process for logic programming (ERDG, RRdA, CMOR, SCA, FF, VCG), p. 556.
CSEET-2011-GimenesBB #distance #learning #re-engineering #source code: International workshop on distance learning support for postgraduate programs in software engineering (e-gradSE) (IMdSG, LB, EFB), pp. 517–519.
CSEET-2011-JiS #programming: Comparing extreme programming and Waterfall project results (FJ, TS), pp. 482–486.
CSEET-2011-LethbridgeMFB #education #programming #uml #using: Teaching UML using umple: Applying model-oriented programming in the classroom (TCL, GM, AF, OBB), pp. 421–428.
CSEET-2011-RadermacherW #empirical #interactive #programming #student #using: Investigating student-instructor interactions when using pair programming: An empirical study (AR, GSW), pp. 41–50.
CSEET-2011-SallehMG #education #experience #programming: The effects of openness to experience on pair programming in a higher education context (NS, EM, JCG), pp. 149–158.
CSEET-2011-ShaoLDL #re-engineering: An introductory software engineering course for software engineering program (DS, BL, ED, QL), pp. 411–415.
CSEET-2011-Skevoulis #industrial #re-engineering: Engineering a successful partnership between academia and the financial industry: A software engineering program for IT professionals (SS), pp. 343–350.
CSEET-2011-SouzaMB #evaluation #named #process #programming #testing: ProgTest: An environment for the submission and evaluation of programming assignments based on testing activities (DMdS, JCM, EFB), pp. 1–10.
CSEET-2011-TabriziVD #case study #development #experience #re-engineering: Development of North Carolina’s first Software Engineering program: An experience report (MHNT, SV, JD), pp. 266–273.
CSEET-2011-Tanuan #case study #design #experience #mobile #programming: Design and delivery of a modern mobile application programming course — An experience report (MT), pp. 237–246.
CSEET-2011-TsukamotoTNM #analysis #motivation #programming: Analysis of the motivation of learners in the in-house training of programming in Japanese ICT industries (HT, YT, HN, KiM), pp. 121–128.
CSEET-2011-WhiteC #design #implementation #online #re-engineering: The design and implementation of an innovative online program for a master of science degree in Computer Science — Software Engineering specialization (LJW, JWC), pp. 257–265.
ITiCSE-2011-BarrosBV #java #named #object-oriented #programming #sequence #source code #visualisation: Java2Sequence: a tool for the visualization of object-oriented programs in introductory programming (JPB, LB, MV), p. 369.
ITiCSE-2011-BellCCDH #programming #student: Introducing students to computer science with programmes that don’t emphasise programming (TB, PC, QIC, VD, BH), p. 391.
ITiCSE-2011-CamachoM #learning #programming: Facilitating learning dynamic programming through a previous introduction of exhaustive search (AC, AM), p. 355.
ITiCSE-2011-CooperDLLRSS #development: A pre-college professional development program (SC, WD, DL, PBL, SHR, MS, RHS), pp. 188–192.
ITiCSE-2011-EckerdalLLS #concept #perspective #programming: Relationship between text and action conceptions of programming: a phenomenographic and quantitative perspective (AE, MJL, ML, AS), pp. 33–37.
ITiCSE-2011-EganCT #evaluation #framework: The academic enhancement program in introductory CS: a workshop framework description and evaluation (RE, DC, DMT), pp. 278–282.
ITiCSE-2011-GiannakosDVK #education #programming: Programming in secondary education: benefits and perspectives (MNG, SD, PV, CK), p. 349.
ITiCSE-2011-HubwieserM #object-oriented #programming: Investigating cognitive structures of object oriented programming (PH, AM), p. 377.
ITiCSE-2011-HullPK #automation #named #programming #student: Infandango: automated grading for student programming (MJH, DP, EK), p. 330.
ITiCSE-2011-LangCPEA #source code #student: Outreach programs to promote computer science and ict to high school and middle school students (CL, AC, JP, MALE, RA), pp. 344–345.
ITiCSE-2011-Mahmoud11a #approach #mobile #programming: A mobile web-based approach to introductory programming (QHM), p. 334.
ITiCSE-2011-Meerbaum-SalantAB #programming: Habits of programming in scratch (OMS, MA, MBA), pp. 168–172.
ITiCSE-2011-MselleM #concept #education #memory management #programming: The impact of memory transfer language (MTL) in reducing misconceptions in teaching programming to novices (LJM, RM), p. 388.
ITiCSE-2011-OliveiraMR #learning #problem #programming: From concrete to abstract?: problem domain in the learning of introductory programming (OLO, AMM, NTR), pp. 173–177.
ITiCSE-2011-OliveiraMR11a #case study #natural language #programming: Natural language in introductory programming: an experimental study (OLO, AMM, NTR), p. 363.
ITiCSE-2011-PauHGW #case study #exclamation #experience #programming #student: Female students’ experiences of programming: it’s not all bad! (RP, WH, MG, JW), pp. 323–327.
ITiCSE-2011-StrieweG11a #automation #programming #runtime #using: Using run time traces in automated programming tutoring (MS, MG), pp. 303–307.
ITiCSE-2011-VirsedaM #debugging #education #semantics #source code #verification: An innovative teaching tool based on semantic tableaux for verification and debugging of programs (RdVV, FPM), p. 352.
ITiCSE-2011-WittmannBK #programming #using: Using the SCORE software package to analyse novice computer graphics programming (MRAW, MB, MKT), pp. 118–122.
ITiCSE-2011-YooSKF #named #programming: WeScheme: the browser is your programming environment (DY, ES, SK, KF), pp. 163–167.
ITiCSE-2011-ZarbH #programming: Exploring flow in novice programming environments (MZ, JH), p. 394.
ESOP-2011-DeDN #analysis #data flow #source code: Dataflow Analysis for Datarace-Free Programs (AD, DD, RN), pp. 196–215.
ESOP-2011-Mine #c #embedded #fault #parallel #runtime #source code #static analysis: Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (AM), pp. 398–418.
FASE-2011-LiT #clone detection #detection #erlang #incremental #source code: Incremental Clone Detection and Elimination for Erlang Programs (HL, SJT), pp. 356–370.
FoSSaCS-2011-AristizabalBPPV #concurrent #constraints #programming #similarity: Deriving Labels and Bisimilarity for Concurrent Constraint Programming (AA, FB, CP, LFP, FDV), pp. 138–152.
FoSSaCS-2011-AxelsenG #question #source code #what: What Do Reversible Programs Compute? (HBA, RG), pp. 42–56.
FoSSaCS-2011-Hoshino #functional #linear #programming language: A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy (NH), pp. 320–334.
TACAS-2011-GopinathMK #program repair #satisfiability #using: Specification-Based Program Repair Using SAT (DG, MZM, SK), pp. 173–188.
TACAS-2011-KieferW #on the #parallel #probability #process #source code: On Probabilistic Parallel Programs with Process Creation and Synchronisation (SK, DW), pp. 296–310.
TACAS-2011-PodelskiR #abstraction #invariant #termination: Transition Invariants and Transition Predicate Abstraction for Program Termination (AP, AR), pp. 3–10.
ICPC-J-2009-ParninR11 #programming: Resumption strategies for interrupted programming tasks (CP, SR), pp. 5–34.
ICPC-J-2009-StefikG11 #empirical #programming language: Empirical studies on programming language stimuli (AS, EG), pp. 65–99.
SCAM-J-2009-Giffhorn11 #concurrent #source code: Advanced chopping of sequential and concurrent programs (DG), pp. 239–294.
CSMR-2011-AbbesKGA #comprehension #empirical: An Empirical Study of the Impact of Two Antipatterns, Blob and Spaghetti Code, on Program Comprehension (MA, FK, YGG, GA), pp. 181–190.
CSMR-2011-BacchelliLH #comprehension: RTFM (Read the Factual Mails) — Augmenting Program Comprehension with Remail (AB, ML, VH), pp. 15–24.
CSMR-2011-Przybylek #aspect-oriented #composition #programming: Impact of Aspect-Oriented Programming on Software Modularity (AP), pp. 369–372.
ICPC-2011-BegelQ #challenge #comprehension #embedded #industrial: Industrial Program Comprehension Challenge 2011: Archeology and Anthropology of Embedded Control Systems (AB, JQ), pp. 227–229.
ICPC-2011-Burnett #programming #question #tool support: Males and Females Developing Software: Are Programming Tools Getting in the Way? (MB), p. xvii.
ICPC-2011-BurrowsTGF #aspect-oriented #evaluation #fault #reasoning #source code: Reasoning about Faults in Aspect-Oriented Programs: A Metrics-Based Evaluation (RB, FT, AG, FCF), pp. 131–140.
ICPC-2011-EitanGHMW #comprehension #on the #source code #visualisation: On Visualization and Comprehension of Scenario-Based Programs (NE, MG, DH, AM, GW), pp. 189–192.
ICPC-2011-EndrikatH #aspect-oriented #development #maintenance #programming: Is Aspect-Oriented Programming a Rewarding Investment into Future Code Changes? A Socio-technical Study on Development and Maintenance Time (SE, SH), pp. 51–60.
ICPC-2011-GuzziHLPD #comprehension: Collective Code Bookmarks for Program Comprehension (AG, LH, ML, MP, AvD), pp. 101–110.
ICPC-2011-RupakhetiH #programming: Satisfying Programmers’ Information Needs in API-Based Programming (CRR, DH), pp. 250–253.
ICPC-2011-SamaraweeraSQ #approach #programming #towards: Programming from the Reader’s Perspective: Toward an Expectations Approach (GS, MS, JQ), pp. 211–212.
ICPC-2011-Soh #comprehension: Context and Vision: Studying Two Factors Impacting Program Comprehension (ZS), pp. 258–261.
ICPC-2011-StefikSSS #programming language #towards: Toward Intuitive Programming Languages (AS, SS, KS, MS), pp. 213–214.
ICPC-2011-Storey #interactive #java #revisited #source code #visualisation: An Interactive Visualization Environment for Exploring Java Programs: SHriMP Views Revisited (MADS), p. xviii.
ICPC-2011-ZibranR #approach #constraints #programming #refactoring #scheduling: Conflict-Aware Optimal Scheduling of Code Clone Refactoring: A Constraint Programming Approach (MFZ, CKR), pp. 266–269.
ICSM-2011-JiresalCN #cobol #detection #precise #scalability #source code: Precise detection of un-initialized variables in large, real-life COBOL programs in presence of unrealizable paths (RJ, AC, RN), pp. 448–456.
ICSM-2011-NogueraRKJ #query: Program querying with a SOUL: The BARISTA tool suite (CN, CDR, AK, VJ), pp. 582–585.
ICSM-2011-Roover #detection #logic #metaprogramming #object-oriented #source code: A logic meta-programming foundation for example-driven pattern detection in object-oriented programs (CDR), pp. 556–561.
ICSM-2011-ZhangKK: Localizing failure-inducing program edits based on spectrum information (LZ, MK, SK), pp. 23–32.
MSR-2011-CallauRTR #developer #how #programming language #smalltalk: How developers use the dynamic features of programming languages: the case of smalltalk (OC, RR, ÉT, DR), pp. 23–32.
SCAM-2011-Gold #analysis #music #programming #source code: Knitting Music and Programming: Reflections on the Frontiers of Source Code Analysis (NG), pp. 10–14.
SCAM-2011-Larson #program analysis #set: Program Analysis Too Loopy? Set the Loops Aside (EL), pp. 15–24.
SCAM-2011-NicolayRMJ #automation #higher-order #parallel #source code: Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs (JN, CDR, WDM, VJ), pp. 185–194.
SCAM-2011-ZibranR #approach #constraints #programming #refactoring #scheduling: A Constraint Programming Approach to Conflict-Aware Optimal Scheduling of Prioritized Code Clone Refactoring (MFZ, CKR), pp. 105–114.
WCRE-2011-BazrafshanKG #approximate #code search: Approximate Code Search in Program Histories (SB, RK, NG), pp. 109–118.
WCRE-2011-HaslingerLE #feature model #modelling #reverse engineering #set #source code: Reverse Engineering Feature Models from Programs’ Feature Sets (ENH, RELH, AE), pp. 308–312.
WCRE-2011-Mintchev #integration #legacy #program transformation: Renovation by Machine-Assisted Program Transformation in Production Reporting and Integration (SM), pp. 406–410.
WCRE-2011-ScholzK #multi #protocol #source code #thread: Object-Based Dynamic Protocol Recovery for Multi-Threading Programs (BS, RK), pp. 251–260.
WCRE-2011-TanPPZ #clustering #fault #predict #quality: Assessing Software Quality by Program Clustering and Defect Prediction (XT, XP, SP, WZ), pp. 244–248.
PEPM-J-2007-CunhaV11 #query #source code #xpath: Transformation of structure-shy programs with application to XPath queries and strategic functions (AC, JV), pp. 516–539.
PEPM-J-2007-MollerS11 #graph #program analysis #xml: XML graphs in program analysis (AM, MIS), pp. 492–515.
PEPM-2011-BauerEFP #adaptation #java #programming: Adaptation-based programming in java (TB, ME, AF, JP), pp. 81–90.
PEPM-2011-Caballero #functional #logic programming #program transformation #source code: A program transformation for returning states in functional-logic programs (RC), pp. 111–120.
PEPM-2011-FernandesSSV #source code #strict: Strictification of circular programs (JPF, JS, DS, JV), pp. 131–140.
PEPM-2011-Martin-Martin #functional #logic programming: Type classes in functional logic programming (EMM), pp. 121–130.
PEPM-2011-Rinard #bound #probability #program analysis #program transformation #source code: Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation (MCR), pp. 79–80.
PEPM-2011-WangG #embedded #programming #protocol: An embedded language for programming protocol stacks in embedded systems (YW, VG), pp. 63–72.
PLDI-2011-BouajjaniDES #analysis #interprocedural #on the #source code: On inter-procedural analysis of programs with lists and data (AB, CD, CE, MS), pp. 578–589.
PLDI-2011-Chlipala #logic #low level #source code #verification: Mostly-automated verification of low-level programs in computational separation logic (AC), pp. 234–245.
PLDI-2011-DilligDAS #composition #precise #source code #summary: Precise and compact modular procedure summaries for heap manipulating programs (ID, TD, AA, MS), pp. 567–577.
PLDI-2011-GulwaniJTV #source code #synthesis: Synthesis of loop-free programs (SG, SJ, AT, RV), pp. 62–73.
PLDI-2011-MengKM #editing #generative #program transformation: Systematic editing: generating program transformations from an example (NM, MK, KSM), pp. 329–342.
PLDI-2011-PrabhuGZJA #commutative #parallel #programming #set: Commutative set: a language extension for implicit parallel programming (PP, SG, YZ, NPJ, DIA), pp. 1–11.
PLDI-2011-PrasadAG #automation #compilation #execution #matlab #source code: Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors (AP, JA, RG), pp. 152–163.
PLDI-2011-Sevcik #concurrent #optimisation #source code: Safe optimisations for shared-memory concurrent programs (JS), pp. 306–316.
PLDI-2011-SrivastavaGCF #induction #synthesis: Path-based inductive synthesis for program inversion (SS, SG, SC, JSF), pp. 492–503.
SAS-2011-BouajjaniEP #concurrent #on the #source code: On Sequentializing Concurrent Programs (AB, ME, GP), pp. 129–145.
SAS-2011-HuangZ #concurrent #debugging #performance #source code: An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs (JH, CZ), pp. 163–179.
SAS-2011-MightH #abstract interpretation #concurrent #higher-order #product line #source code #static analysis: A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs (MM, DVH), pp. 180–197.
SAS-2011-MisailovicRR #program transformation: Probabilistically Accurate Program Transformations (SM, DMR, MCR), pp. 316–333.
SAS-2011-Mitchell #program analysis #security #web: Program Analysis for Web Security (JCM), p. 4.
SAS-2011-NoriR #machine learning #program analysis: Program Analysis and Machine Learning: A Win-Win Deal (AVN, SKR), pp. 2–3.
SAS-2011-SchrammelJ #data flow #source code #verification: Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs (PS, BJ), pp. 233–248.
SAS-2011-SuterKK #recursion #satisfiability #source code: Satisfiability Modulo Recursive Programs (PS, ASK, VK), pp. 298–315.
SAS-2011-ZulegerGSV #abstraction #analysis #bound #imperative #source code: Bound Analysis of Imperative Programs with the Size-Change Abstraction (FZ, SG, MS, HV), pp. 280–297.
STOC-2011-DinitzK #linear #source code: Directed spanners via flow-based linear programs (MD, RK), pp. 323–332.
AFL-2011-MedunaVZ #nondeterminism #on the: On Nondeterminism in Programmed Grammars (AM, LV, PZ), pp. 315–327.
DLT-2011-Wilke #functional #regular expression: A Functional Program for Regular Expressions Matching — Abstract of Invited Talk (TW), pp. 44–45.
ICALP-v1-2011-AllenderW #algebra #branch #on the #power of #source code: On the Power of Algebraic Branching Programs of Width Two (EA, FW), pp. 736–747.
ICALP-v2-2011-AhnG #linear #problem #programming: Linear Programming in the Semi-streaming Model with Application to the Maximum Matching Problem (KJA, SG), pp. 526–538.
ICALP-v2-2011-BrazdilKKV #analysis #bound #probability #recursion #runtime #source code: Runtime Analysis of Probabilistic Programs with Unbounded Recursion (TB, SK, AK, IHV), pp. 319–331.
ICALP-v2-2011-SuenagaH #hybrid #modelling #programming: Programming with Infinitesimals: A While-Language for Hybrid System Modeling (KS, IH), pp. 392–403.
IFM-J-2009-Weiss11 #abstraction #calculus #logic: Predicate abstraction in a program logic calculus (BW), pp. 861–876.
FM-2011-BartheCK #relational #source code #using #verification: Relational Verification Using Product Programs (GB, JMC, CK), pp. 200–214.
FM-2011-DietschWP #verification: System Verification through Program Verification (DD, BW, AP), pp. 27–41.
FM-2011-GherghinaDQC #source code #specification #verification: Structured Specifications for Better Verification of Heap-Manipulating Programs (CG, CD, SQ, WNC), pp. 386–401.
FM-2011-Harel #behaviour #programming: Some Thoughts on Behavioral Programming (DH), p. 2.
FM-2011-QinLCH #automation #specification #verification: Automatically Refining Partial Specifications for Program Verification (SQ, CL, WNC, GH), pp. 369–385.
SEFM-2011-BubelHG #formal method #java #specification #string #verification: A Formalisation of Java Strings for Program Specification and Verification (RB, RH, UG), pp. 90–105.
SEFM-2011-OnoHTNH #coq #pipes and filters #specification #using: Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications (KO, YH, YT, NN, MH), pp. 350–365.
SEFM-2011-ParrinoGGF #analysis #bound #data flow #satisfiability #verification: A Dataflow Analysis to Improve SAT-Based Bounded Program Verification (BCP, JPG, DG, MFF), pp. 138–154.
SEFM-2011-TschannenFNM #object-oriented #source code #verification: Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques (JT, CAF, MN, BM), pp. 382–398.
CEFP-2011-Butterfield #functional #reasoning #source code: Reasoning about I/O in Functional Programs (AB), pp. 93–141.
CEFP-2011-JeuringGH #haskell #programming: A Programming Tutor for Haskell (JJ, AG, BH), pp. 1–45.
CEFP-2011-Loogen #functional #haskell #named #parallel #programming: Eden — Parallel Functional Programming with Haskell (RL), pp. 142–206.
CEFP-2011-Marlow #concurrent #haskell #parallel #programming: Parallel and Concurrent Programming in Haskell (SM), pp. 339–401.
CEFP-2011-SlodicakMN #category theory #functional #programming: Some New Approaches in Functional Programming Based on Categories (VS, PM, VN), pp. 517–532.
ICFP-2011-Chargueraud #imperative #source code #verification: Characteristic formulae for the verification of imperative programs (AC), pp. 418–430.
ICFP-2011-ChenDHA #functional #self #source code: Implicit self-adjusting computation for purely functional programs (YC, JD, MAH, UAA), pp. 129–141.
ICFP-2011-FisherFWZ #named #programming #tool support: Forest: a language and toolkit for programming with filestores (KF, NF, DW, KQZ), pp. 292–306.
ICFP-2011-FosterHFMRSW #named #network #programming language: Frenetic: a network programming language (NF, RH, MJF, CM, JR, AS, DW), pp. 279–291.
ICFP-2011-Mitchell #ecosystem #functional #modelling #programming: Functional programming through deep time: modeling the first complex ecosystems on earth (EGM), pp. 28–31.
ICFP-2011-MorihataM #functional #parallel #programming: Balanced trees inhabiting functional parallel programming (AM, KM), pp. 117–128.
ICFP-2011-OhoriU #database #ml #programming language #standard: Making standard ML a practical database programming language (AO, KU), pp. 307–319.
ICFP-2011-SwamyCFSBY #dependent type #distributed #programming: Secure distributed programming with value-dependent types (NS, JC, CF, PYS, KB, JY), pp. 266–278.
ICFP-2011-SwamyGLH #lightweight #ml #monad #programming: Lightweight monadic programming in ML (NS, NG, DL, MH), pp. 15–27.
ICFP-2011-Takeyama #assurance #programming: Programming assurance cases in Agda (MT), p. 142.
ICFP-2011-ThamsborgB #logic #program transformation: A kripke logical relation for effect-based program transformations (JT, LB), pp. 445–456.
IFL-2011-MiddelkoopEP #functional #source code: Functional Instrumentation of ActionScript Programs with Asil (AM, ABE, WP), pp. 1–16.
IFL-2011-ReichNR #canonical #generative #lazy evaluation #source code: Lazy Generation of Canonical Test Programs (JSR, MN, CR), pp. 69–84.
GCM-2010-PlumpSS11 #automaton #finite #graph #source code: Minimizing Finite Automata with Graph Programs (DP, RS, AS).
AGTIVE-2011-BuchmannWW #case study #configuration management #graph transformation: The Added Value of Programmed Graph Transformations — A Case Study from Software Configuration Management (TB, BW, SW), pp. 198–209.
CHI-2011-GrossYK #interface #named #visual notation: Dinah: an interface to assist non-programmers with selecting program code causing graphical output (PAG, JY, CK), pp. 3397–3400.
CSCW-2011-BednarikSP #bidirectional #collaboration: Bidirectional gaze in remote computer mediated collaboration: setup and initial results from pair-programming (RB, AS, SP), pp. 597–600.
DUXU-v2-2011-ObermeierBSV #aspect-oriented #automation #evaluation #modelling #object-oriented #programming #usability: Fundamental Aspects Concerning the Usability Evaluation of Model-Driven Object Oriented Programming Approaches in Machine and Plant Automation (MO, SB, KS, BVH), pp. 497–506.
HCI-MIIE-2011-AshBCJLLMQUZ #programming: Scratchable Devices: User-Friendly Programming for Household Appliances (JA, MB, GC, SJ, SL, MLL, VNM, PQ, BU, EZ), pp. 137–146.
HCI-UA-2011-BiswasL #interface: Investigating the Accessibility of Program Selection Menus of a Digital TV Interface (PB, PL), pp. 425–434.
HCI-UA-2011-WileySTK #interactive: Shopping Cart Interactive Program (SCIP) (CW, ES, ST, SRK), pp. 285–293.
HIMI-v1-2011-BottaroMMPRS #programming #visual notation: Visual Programming of Location-Based Services (AB, EM, FM, AP, MR, FS), pp. 3–12.
HIMI-v1-2011-WuS #abstraction #source code #visualisation: Visualizing Programs on Different Levels of Abstractions (JHW, JS), pp. 66–75.
VISSOFT-2011-DengDJ #dependence #information management #visualisation: Constellation visualization: Augmenting program dependence with dynamic information (FD, ND, JAJ), pp. 1–8.
VISSOFT-2011-LonnbergBM #concurrent #dependence #graph #source code #visualisation: Visualising concurrent programs with dynamic dependence graphs (JL, MBA, LM), pp. 1–4.
VISSOFT-2011-ReniersVT #dependence #metric #visual notation: Visual exploration of program structure, dependencies and metrics with SolidSX (DR, LV, ACT), pp. 1–4.
VISSOFT-2011-WirthPS #approach #behaviour #multi #visualisation: A multi-level approach for visualization and exploration of reactive program behavior (CW, HP, RS), pp. 1–4.
AdaEurope-2011-Burns #hardware #parallel #programming language #realtime: Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.
AdaEurope-2011-Ploedereder #manycore #programming language: Programming Languages Meet Multicore (EP), pp. 189–192.
AdaEurope-2011-RazaFP #detection #fault #parallel #source code: Detecting High-Level Synchronization Errors in Parallel Programs (SAR, SF, EP), pp. 17–30.
AdaEurope-2011-Taft #implementation #manycore #parallel #programming #specification: Multicore Programming in ParaSail — Parallel Specification and Implementation Language (STT), pp. 196–200.
SIGAda-2011-AliP #ada #parallel #programming: A parallel programming model for ada (HIA, LMP), pp. 19–26.
CAiSE-2011-BarnC #architecture #enterprise #modelling #programming: Revisiting Naur’s Programming as Theory Building for Enterprise Architecture Modelling (BSB, TC), pp. 229–236.
CIKM-2011-Almendros-JimenezST #optimisation #slicing #xquery: XQuery optimization based on program slicing (JMAJ, JS, ST), pp. 1525–1534.
ICML-2011-HannahD #approximate #problem #programming: Approximate Dynamic Programming for Storage Problems (LH, DBD), pp. 337–344.
ICML-2011-RoyLM #bound #polynomial #source code: From PAC-Bayes Bounds to Quadratic Programs for Majority Votes (JFR, FL, MM), pp. 649–656.
KDIR-2011-BorcheninovO #embedded #programming #search-based #symbolic computation: Genetic Programming with Embedded Features of Symbolic Computations (YVB, YSO), pp. 476–479.
KDIR-2011-RomeiT #process #programming #using #xquery: Programming the KDD Process using XQuery (AR, FT), pp. 131–139.
SEKE-2011-SouzaSMCSZ #concurrent #quality #reachability #testing #using: Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality (SdRSdS, PSLdS, MCCM, MSC, AdSS, EZ), pp. 207–212.
SEKE-2011-WenLSL #fault #locality #slicing: Program slicing spectrum-based software fault localization (WW, BL, XS, JL), pp. 213–218.
SEKE-2011-YooLJC #independence #named #source code: FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs (JY, JHL, SJ, SDC), pp. 48–51.
BX-2011-Cleve #co-evolution #source code #using: Co-evolving schemas and programs using coupled transformations (AC), p. 54.
BX-2011-Gibbons #bidirectional #programming #topic: HOT Topics in Bidirectional Programming (JG), p. 56.
BX-2011-Glueck #programming language: Principles of Reversible Programming Languages (RG), p. 50.
BX-2011-Yokoyama #programming language: A reversible programming language (TY), p. 65.
ECOOP-2011-BocchinoA #framework #object-oriented #parallel #programming: Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks (RLBJ, VSA), pp. 306–332.
ECOOP-2011-ZhangXZZC #estimation #object-oriented #source code: Frequency Estimation of Virtual Call Targets for Object-Oriented Programs (CZ, HX, SZ, JZ, YC), pp. 510–532.
Onward-2011-AnslowMM #evaluation #programming language #tool support #usability: Evaluation and usability of programming languages and tools: (PLATEAU) (CA, SM, ERMH), pp. 119–120.
Onward-2011-Bierhoff #automation #lightweight #reasoning #verification: Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning (KB), pp. 19–32.
Onward-2011-Derk #perspective #programming language #what: What makes a programming language popular?: an essay from a historical perspective (MD), pp. 163–166.
Onward-2011-Orchard #design #programming language: The four Rs of programming language design (DAO), pp. 157–162.
Onward-2011-Puschel #automation #performance #programming: Automatic performance programming (MP), pp. 1–2.
Onward-2011-TillmannMHF #mobile #named #programming: TouchDevelop: programming cloud-connected mobile devices via touchscreen (NT, MM, JdH, MF), pp. 49–60.
OOPSLA-2011-CledatKP #programming: Efficiently speeding up sequential computation through the n-way programming model (RC, TK, SP), pp. 537–554.
OOPSLA-2011-DemetrescuFR #constraints #data flow #imperative #programming: Reactive imperative programming with dataflow constraints (CD, IF, AR), pp. 407–426.
OOPSLA-2011-HemelV #mobile #programming #web: Declaratively programming the mobile web with Mobl (ZH, EV), pp. 695–712.
OOPSLA-2011-HoffmanME #memory management #named #programming: Ribbons: a partially shared memory programming model (KJH, HM, PE), pp. 289–306.
OOPSLA-2011-JeonGLT #named #parallel #source code: Kismet: parallel speedup estimates for serial programs (DJ, SG, CML, MBT), pp. 519–536.
OOPSLA-2011-KeLZBJD #dependence #parallel #programming #using: Safe parallel programming using dynamic dependence hints (CK, LL, CZ, TB, BJ, CD), pp. 243–258.
OOPSLA-2011-LorenzR #named #programming: Cedalion: a language for language oriented programming (DHL, BR), pp. 733–752.
OOPSLA-2011-PuBS #algorithm #first-order #programming #synthesis: Synthesis of first-order dynamic programming algorithms (YP, RB, SS), pp. 83–98.
OOPSLA-2011-TianZS #integration #optimisation #towards: A step towards transparent integration of input-consciousness into dynamic program optimizations (KT, EZZ, XS), pp. 445–462.
PLATEAU-2011-FreyGS #categorisation #category theory #comprehension: Categorization of concerns: a categorical program comprehension model (TF, MG, GS), pp. 73–82.
PLATEAU-2011-KleinschmagerH #case study #how #programming #self: How to rate programming skills in programming experiments?: a preliminary, exploratory, study based on university marks, pretests, and self-estimation (SK, SH), pp. 15–24.
PLATEAU-2011-Myers #programming: Inherent vs. accidental vs. intentional difficulties in programming (BAM), pp. 1–2.
PLATEAU-2011-SadowskiK #case study #evaluation #heuristic #parallel #programming language: Heuristic evaluation of programming language features: two parallel programming case studies (CS, SK), pp. 9–14.
PLATEAU-2011-StefikSSS #comparison #empirical #perl #programming language #using: An empirical comparison of the accuracy rates of novices using the quorum, perl, and randomo programming languages (AS, SS, MS, KS), pp. 3–8.
TOOLS-EUROPE-2011-Przybylek #aspect-oriented #evolution #object-oriented #programming #reuse: Systems Evolution and Software Reuse in Object-Oriented Programming and Aspect-Oriented Programming (AP), pp. 163–178.
TOOLS-EUROPE-2011-WelschS #distributed #object-oriented #programming: Location Types for Safe Distributed Object-Oriented Programming (YW, JS), pp. 194–210.
GPCE-J-2005-CaretteK11 #abstraction #monad #multi #programming: Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code (JC, OK), pp. 349–375.
GPCE-J-2005-HuangZS11 #generative #static typing: Statically safe program generation with SafeGen (SSH, DZ, YS), pp. 376–391.
GPCE-J-2005-LutterothDW11 #generative #type system: A type system for reflective program generators (CL, DD, GW), pp. 392–422.
GPCE-J-2005-SiekL11 #in the large #programming: A language for generic programming in the large (JGS, AL), pp. 423–465.
GPCE-2011-Felleisen #component #multi #programming: Multilingual component programming in racket (MF), pp. 1–2.
GPCE-2011-LiNN #diagrams #generative #geometry #source code: Generation of geometric programs specified by diagrams (YL, GSNJ), pp. 63–72.
LOPSTR-2011-DandoisV #detection #how #logic programming #source code: Clones in Logic Programs and How to Detect Them (CD, WV), pp. 90–105.
LOPSTR-2011-FioravantiPPS #using: Using Real Relaxations during Program Specialization (FF, AP, MP, VS), pp. 106–122.
LOPSTR-2011-Gallagher #analysis #logic programming #source code #using: Analysis of Logic Programs Using Regular Tree Languages — (Extended Abstract) (JPG), pp. 1–3.
LOPSTR-2011-Seki #logic programming #proving #source code: Proving Properties of Co-Logic Programs by Unfold/Fold Transformations (HS), pp. 205–220.
LOPSTR-2011-SneyersS #probability #source code #termination: Probabilistic Termination of CHRiSM Programs (JS, DDS), pp. 221–236.
PPDP-2011-NigamJLS #distributed #incremental #logic programming #maintenance #source code: Maintaining distributed logic programs incrementally (VN, LJ, BTL, AS), pp. 125–136.
PPDP-2011-SauthoffJG #declarative #programming: Bellman’s GAP: a declarative language for dynamic programming (GS, SJ, RG), pp. 29–40.
PPDP-2011-VirsedaM #composition #constraints #declarative #higher-order #programming #semantics: A modular semantics for higher-order declarative programming with constraints (RdVV, FPM), pp. 41–52.
PADL-2011-MeraTLH #debugging #logic programming #performance #profiling #runtime #source code: Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs (EM, TT, PLG, MVH), pp. 38–53.
PADL-2011-PetricekS #concurrent #control flow #named #parallel #programming: Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming (TP, DS), pp. 205–219.
PADL-2011-SymePL #f# #programming: The F# Asynchronous Programming Model (DS, TP, DL), pp. 175–189.
PADL-2011-VoellmyH #named #network #programming: Nettle: Taking the Sting Out of Programming Network Routers (AV, PH), pp. 235–249.
POPL-2011-AlurC #algorithm #source code #streaming #transducer #verification: Streaming transducers for algorithmic verification of single-pass list-processing programs (RA, PC), pp. 599–610.
POPL-2011-ChoiAYT #multi #source code #static analysis: Static analysis of multi-staged programs via unstaging translation (WC, BA, KY, MT), pp. 81–92.
POPL-2011-DilligDA #precise #reasoning #source code #using: Precise reasoning for programs using containers (ID, TD, AA), pp. 187–200.
POPL-2011-EsparzaG #complexity #parallel #source code #thread #verification: Complexity of pattern-based verification for multithreaded programs (JE, PG), pp. 499–510.
POPL-2011-GuptaPR #abstraction #concurrent #multi #refinement #source code #thread #verification: Predicate abstraction and refinement for verifying multi-threaded programs (AG, CP, AR), pp. 331–344.
POPL-2011-MacLaurin #design #programming language #visual notation: The design of kodu: a tiny visual programming language for children on the Xbox 360 (MM), pp. 241–246.
POPL-2011-OngR #algebra #data type #functional #higher-order #pattern matching #source code #verification: Verifying higher-order functional programs with pattern-matching algebraic data types (CHLO, SJR), pp. 587–598.
POPL-2011-PrountzosMPM #analysis #graph #optimisation #parallel #source code: A shape analysis for optimizing parallel graph programs (DP, RM, KP, KSM), pp. 159–172.
POPL-2011-SchwarzSVLM #protocol #source code #static analysis: Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol (MDS, HS, VV, PL, MMO), pp. 93–104.
SAC-2011-BackP #invariant #proving #semantics #source code: Semantics and proof rules of invariant based programs (RJB, VP), pp. 1658–1665.
SAC-2011-HauptPH #approach #programming language #type system: Type harvesting: a practical approach to obtaining typing information in dynamic programming languages (MH, MP, RH), pp. 1282–1289.
SAC-2011-LinTBBK #component #configuration management #distributed #evolution #programming: Transparent componentisation: high-level (re)configurable programming for evolving distributed systems (SL, FT, MB, GSB, AMK), pp. 203–208.
SAC-2011-LiuCJ #aspect-oriented #impact analysis #object-oriented #source code: Change impact analysis for object-oriented programs evolved to aspect-oriented programs (CHL, SLC, WLJ), pp. 59–65.
SAC-2011-RangasamyS #effectiveness #modelling #parallel #performance #petri net #source code #thread: Petri net based performance modeling for effective DVFS for multithreaded programs (AR, YNS), pp. 647–648.
SAC-2011-SantosaMK #approach #named #programming #search-based: HMXT-GP: an information-theoretic approach to genetic programming that maintains diversity (HS, JM, PJK), pp. 1070–1075.
SAC-2011-SbaragliaCV #coordination #programming: Programming coordination laws of artifacts in CArtAgO (MS, MC, MV), pp. 885–886.
SAC-2011-SunLZTCW #dependence #impact analysis #object-oriented #source code #using: Using lattice of class and method dependence for change impact analysis of object oriented programs (XS, BL, SZ, CT, XC, WW), pp. 1439–1444.
ESEC-FSE-2011-BaahPH #dependence #effectiveness #fault #locality: Mitigating the confounding effects of program dependences for effective fault localization (GKB, AP, MJH), pp. 146–156.
ESEC-FSE-2011-ChaudhuriGLN #proving #robust #source code: Proving programs robust (SC, SG, RL, SN), pp. 102–112.
ESEC-FSE-2011-CsallnerFL #source code #testing: New ideas track: testing mapreduce-style programs (CC, LF, CL), pp. 504–507.
ESEC-FSE-2011-InostrozaTB #aspect-oriented #composition #interface #reasoning #source code: Join point interfaces for modular reasoning in aspect-oriented programs (MI, ÉT, EB), pp. 508–511.
ESEC-FSE-2011-MengKM #named #program transformation: Sydit: creating and applying a program transformation from an example (NM, MK, KSM), pp. 440–443.
ESEC-FSE-2011-NaudziunieneBDDGP #automation #ide #java #named #source code #verification: jStar-eclipse: an IDE for automated verification of Java programs (DN, MB, DD, MD, RG, MJP), pp. 428–431.
ESEC-FSE-2011-SahaNDNSC #fault #locality #source code: Fault localization for data-centric programs (DS, MGN, PD, VKN, VS, SC), pp. 157–167.
GTTSE-2011-CleveNH #database #program analysis #reverse engineering: Dynamic Program Analysis for Database Reverse Engineering (AC, NN, JLH), pp. 297–321.
GTTSE-2011-ErwigW #calculus #programming: Variation Programming with the Choice Calculus (ME, EW), pp. 55–100.
ICSE-2011-AcharyaR #impact analysis #industrial #slicing: Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), pp. 746–755.
ICSE-2011-AldrichGHMNSSSTW #programming language: Permission-based programming languages (JA, RG, MH, MM, KN, DS, SS, JS, ÉT, RW), pp. 828–831.
ICSE-2011-BhattacharyaN #c #c++ #case study #development #maintenance #programming language: Assessing programming language impact on development and maintenance: a study on c and c++ (PB, IN), pp. 171–180.
ICSE-2011-CasoBGU #abstraction #behaviour #validation: Program abstractions for behaviour validation (GdC, VAB, DG, SU), pp. 381–390.
ICSE-2011-HolmesN #behaviour #identification: Identifying program, test, and environmental changes that affect behaviour (RH, DN), pp. 371–380.
ICSE-2011-JhiWJZLW #detection: Value-based program characterization and its application to software plagiarism detection (YcJ, XW, XJ, SZ, PL, DW), pp. 756–765.
ICSE-2011-Lee #case study #haskell #refactoring #source code: A case study on refactoring in Haskell programs (DYL), pp. 1164–1166.
ICSE-2011-LiuZ #program analysis: Program analysis: from qualitative analysis to quantitative analysis (SL, JZ), pp. 956–959.
ICSE-2011-Malik #analysis #graph #using: Dynamic shape analysis of program heap using graph spectra (MZM), pp. 952–955.
ICSE-2011-Pankratius #automation #evaluation #parallel #programming #usability: Automated usability evaluation of parallel programming constructs (VP), pp. 936–939.
ICSE-2011-RabkinK #configuration management: Static extraction of program configuration options (AR, RHK), pp. 131–140.
ICSE-2011-RosuS #approach