Travelled to:1 × Austria
1 × Germany
1 × Hungary
2 × Belgium
2 × Italy
2 × United Kingdom
25 × USA
3 × Canada
3 × The Netherlands
5 × France
Collaborated with:∅ R.Muth G.R.Andrews M.V.Hermenegildo P.A.Bigot N.Lin D.Gudeman D.S.Warren S.A.Watterson K.Coogan K.D.Bosschere P.López-García N.Snavely S.Kannan R.Giacobazzi J.Patel W.S.Evans T.J.Hickey A.Kågedal M.Jain M.D.Preda G.M.Townsend S.K.Udupa M.Madou P.Moseley B.Schwarz N.Krishnamoorthy K.Fligg M.Weippert M.Codish K.Marriott M.Paithane R.Warren M.Christodorescu S.Jha M.Rajagopalan M.A.Hiltunen R.D.Schlichting B.D.Sutter B.D.Bus T.Kaochar M.Ahamad L.V.Kalé H.He J.Trimble S.Perianayagam B.Dux A.Iyer D.Forrester S.G.Kobourov C.S.Collberg E.Carter A.Huntwork J.D.Kececioglu C.Linn M.Stepp
Talks about:program (22) logic (15) analysi (14) code (12) optim (7) prolog (5) profil (5) dynam (5) base (5) languag (4)
Person: Saumya K. Debray
DBLP: Debray:Saumya_K=
Facilitated 1 volumes:
EdContributed to:
2011
2010
2010
2007
2007
2005
20052005
2004
20032003200320022002
2001
2001
20002000200019992009199819971997
1997199519951994199419941994199319931993
1992199219911990198819881988198719861986
19851984
1997Wrote 55 papers:
- SCAM-2011-CooganD #assembly #equation #reasoning
- Equational Reasoning on x86 Assembly Code (KC, SKD), pp. 75–84.
- SAS-2010-PredaGDCT #abstract interpretation #modelling #morphism
- Modelling Metamorphism by Abstract Interpretation (MDP, RG, SKD, KC, GMT), pp. 218–235.
- WCRE-2010-DebrayP #reverse engineering #self
- Reverse Engineering Self-Modifying Code: Unpacker Extraction (SKD, JP), pp. 131–140.
- CGO-2007-HeTPDA #kernel #operating system
- Code Compaction of an Operating System Kernel (HH, JT, SP, SKD, GRA), pp. 283–298.
- POPL-2007-PredaCJD #approach #detection #semantics
- A semantics-based approach to malware detection (MDP, MC, SJ, SKD), pp. 377–388.
- IWPC-2005-DuxIDFK #behaviour #visualisation
- Visualizing the Behavior of Dynamically Modifiable Code (BD, AI, SKD, DF, SGK), pp. 337–340.
- PADL-2005-Debray
- Code Compression (SKD), pp. 5–6.
- WCRE-2005-UdupaDM #named #obfuscation #reverse engineering
- Deobfuscation: Reverse Engineering Obfuscated Code (SKU, SKD, MM), pp. 45–54.
- PLDI-2004-CollbergCDHKLS
- Dynamic path-based software watermarking (CSC, EC, SKD, AH, JDK, CL, MS), pp. 107–118.
- ASE-2003-SnavelyDA
- Unspeculation (NS, SKD, GRA), pp. 205–214.
- SCAM-2003-MoseleyDA
- Checking Program Profiles (PM, SKD, GRA), pp. 193–202.
- WCRE-2003-SnavelyDA #bytecode #reverse engineering
- Unscheduling, Unpredication, Unspeculation: Reverse Engineering Itanium Executables (NS, SKD, GRA), pp. 4–13.
- PLDI-2002-DebrayE
- Profile-Guided Code Compression (SKD, WSE), pp. 95–105.
- PLDI-2002-RajagopalanDHS #optimisation #source code
- Profile-Directed Optimization of Event-Based Programs (MR, SKD, MAH, RDS), pp. 106–116.
- WCRE-2002-SchwarzDA #execution #revisited
- Disassembly of Executable Code Revisited (BS, SKD, GRA), pp. 45–54.
- CC-2001-WattersonD #profiling
- Goal-Directed Value Profiling (SAW, SKD), pp. 319–333.
- LCTES-OM-2001-SutterBBD
- Combining Global Code and Data Compaction (BDS, BDB, KDB, SKD), pp. 29–38.
- CL-2000-DebrayH #analysis #constraints #database #termination
- Constraint-Based Termination Analysis for Cyclic Active Database Rules (SKD, TJH), pp. 1121–1136.
- POPL-2000-MuthD #analysis #complexity #data flow #on the
- On the Complexity of Flow-Sensitive Dataflow Analyses (RM, SKD), pp. 67–80.
- SAS-2000-MuthWD
- Code Specialization Based on Value Profiles (RM, SAW, SKD), pp. 340–359.
- CC-1999-DebrayMW #source code
- Link-Time Improvement of Scheme Programs (SKD, RM, SAW), pp. 76–90.
- WCRE-1999-CooganDKT99a #automation
- Automatic Static Unpacking of Malware Binaries (KC, SKD, TK, GMT), pp. 167–176.
- WCRE-1999-KrishnamoorthyDF99a #detection #fault #static analysis
- Static Detection of Disassembly Errors (NK, SKD, KF), pp. 259–268.
- POPL-1998-DebrayMW #alias #analysis #execution
- Alias Analysis of Executable Code (SKD, RM, MW), pp. 12–24.
- ICLP-1997-DebrayGH #analysis #logic programming #source code
- Non-Failure Analysis for Logic Programs (SKD, PLG, MVH), pp. 48–62.
- ICLP-1997-KagedalD #approach #array #reuse #using
- A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages (AK, SKD), pp. 18–32.
- ILPS-1997-DebrayLHL #bound #estimation #logic programming #source code
- Lower Bound Cost Estimation for Logic Programs (SKD, PLG, MVH, NWL), pp. 291–305.
- PEPM-1997-Debray #bound #partial evaluation
- Resource-Bounded Partial Evaluation (SKD), pp. 179–192.
- ILPS-1995-BigotD #approach
- A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages (PAB, SKD), pp. 257–271.
- PEPM-1995-Debray #abstract interpretation #low level #optimisation
- Abstract Interpretation and Low-Level Code Optimization (SKD), pp. 111–121.
- ICLP-1994-BigotGD #logic programming #source code
- Output Value Placement in Moded Logic Programs (PAB, DG, SKD), pp. 175–189.
- ILPS-1994-DebrayGB #detection #logic programming #optimisation #source code
- Detection and Optimization of Suspension-free Logic Programs (SKD, DG, PAB), pp. 487–501.
- ILPS-1994-DebrayJ #parallel #program transformation
- A Simple Program Transformation for Parallelism (SKD, MJ), pp. 305–319.
- POPL-1994-BosschereDGK #interprocedural #optimisation
- Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages (KDB, SKD, DG, SK), pp. 409–420.
- SAS-1994-DebrayGHL #logic programming #source code
- Estimating the Computational Cost of Logic Programs (SKD, PLG, MVH, NWL), pp. 255–265.
- ICLP-1993-Debray #on the
- On Copy Avoidance in Single Assignment Languages (SKD), pp. 393–407.
- ILPS-1993-Debray #logic programming #source code #static analysis
- Static Analysis of Logic Programs (SKD), pp. 43–44.
- POPL-1993-CodishDG #analysis #composition #logic programming #source code
- Compositional Analysis of Modular Logic Programs (MC, SKD, RG), pp. 451–464.
- ICALP-1992-Debray #analysis #complexity #data flow #logic programming #on the #source code
- On the Complexity of Dataflow Analysis of Logic Programs (SKD), pp. 509–520.
- JICSLP-1992-BigotDM #abstract interpretation #analysis #comprehension #using
- Understanding Finiteness Analysis Using Abstract Interpretation (PAB, SKD, KM), pp. 735–749.
- JICSLP-1992-DebrayKP
- Weighted Decision Trees (SKD, SK, MP), pp. 654–668.
- JICSLP-1992-GudemanBD #implementation #named #performance
- jc: An Efficient and Portable Sequential Implementation of Janus (DG, KDB, SKD), pp. 399–413.
- ICLP-1991-DebrayL #analysis #automation #complexity #logic programming #source code
- Automatic Complexity Analysis of Logic Programs (SKD, NWL), pp. 599–613.
- PLDI-1990-DebrayLH #analysis #logic programming #source code
- Task Granularity Analysis in Logic Programs (SKD, NWL, MVH), pp. 174–188.
- JICSCP-1988-Debray88 #logic programming #parallel #source code #static analysis
- Static Analysis of Parallel Logic Programs (SKD), pp. 711–732.
- JICSCP-1988-WarrenHD88 #analysis #logic programming #on the #source code
- On the Practicality of Global Flow Analysis of Logic Programs (RW, MVH, SKD), pp. 684–699.
- PLDI-1988-Debray #logic programming #optimisation #source code
- Unfold/Fold Transformations and Loop Optimization of Logic Programs (SKD), pp. 297–307.
- POPL-1988-Debray #analysis #data flow #logic programming #performance #source code
- Efficient Dataflow Analysis of Logic Programs (SKD), pp. 260–273.
- SLP-1987-Debray87 #analysis #logic programming #source code
- Flow Analysis of a Simple Class of Dynamic Logic Programs (SKD), pp. 307–316.
- ICLP-1986-WarrenD86 #detection #functional #optimisation #prolog
- Detection and Optimization of Functional Computations in Prolog (DSW, SKD), pp. 490–504.
- SLP-1986-Debray86 #prolog
- Register Allocation in a Prolog Machine (SKD), pp. 267–275.
- SLP-1986-DebrayW86 #automation #prolog #source code
- Automatic Mode Inference for Prolog Programs (SKD, DSW), pp. 78–88.
- FPCA-1985-Debray85 #optimisation #prolog #recursion #source code
- Optimizing Almost-Tail-Recursive Prolog Programs (SKD), pp. 204–219.
- SLP-1984-WarrenADK84 #distributed #network #prolog #source code
- Executing Distributed Prolog Programs on a Broadcast Network (DSW, MA, SKD, LVK), pp. 12–21.
- TAPSOFT-1997-MuthD #alias #analysis #complexity #on the #pointer
- On the Complexity of Function Pointer May-Alias Analysis (RM, SKD), pp. 381–392.