Travelled to:1 × France
1 × USA
Collaborated with:W.R.Cook D.R.Smith
Talks about:algorithm (1) techniqu (1) synthesi (1) synthes (1) segment (1) program (1) problem (1) maximum (1) breadth (1) theori (1)
Person: Srinivas Nedunuri
DBLP: Nedunuri:Srinivas
Contributed to:
2012
2009Wrote 2 papers:
- FM-2012-NedunuriSC #algorithm #performance
- Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms (SN, DRS, WRC), pp. 308–325.
- GPCE-2009-NedunuriC #performance #problem #source code #synthesis
- Synthesis of fast programs for maximum segment sum problems (SN, WRC), pp. 117–126.